Обсуждение

Да, я тоже сразу про СИ подумал, когда у Lleo это прочел. А еще - смотришь на храмы какого-нибудь Баальбека и сначала думаешь: ну да, грандиозно, башенных кранов у них не было, грузовиков не было... А потом вдруг доходит: а раствора/цемента у них ведь тоже не было! И все эти сооружения гигантские составлены из огромных каменных блоков, которые просто друг на друге стоят, как в детском конструкторе! И - к вопросу о кило-технологиях: основание храма Юпитера стоит на плите из плотно пригнанных каменных блоков весом под 1000 тонн каждый (и размером с морской контейнер) Килотехнологии I-II вв. н.э.?

не знаю как с космическими кораблями, а вот с нормальными, скажем, CMS... ищешь баг, находишь, и не понимаешь как этот кусок кода вообще мог работать. а ведь он десятки-сотни тысяч запросов в сутки отдавал...

Для меня написание программ -- то же самое, что вычисления (сам ведь вычислял когда-то!). Я ведь точно знаю, что программ без ошибок не бывает (сам ведь писал когда-то!), и тоже не понимаю, как они работают...

Люди ответственность немного по-другому понимали, имхо :))

Цель римлян - чтобы вода текла вниз. Без всяких побочных целей типа "соответствовать при этом вот тому списку ГОСТов". Думаю, это и есть объяснение.

Бюджеты были несколько другие. Да и руководство более централизованное.

Как сложнейшие вычисления оказываются без существенных ошибок, когда ошибки в них явно должны быть? Ну с вычислениями все просто - нужно просто проверять расчеты другим(и) методом(ами). Сбербанк в совке, говорят, каждый день сводил баланс всей банковской системы по шести параметрам. Стырить незаметно там было невозможно, вечером бы все вскрылось и выезжала пожарная команда. Тоже пример системного подхода.

Меня особенно удивляет, что программа начинает работать, будучи собранная из компонентов. Т.е. у меня иногда бывает, что я отдельно проектирую компоненты, их отлаживаю. Потом собираю вместе, и программ (после небольших пинков) работает. Я не могу понять почему, это какое-то мистическое ощущение, когда оживает Франкенштейн :). ЗЫ Говорят, это стиль характерный для Хаскела. ЗЗЫ С верификацией все по другому, там удивляешься почему компьютер не понимает такую простую вещь, когда ему объяснишь, то сам все уже давно детельно понимаешь :).

Э.Э. Шноль рассказывал, что для расчетов в послевоенное время (вручную) две группы расходились в разные комнаты и считали до некоторой точки, потом сверяли. Не сходится - считали сначала. Но вообще то многократное повторение одного дела чрезвычайно повышает и скорость работы и надежность. Ну и усердие все провозмогает.

есть такие птички, которые себе гнезда вообще из травы плетут