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

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

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

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

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

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

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

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

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

Page 1 of 2 << [1] [2] >>

Flat | Top-Level Comments Only | Expand All

From:

rampitec

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

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