[Most Recent Entries] [Calendar View]
Friday, March 7th, 2025
| Time | Event |
| 2:07p | Как не завалить вышмат: 7 причин пройти курс в Кампусе  Высшая математика — настоящее испытание для студентов. Уже на первых лекциях они оказываются в хаосе абстрактных терминов, бесконечных теорем и уравнений. Преподаватель объясняет слишком быстро, а домашки взрывают мозг. Даже те, кто хорошо разбирался в школьной математике, с ужасом осознают: старые методы больше не работают. Если вы хотите раз и навсегда разобраться с вышматом и хорошо сдать экзамены, есть Кампус Курсы. Это видеолекции, где преподаватели простым языком и на жизненных примерах объясняют материал. В статье рассказали, почему Кампус Курсы станут лучшим решением в студенческой жизни. Читать далее |
| 2:55p | О формальном доказательстве безопасной работы с памятью на основе «владения и заимствования»
Некоторое время назад я попробовал найти формальное доказательство безопасной работы с памятью, которое реализовано в Rust, но так и не смог его найти. После чего у меня сложилось впечатление, что доказательство в формальном виде и вовсе отсутствует, а вся концепция безопасного управления памятью на основе "владения и заимствования" формально не доказана и держится только на честном слове. Я не являюсь специалистом по Rust, но после просьбы помочь разобраться этим вопросом, был переадресован искать эту очевидную информацию самостоятельно, так как "джентльменам верят на слово". Тогда как косвенным подтверждением моего предположения об отсутствии формального доказательства в общем виде, является тот факт, что отсутствует и полный список разрешающих и/или запрещающих проверок, которые реализованы в самом компиляторе языка. Я хочу рассказать про изыскания о формальном доказательстве безопасной работы с памятью на основе владения и заимствования (независимо от языка программирования или реализации компилятора), которое основано на собственных данных и рассуждениях. Читать дальше → |
| << Previous Day |
2025/03/07 [Calendar] |
Next Day >> |