Как стать автором
Обновить

Комментарии 9

Вторая часть цитаты Б. Заходера тоже заслуживает увековечивания на Хабре, добавьте пожалуйста.
Вроде эта вторая часть подходит:
"… Злые люди
Бедной Киске
Не дают
Украсть
Сосиски!"
— это про ограничение прав доступа
<Оффтоп!> А вот интересно, Борис Заходер знал альтернативное значение слова «Киска»? ;-)
Это несколько меняет смысл стихотворения…
«Он мечтал издать свои книги для взрослых, но в печать допускали только его детские произведения и переводы зарубежных книг.»
</Оффтоп>
АЦП на LPT на резисторах, это да… COVOX. Помнится в конце девяностых сделах себе такую штуку на IBM PC 286. Я написал на Си драйвер, который на одном LPT порту, под DOS, позволял одновременно печатать на принтере и слушать музыку.
И потом, на его базе, сделал свой синтезатор речи на фонемах. Вполне разборчиво говорил.
вторая часть идёт после запятой «всё обстоит нормально».
НЛО прилетело и опубликовало эту надпись здесь
Это же зависит от программистов. Кто-то будет использовать формально или вообще не использовать, а кому-то такая фича и поможет.
формальные методы борьбы за правильность и надежность чаще всего дают и формальные же результаты

Скорее какой формализм, такие и результаты. Самоотверженный труд энтузиастов и мастеров своего дела тоже не гарантирует отсутствия проблем в крупных проектах. И использование подходящих формализмов вполне может облегчить их труд.

На всякий случай вот исходная статья с содержательными комментариями.
Опять пришли ситхи и всё возвели в абсолют. Пока одни пытаются создать механизмы уменьшающие количество ошибок — другие воротят нос, мол смотрите, у вас в коде проверки на ошибки тоже ошибки бывают.
У меня один вопрос: А чего вы на ассемблере не пишете? Или сразу в машинных кодах? Кодогенераторы в компиляторах ведь тоже код и в них тоже бывают ошибки…
Зарегистрируйтесь на Хабре , чтобы оставить комментарий

Публикации

Истории