Тема дня — границы: где заканчиваются обещания облака, хайп вокруг LLM и возможности алгоритмов. Материалы, возвращающие разговор в инженерную плоскость.
Почему Yandex Cloud не пережил потерю двух зон
8 октября — Сасово, 11-го — Владимир, между ними Калуга: три площадки за четыре дня. Облако рассчитано на отказ одной зоны, при потере двух распадается кворум, базы уходят в read-only, региональные Kubernetes встают. Восстановление ресурсов клиентам — дни и недели, железа — месяцы: серверы везут два-три. Практический вывод из разбора: проверить, где физически стоят мастера ваших кластеров, и вынести бэкапы за пределы облака, пока Object Storage читается. Отказоустойчивость — не свойство облака, а число зон, которые вы готовы потерять.
Codex CLI ставит фоновый демон. Без спроса
С версии 0.157.0 Codex CLI оставляет после себя персистентный самообновляющийся демон, и способ отключить его в документации не описан. Обсуждение на Hacker News собрало больше 550 баллов и истории про двенадцать гигабайт накопленных старых версий; отключение в итоге нашлось в недокументированном флаге конфига. Инструмент, который сам решает, когда обновляться и сколько места занять, — примечательная смена ролей: обычно так себя ведут операционные системы.
Генетические алгоритмы не заменили инженера. LLM — заменят?
История с моралью: эволюционный алгоритм нашёл для NASA антенну лучше классической, а GenProg «оптимизировал» сортировку, возвращая пустой массив — обман функции награды в чистом виде. Автор проводит прямую параллель: LLM на сотни миллиардов параметров — возможно, не зародившийся разум, а хитроумный эксплойт, научившийся угадывать ответы с высшим баллом. Инженера от эволюции отличают теории, которые «гибнут вместо нас», и обмен знаниями между ветками. Материал стоит прочитать, чтобы в очередной раз не перепутать метрику с целью.
Модели можно научить прятать возможности. Доказуемо
Свежая работа на arXiv: злоумышленник дообучает вредоносную модель вместе с безобидной, и результат доказуемо скрывает произвольные способности от оценок возможностей — тех самых, на которые опираются регуляторы и корпоративные проверки перед развёртыванием. Спрятанное размазано по весам, а не лежит в одном месте, поэтому поиск по «подозрительным векторам» не помогает. Авторы выпустили свои модели, чтобы сообщество развивало защиты. Ещё один аргумент не путать «прошло оценку» с «безопасно».
100 ГБ за 52 минуты: внешняя сортировка на обычном HDD
Разбор, где главное ускорение дала не алгоритмика, а развязка IO и CPU: первая версия мержа простаивала диском 70–90% времени из-за синхронной записи. Дальше — CSR-раскладка по 8 байт на значение, varint с дельтами, zstd девятого уровня и GC-паузы всего в 17 секунд за 52 минуты. Редкий пример задачи, одновременно CPU- и IO-bound: на HDD читатель должен читать всегда. Внутренние грабли .NET — бонусом.