Батут

Боб Бенкен и Даг Хёрли успешно вышли на орбиту!

Вы не поверите скольких усилий это стоило. Это гораздо сложнее, чем может показаться.

Следующая остановка - Starship? :-)

SN4 RIP

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

RIP Starship SN4 😭https://t.co/klPMtZHxjW pic.twitter.com/hrrElBXmSC

— Chris Bergin - NSF (@NASASpaceflight) May 29, 2020

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

На полном видео ниже включение двигателя в 1:22:33, огненный шар - в 1:24:48.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Когда 1.0 = 0.0

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

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

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