И то вряд ли все по подвергается проверке корректности

И то вряд ли все по подвергается проверке корректности

К слову. По вине программистов, в огромной партии боингов после помоему 2010 года, даты в сисиемах самолеьов слетели на 1999 год Я где то читал об этом

И так чуть не упало пару самолетов

И сейчас еще этот баг присутствует кое-где, поэтому и говорю

И так чуть не упало пару самолетов

А вот еще https://m.habr.com/ru/post/449564/

И как думаешь, проходил этот код проверку корректности?

И сейчас еще этот баг присутствует кое-где, поэтому и говорю

Ну если программирование это инструмент, который во многом используется в точных науках. О чем речь? Программирование изначально придумано математиком

И как думаешь, проходил этот код проверку корректности?

Тогда еще не было qa лол Щас и смешно и не смешно

Ну если программирование это инструмент, который во многом используется в точных науках. О чем речь? Программирование изначально придумано математиком

Нынешнее программирование - даже близко не математика

Нынешнее программирование - даже близко не математика

И тем не менее Дисциплина сама по себе это точная наука. Ядерная энергетика изначально тоже создавалась не для создания оружия

Это потом вилка стала оружием

Тогда еще не было qa лол Щас и смешно и не смешно

В марте 2019?

В марте 2019?

Нет, я про первую партию боинга

Они собирались лет 20 назад когда никто еще не думал о датах

я статью решил так мельком глянуть

67 год

По у них обновляется постоянно, и в статье не про даты

67 год

Ты о чем вообще?

я статью решил так мельком глянуть

Увидел дату, не прочитал о чем она?) В статье описывается серия недавних катастроф

Нет, я про первую партию боинга

Я про это

Увидел дату, не прочитал о чем она?) В статье описывается серия недавних катастроф

Это про то как фрилансеров нанимали на сборку по для самолетов?

Индусов по 10 в час

Я привел ее в пример чтобы показать что даже в такой сфере не применяется полная верификация корректности

Я про это

Значит 67 Перепутал

Тогда тем более

А про другие и говорить нечего. В сравнении с математикой программирование - шаманство и гадание

Это про то как фрилансеров нанимали на сборку по для самолетов?

Не

Я привел ее в пример чтобы показать что даже в такой сфере не применяется полная верификация корректности

Ну так это халатность. Это не отменяет того, что если кто то ошибется то самолет не рухнет Или ракета не полетит не туда

Халатность не отменяет точности дисциплины

Я привел ее в пример чтобы показать что даже в такой сфере не применяется полная верификация корректности

компании интересует только прибыль, если продукт удовлетворяет минимальным требованиям безопасности - они его пользуют

компании интересует только прибыль, если продукт удовлетворяет минимальным требованиям безопасности - они его пользуют

Ок, я это понимаю, речь о степени точности программирования как дисциплины

это уже зависит от уровней абстракций

Ну так это халатность. Это не отменяет того, что если кто то ошибется то самолет не рухнет Или ракета не полетит не туда

И кстати! Если вдруг ракета пооетит не туда, спросят с рсзработчика... где тут не точность? Всегда первым делом спрашивают с инженеров

Точность которая может стоить жизней

это уже зависит от уровней абстракций

имхо бесполезный у вас спор

Например локация долго обновляется и ракета пупит с опозданием в 10 секунд например. И прилетает в другой город

Вообще 0 точности

Ладно

Я бы пообщался еще но спать пора

Ладно

Ну вот представь если русские разрабы которые собирали по для крылатых ракет были гуманитариями. Летели по террористам а прилетели в душамбе

Напоролся и впульнул по координатам вместо флоат - инт

Интеджер

И ебздец

Ну вот представь если русские разрабы которые собирали по для крылатых ракет были гуманитариями. Летели по террористам а прилетели в душамбе

Полную уверенность в корректности работы программы может дать только её формальная верификация. Это крайне сложно и дорого и поэтому практически нигде не применяется. Все остальное - шаманство. Это мой поинт.

Напоролся и впульнул по координатам вместо флоат - инт

И такое было

Страшно представить как qa это вообще тестирует

Ракеты летели мимо из-за переполнения 16-битного инта

Ракеты летели мимо из-за переполнения 16-битного инта

Ну дык А я о чем говорю

Халатность не отменяет строгости

Халатность не отменяет строгости

Это спорное утверждение, халатность тем более вероятна, чем меньше строгости

Это спорное утверждение, халатность тем более вероятна, чем меньше строгости

Я думаю именно с таким рассуждением на разработку по для самолетов нанимают фрилансеров-индусов :)

Я думаю именно с таким рассуждением на разработку по для самолетов нанимают фрилансеров-индусов :)

Думаю, там рассуждения ведутся в ключе экономической целесообразности и оценки рисков)

Хотя черт их знает

Думаю, там рассуждения ведутся в ключе экономической целесообразности и оценки рисков)

Об истинных мотивах остается только гадать)

Об истинных мотивах остается только гадать)

Это правда

Удивительно, как вопрос о взаимодействии дизайнеров и кодеров в опенсорс проектах скатился до обсуждения, является ли программирование точной наукой)

Это же интернет)

:)

:)

Я так и знал что ты тут

Притаился

Добро пожаловать, @LDVinci1! Не забудь ознакомиться с правилами чата. https://t.me/ru_python/802295

Типа спать ушел а сам шпионит :)

Я?

Я код писал

Не до вас было

Кстати, давно хотел собрать по для костюма железного человека. С запусками ракет, встроенным писюаром и джарвисом. Только костюма нет

Для пип боя напиши хотя бы

Его тоже нет А че его писать, распбери пай и сенсорный экран

Ну Пип бой делается из телефона и пластиковой бутылки

Грубо

Ну это если совсем не париться

Бесесда не парилась

Но кстати

Можно сделать условный пип бой с удаленным управлением машиной

Например

Всмысле компом

Типа умная перчатка

Агаа

А потом выкинуть

Добро пожаловать, @inozmcv! Не забудь ознакомиться с правилами чата. https://t.me/ru_python/802295

Ну вот представь если русские разрабы которые собирали по для крылатых ракет были гуманитариями. Летели по террористам а прилетели в душамбе

И попал по терорам))))00)0)

Халатность не отменяет строгости

Программирование вообще не наука. Или переполнение инта в какой-то залупной програме происходит из-за проблемы в теории? При чем вообще реализация чего-либо до, собственно, науки?

Программирование вообще не наука. Или переполнение инта в какой-то залупной програме происходит из-за проблемы в теории? При чем вообще реализация чего-либо до, собственно, науки?

Точнпя дисциплина а не наука

Я уже сплю

Сорян

Точнпя дисциплина а не наука

Да тоже нет, что в ней точного? Это ремесло, мало чем отличающееся от токарного дела, только у нас может по ошибке оверфловнуться какое-то говно и ракета упадет в чужой огород, а там по ошибке можно пальцы проебать

Вообще, я чуть почитал про общую алгебру, и появилась мысль, что ЯП используют конструкции оттуда или же различные абстрактные понятия в программировании формализуемы с помошью математики. Вот допустим есть некий класс, в котором определены методы сложения/вычитания/умножения/деления экземпляров этого класса. Тогда этот класс определяет то, что в алгебре называется полем, а конкретный набор объектов этого класса будет конечным полем. Можно очень удобно делать примеры довольно абстрактных вещей, которые хорошо реализуются именно в программировании.

Ну это я может хуйню спизданул, но энивей полчетвёртого.

очень грубо, но да

Вообще, я чуть почитал про общую алгебру, и появилась мысль, что ЯП используют конструкции оттуда или же различные абстрактные понятия в программировании формализуемы с помошью математики. Вот допустим есть некий класс, в котором определены методы сложения/вычитания/умножения/деления экземпляров этого класса. Тогда этот класс определяет то, что в алгебре называется полем, а конкретный набор объектов этого класса будет конечным полем. Можно очень удобно делать примеры довольно абстрактных вещей, которые хорошо реализуются именно в программировании.

https://ru.wikipedia.org/wiki/Формальная_верификация

очень грубо, но да

"Да" — это к первому сообщению из этих двух или ко второму?

К общей мысли

Понял.

То есть, к первому