[быдлокод][история успеха]Все идет по плану

Ну уж ты-то точно в своём хэллоуворде никаких багов не оставил. Или ты даже хэлловорда не написал?

Где тред про каннибализм?

код там сложный, не мудрено что все баги отловили.

не все/fxd

Разработчик софта F-35 в треде ;) Тебе так обидно за F-35?

Запятая не там, полеты ниже уровня моря... Самолеты новые, ошибки старые.

разве они не на Аде пишут?

>разве они не на Аде пишут?

на аде нельзя ошибок понаписать?

>на аде нельзя ошибок понаписать?

Можно. Именно адских гейзенбагов, которые срабатывают при пролетах над Мертвым Морем и самуль внезапно делает barrel roll.

facepalm.webp

Код, который используется для управления объектами ВПК, обязан быть формально верифицирован и скомпилирован формально верифицированным компилятором на формально верифицированном процессоре.

Понимаешь, там речь идет о программах, от которых зависят жизни людей. И там трюк с «разработчики не несут ответственности за нанесенный ущерб» не работает. Так что можешь топик удалять, чтоб людей им не смешить... особенно тегами.

Не-не-не, ТС прав: баг обнаружили ПОСЛЕ того, как начали проводить полетные испытания. Формальная верификация исключила бы возможность существования багов. Значит она не проводилась.

Либо бага была в верефикаторе.

Код, который используется для управления объектами ВПК, обязан быть >формально верифицирован и скомпилирован формально верифицированным >компилятором на формально верифицированном процессоре.

Откуда такая информация?

Ариадна5 в 1996 году навернулась в полёте из-за целочисленного переполнения: http://en.wikipedia.org/wiki/Ariane_5_Flight_501

Вот это да, быдлокод-с...

>Код, который используется для управления объектами ВПК, обязан быть формально верифицирован и скомпилирован формально верифицированным компилятором на формально верифицированном процессоре.

Там его и верифицируют разными инструментами. Но верификация кода проверят только работает ли код, а не как он работает.

> Где тред про каннибализм?

К сожалению наступил тот момент, про который я говорил: я теперь жутко занят и мне некогда создавать программные треды на ЛОРе (((

Постараюсь выкроить время на неделе.

> Запятая не там, полеты ниже уровня моря... Самолеты новые, ошибки старые.

наш программист, кстати, на это напарывался. У него самолёты очень грамотно прятались под землёй от противника — было интересно.

жутко занят и мне некогда - ну да - тебе тяжело)))

разве они не на Аде пишут?

Систему с ошибками можно создать на любом языке.

Если интересно, можете почитать про одну из самых известных ошибок Ariane 5 Flight 501 Failure, Report by the Inquiry Board

формально верифицированными индусами