juan_gandhi | воскресный троллинг

воскресный троллинг

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

Дашь им задачу "найти функцию f на int32, для которой ∀x f(f(x)) = -x" - да запросто; только их функция на некоторых аргументах будет давать другой результат - "потому что мы инженеры, нам некогда, и у нас эффективно".

Ну или вот в машине радио показывает название песни, обрезая кусок; если же название, скажем, на испанском, то, бывает, и посреди буквы режет, потому что UTF8, видите ли, "неэффективен" - а, конечно, дисплей в машинном радио, он должен быть эффективен, иначе зачем это все вообще. На самом-то деле, я думаю, просто эти сишные программисты, что радио программируют, они просто иначе не умеют, даже если они в Китае, и прекрасно знают, что одна буква может занимать до четырех байтов - но режем по байтам. Инженеры потому что; абстракциям не обучены.

Ну или (опять машина), что эта недавняя авария Теслы в Маунтин Вью, когда машина разгонялась прямо на разделительный блок - у меня ж в приусе аналогично, если машина перед тобой поменяет полосу, а впереди машины стоят на светофоре, приус давит на газ изо всех сил, потом моргает красной табличкой, "тормози, тормози!" - в Тесле и того нету, она отключает тормоза при автоматическом управлении, т.к. иначе будет "неэффективно". No shit, только что прочитал.

Я вот не понимаю, а кто делает авионику? Понятно, что Маску стоило бы нанять команду авиационных инженеров, которые умеют делать автопилоты. Но это какая-то специфика, другой мир. А обычные софтверные инженеры, их "исключительные случаи" не касаются. Потому что это монада, а монада - это для гиков, типа Тони Морриса, и с такими лучше дела не иметь (опять же, Тони и обматерит по-всякому, если чо).

Кстати, и в "машинном лернинге" та же фигня. В конторе хвастаются, что наш продукт делает two million predictions a day. Все стесняются спросить, сколько из них сбываются. Но тут еще вписываются статистики, для которых ошибка - это всего лишь collateral damage, как солдаты для маршала Жукова.

А доказуемые решения инженерам ни к чаму. У них тесты идут (почти все) - ну и ладно тогда.

Так кто же делает авионику? Вот тут для меня загадка.

Flat | Top-Level Comments Only | Expand All

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

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

Если вылетает по переполнению стека, то значит, что доказательство неверное.

Мы когда систему управления бурением делали, я нарисовал и доказал пару лемм на тему нашей message system. Ну потому что надо было. Все-таки тяжелая железяка, 125 тонн; разнести ее к херам вполне запросто.