Исходное сообщение
"Ошибка в BIND 9.16.17, приводящая к неверной обработке симво..." Отправлено Хаскелист со стажем, 24-Июн-21 12:15
Вот откуда столько великовозрастных дураков берется, не понимаю. Пример: "Модной и молодежной" теме формальной верификации программ 40 лет в обед, а то и больше. :J Давно ли писали контракты для Си кода на ACSL и засовывали их в решатель через какую-нибудь Frama-C? Хайповать на этой теме стали совсем недавно, и то не от хорошей жизни (оно нужно например для всякого mission-critical, для компиляторов, для всяких DSL и т.д. и т.п.), и в большинстве своем народ на эту тему может только страдать на форумах. А когда речь заходит до написания тактик доказательств, сложной математики на какой-нибудь Агде, то "ой всё, пойду играть указателями на Сишечке, я же ТруЪ программист, отстаньте со своими смузихлебными темами". Все ваши великовозрастные погромисты наделали в свое время кучу ошибок, чего только стоит концепция "все есть файл", в итоге получив ад в ioctl. Но нет, приходит аноним с Опеннета и заумным тоном говорит KISS. KISS your EMACS foot pedal!

Ваше сообщение
Имя*:
EMail:	Для отправки ответов на email укажите знак ! перед адресом, например, !user@host.ru (!! - не показывать email). Более тонкая настройка отправки ответов производится в профиле зарегистрированного участника форума.
Заголовок*:
Сообщение*:	> Вот откуда столько великовозрастных дураков берется, не понимаю. > Пример: "Модной и молодежной" теме формальной верификации программ 40 лет в обед, > а то и больше. :J Давно ли писали контракты для Си > кода на ACSL и засовывали их в решатель через какую-нибудь Frama-C? > Хайповать на этой теме стали совсем недавно, и то не от > хорошей жизни (оно нужно например для всякого mission-critical, для компиляторов, для > всяких DSL и т.д. и т.п.), и в большинстве своем народ > на эту тему может только страдать на форумах. А когда речь > заходит до написания тактик доказательств, сложной математики на какой-нибудь Агде, то > "ой всё, пойду играть указателями на Сишечке, я же ТруЪ программист, > отстаньте со своими смузихлебными темами". > Все ваши великовозрастные погромисты наделали в свое время кучу ошибок, чего только > стоит концепция "все есть файл", в итоге получив ад в ioctl. > Но нет, приходит аноним с Опеннета и заумным тоном говорит KISS. KISS > your EMACS foot pedal!
	Введите код, изображенный на картинке: