Hacker News Digest

Выбор между Ada, SPARK и Rust вместо C/C++ зависит от целей проекта. C/C++ остаются стандартом для встраиваемых систем из-за привычной экосистемы и обученных кадров, но они несут риски для безопасности — десятилетия разработок не сделали их по-настоящему безопасными без значительных затрат.

Rust предлагает продвинутую безопасность памяти и гибкую модель, с быстро растущим сообществом, но коммерческая экосистема ещё формируется. Ada обладает зрелыми инструментами и сертификационной документацией, а её спецификации позволяют чётко выражать ограничения железа и софта. SPARK, основанный на Ada, идёт дальше: он математически доказывает корректность кода на этапе компиляции, устраняя целые классы ошибок и экономя ресурсы на тестировании высоконадёжных систем.

• Участники обсуждают сравнительные преимущества систем типизации в Ada и Rust, включая возможность создания отдельных типов для единиц измерения (например, мили и километры) для предотвращения ошибок.
• Высказываются мнения о применимости языков (C++, Ada, Rust, SPARK, Zig, D) в высоконадёжных и критических системах, таких как аэрокосмическая отрасль, с акцентом на строгие процессы разработки и верификации, а не только на выбор языка.
• Поднимается тема, что безопасность кода зависит в большей степени от методологии разработки и тестирования (интеграционного, системного), чем от самого языка программирования.
• Обсуждается эргономика и удобство использования возможностей языков (например, newtype в Rust, контролируемые типы в Ada) для обеспечения типобезопасности и предотвращения ошибок на этапе компиляции.
• Некоторые участники выражают скептицизм по поводу необходимости замены C/C++, предлагая вместо этого лучше изучать и использовать существующие языки, совершенствуя навыки и процессы разработки.

Перевод симулятора F-16 из Fortran в Unity3D потребовал адаптации аэрокосмических конвенций под игровой движок. Модель полёта, основанная на данных аэродинамических труб и реализованная через дюжину таблиц поиска и математических уравнений, изначально использовала правостороннюю систему координат с осью X вперёд, Y вправо и Z вниз — в отличие от левостороннего Z-вверх подхода Unity. Ключевой задачей стало корректное преобразование осей и знаков без потери физической точности.

Процесс включал интерполяцию многомерных таблиц, расчёт тяги двигателя, аэродинамических сил и моментов, а также реализацию системы управления полётом с PID-контроллерами и ограничителями перегрузки. Несмотря на профессиональный бэкграунд в аэрокосмической отрасли, автор отмечает сложность верификации такой модели без доступа к реальным лётным данным. Готовый симулятор доступен на itch.io, демонстрируя практический компромисс между академической точностью и игровой доступностью.

• Участники обсуждают опыт работы с FORTRAN и его применение в аэрокосмической симуляции, включая исторические примеры и личные воспоминания.
• Поднимаются вопросы о единицах измерения (например, узлы, слагы) и их конвертации, с критикой подхода автора и предложениями использовать метрическую систему.
• Обсуждаются технические особенности языков программирования, такие как произвольные индексы массивов в FORTRAN и их аналоги в других языках.
• Упоминаются альтернативные реализации симуляторов на JavaScript и Clojure, а также ссылки на открытые проекты вроде Falcon BMS.
• Затрагиваются темы игровой ностальгии, сложностей моделирования физики и юмористические комментарии о единицах измерения (например, поронкусема).

Первый полноразмерный демонстратор многоразовой ракеты Themis Европейского космического агентства установлен на стартовой площадке в Кируне, Швеция. Модель T1H высотой 30 метров оснащена четырьмя посадочными опорами и двигателем Prometheus, способным перезапускаться в полёте и регулировать тягу для мягкой посадки. Это ключевой шаг в подготовке к испытательным полётам с вертикальным взлётом и посадкой.

Themis разработан в рамках программы ESA по многоразовым космическим системам при ведущей роли ArianeGroup. Транспортировка из Франции в Швецию составила 3000 км. Следующий этап — предполётные проверки и репетиция заправки перед первым запуском, который реализуется консорциумом из 12 европейских стран в проекте Salto.

• Поддержка разработки ESA собственной многоразовой ракеты как стратегически важного актива для независимости Европы в космосе.
• Обсуждение экономической целесообразности: сравнение стоимости запусков Ariane 6 и Falcon 9, аргументы за и против дублирования усилий SpaceX.
• Уточнение деталей о месте испытаний (Кируна, Швеция): удалённость стартовой площадки от города и горных работ.
• Отсутствие плагиата: мнения о том, что заимствование технологий (в отличие от China) является допустимым способом обучения.
• Необходимость технологического суверенитета Европы, включая не только ракетостроение, но и IT-инфраструктуру.

• Starship IFT-10 стартовал 25 августа 2025 г. с базы Starbase в Техасе.
• Super Heavy отделился через 2 мин 40 с и мягко приводнился в Мексиканском заливе.
• Starship продолжил полёт, достиг 211 км, совершил «белковый рулон» и успешно «поймал» макет башни-ловушки.
• Через ~65 мин корабль совершил контролируемое падение в Индийский океан.
• Это первый полёт после аварии IFT-9; ключевые системы (Raptor-вакуум, теплозащита, аэродинамические поверхности) отработали штатно.
• SpaceX планирует IFT-11 через 3 недели; цель — отработка возврата и многоразовости для будущих миссий на Луну и Марс.

• Участники сходятся: полёт IFT-10 — большой шаг вперёд, но не «абсолютный успех» из-за повреждений обшивки и взрыва при входе.
• Повреждения были частью эксперимента: SpaceX специально убрали часть теплозащиты и проверяли пределы прочности.
• Даже с потерей корабля программа считается успешной: цели полёта выполнены, а устойчивость конструкции подтверждена.
• Следующий запуск, вероятно, повторит профиль IFT-10, но может попытаться поймать бустер «руками» и выйти на орбиту.
• Обсуждают цену: Starship уже дешевле SLS и Saturn V, а полная многоразовость нужна именно для будущих миссий на Марс.

• Ключевые секторы: компьютеры/электроника, фармацевтика, аэрокосмос, медицинские приборы.
• Динамика с 1987 г.: занятость снизилась почти везде; лидеры (Силиконовая долина, Сиэтл, Route-128) сохранились, но с меньшими числами.
• Числа: с 1990 г. потеряно ~1 млн рабочих мест:
  • компьютеры/электроника –850 тыс,
  • аэрокосмос –300 тыс,
  • фармацевтика + медприборы +189 тыс.
• Доля в экономике: с 2,8 % до 1,3 % — падение на 50 %.

• Уцелевшие заводы в США действительно высокоавтоматизированы и дают мало рабочих мест.
• «Вернуть всё» сталкивается с нехваткой квалифицированных кадров, дороговизной и общественным неприятием роста цен.
• Ключевой риск — утрата инженерных навыков, цепочек поставок и обороноспособности, а не количество рабочих мест.
• Современная война требует не толпы полуквалифицированных рабочих, а узких специалистов и надёжных автоматизированных производств.
• Политики всё равно обещают «простые решения», потому что это выигрывает выборы.

• Комментаторы считают, что Boom лишь переизобретаёт давно применяемые методы MDAO и «AI» используется скорее как маркетинговый термин.
• Сомнения вызывают реальная техническая новизна, выбор двигателей (Rolls-Royce вышел) и экономическая целесообразность для коммерческих авиалиний.
• XB-1 называют «первым частным сверхзвуковым самолётом», но исторически это не так, а прототип не похож на будущий лайнер.
• Под «одной кнопкой» имеется в виду параметрический скрипт + ночные расчёты, что сегодня считается базовым, а не прорывом.
• Основной вывод: статья выглядит как попытка привлечь новый раунд инвестиций, а не честный технический отчёт.