Нанимает ли SpaceX из-за рубежа?

Мне с завидной регулярностью задают один и тот же вопрос: “Нанимает ли SpaceX из-за рубежа?” Я решил оформить ответ в виде поста, чтобы можно было на него ссылаться в будущем.

Ниже следует мое личное мнение. Пожалуйста, не воспринимайте его как буквальное руководство к действию. Короче, “This is not a legal advice. Talk to your lawyer”.

Read On →

Контрольная сумма UDP

Большинство проектов, над которыми я когда-либо работал, так или иначе не работают без передачи данных по сети. Последним проектом не выходящим за рамки одного компьютера была поддержка Wow64 в ядре Windows. Тем не менее возится с кодом, непосредственно обрабатывающим IP пакеты мне довелось всего пару раз. Оба раза я столкнулся с одной и той же ошибкой вычисления контрольных сумм в IP стеке. В одном случае, сетевая карта ошибочно помечала хорошие пакеты как испорченные. В другом - две библиотеки, написанные разными людьми, неверно вычисляли контрольную сумму некоторых пакетов. Одна из библиотек широко использовалась в “боевых” условиях. Немного удивительно, что ошибка оставалась незамеченной так долго.

Корнями этот баг уходит в 1980-й год, когда был опубликована спецификация протокола UDP. Чтобы разобраться в чем заключается ошибка, нужно сначала разобраться как работают контрольные суммы в IP стеке. В IPv4 пакете есть две контрольные суммы: контрольная сумма IPv4 заголовка и контрольная сумма протокола следующего уровня (UDP, TCP, ICMP, и т.п.). Контрольная сумма IPv4 заголовка защищает только IPv4 заголовок. Контрольная сумма протокола следующего уровня защищает тело пакета и некоторые поля из заголовка.

Read On →

Новый штамм людей

Актуальная статья 2015 года: “Земля находится под угрозой нового штамма устойчивых к фактам людей”.

Миннеаполис (Отчет Боровица) - Ученые обнаружили новый сильный штамм устойчивых к фактам людей, который являются угрозой существованию жизни на Земле, - говорится в новом отрезвляющем исследовании.

Исследование, проведенное университетом Миннесоты, идентифицирует опасный штамм людей, обладающих практически полным иммунитетом к любой форме поддающихся проверке знаний, оставляя ученых безо всякой возможности бороться с ними.

“Эти люди обладают всеми способностями необходимыми чтобы получать и обрабатывать информацию”, - утверждает Дэвис Логсдон, один из авторов исследования. “Тем не менее, каким-то образом, они развили защитные механизмы, которые фактически полностью нейтрализовали эти способности”.

Еще больше беспокоит то, что, по словам Логдона, - “большее количество фактов привело только к усилению механизмов, защищающих от этих фактов”.

Ученые еще далеки от полного понимания механизмов, которые не позволяют факто-устойчивым людям усваивать информацию. Одна из гипотез предполагает, что штамм приобрел способность перехватывать информацию в процессе её передачи от слухового нерва к мозгу. “Нормальная функциональность человеческого сознания была полностью аннулирована”, заявил Логсдон.

Подтверждая мрачные результаты исследования, Логсдон выразил надежду, что угроза штамма факто-устойчивых людей может быть преодолена в будущем. “Наше исследование находится на очень ранней стадии, однако существует возможность, что они станут более восприимчивы к фактам как только они окажутся в среде без еды, воды и кислорода”, сказал исследователь.

Read On →

Соединение Луны и Марса

Композитная фотография соединения Луны и Марса (сделанная вскоре после окончания покрытия Марса Луной) за авторством Эндрю Маккарти:

Read On →

Последнее предложение

Наткнулся на канал короткометражных фантастических фильмов DUST. Понравилось. Рекомендую.

Например, хороший фильм про бюрократию и про то, почему важно всегда читать контракты перед тем, как их подписывать:

Очередное фиаско

Читаю обсуждение сегодняшнего теста системы аварийного спасения Crew Dragon и чуть-ли не в голос ржу. “Ракета взорвалась”, “вторую ступень не спасли”, а “корабль уцелел”.

Картинка - это стёб, если что. :-) А вот, остальные фразы - не очень.

Doug Jensen выложил шикарное видео, показывающее момент разделения и взрыв. Смотреть обязательно:

Read On →

"Великий поход", или туда и обратно

Это, конечно, прошлогодние новости, но до меня эта картинка дошла только сейчас.

Китай с пристальным интересом поглядывает на повторное использование ступеней ракет. В 2017 году свет увидела презентация “первого частного китайского космического стартапа” Link Space (не смотрите на меня так - я просто перепечатываю слова из интернета):

А в 2018 году, главный конструктор ракет-носителей при Китайском исследовательском институте ракетной техники Лонг Лехао рассказывал о CZ-8 - будущем члене семейства ракет “Великий поход”. В том числе, был показан вот такой слайд:

Из этих двух слайдов сразу становится понятно, что любую разрабатываемую ракету можно назвать повторно используемой. Достаточно лишь пририсовать ноги и решетчатые рули к первой ступени. Однако принимая во внимание китайское упорство можно довольно уверенно сказать, что рано или поздно китайцы таки научатся приземлять и повторно использовать свои ракеты.

Read On →

Когда 1.0 = 0.0

Столкнулся недавно с новой для себя областью - ловлей багов в компиляторе. Ловить баг в процессоре мне уже доводилось, а вот с компиляторами до недавнего времени как-то везло.

Началось все очень прозаично. В нашем репозитории есть своя реализация умного указателя. Ну, вы знаете, как это бывает. Обычная история на самом деле… Этот класс был написан в древние времена, тогда и С++03 еще на свете не было. С тех пор уже и С++17 появился и С++20 не за горами, но класс по-прежнему активно используется. Мы его давно хотели заменить на что-нибудь более стандартное и современное, но все руки не доходили. “Работает - не трожь”.

В один прекрасный день в этом классе нашлось неопределенное поведение, что стало последней каплей, переломившей верблюду соломинку. Указатель был переписан на корню и стал тонкой оберткой вокруг std::shared_ptr<>. На следующий же день сломался один неприметный юнит тест на одной из платформ. Причем на первый взгляд никакого отношения к переписанному указателю этот тест не имел. Но от фактов было трудно отвертеться. С новым указателем тест падал, а со старым - нет.

Read On →

Законы космической инженерии (Законы Акина)

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

Your best design efforts will inevitably wind up being useless in the final design. Learn to live with the disappointment.

Ваши лучшие наработки в конечном итоге окажутся не нужны. Привыкайте жить с разочарованием.

Я как-то потратил несколько недель на оптимизацию кода, формирующего пакеты с телеметрией, с тем чтобы укорить его в несколько раз и сэкономить 10-15% общего времени выполнения. Что было очень важно, так как мы в очередной раз вылезли за допустимое время выполнения. Обложил юнит тестами со всех сторон… На code review основной претензией к коду было “ну я верю, что это работает, но нельзя ли как-нибудь попроще?” Через несколько недель я в отпуск пошел, а в том коде нашли баг… Было интересно и увлекательно.

А вот недавно, я просто удалил одну проверку в двух функциях, и сэкономил те же 10-15%. Результат одинаковый, но затраченные усилия отличаются на два порядка.

Ну и, само-собой, классика:

Space is a completely unforgiving environment. If you screw up the engineering, somebody dies (and there’s no partial credit because most of the analysis was right…)

Космос совершенно не прощает ошибок. Если вы ошиблись при разработке - кто-то умрет (и вы не получите частичный зачет за то, что большая часть анализа была верной)

Список широко цитируется в узких кругах, в том числе на Хабре публиковался перевод (правда не на 100% точный, как мне кажется).

Read On →

Нас обманывают!

P.S. Особенно доставляет то, что текст набран шрифтом Times New Roman (созданном в Великобритании) в Microsoft Word (созданном в США) на компьютере (разработанном в США и сделанном в Тайване), распечатан на лазерном принтере (неизвестной родословной, но опять же - разработан в США и сделан в Азии), а неопровержимые доказательства выложены на YouTube (созданном в США) с помощью сети Интернет (разработанной американскими учеными на деньги военных США). Справедливости ради замечу, что стена подъезда своя - отечественная.