Hacker News Digest

Good. I really wish Mozilla would rely less on these shady backroom deals and open up to direct user funding. The Mozilla Foundation accepts donations, but they don't go toward funding Firefox; instead, they fund advocacy campaigns.> Firefox is maintained by the Mozilla Corporati

• Основная причина инцидента — усталостные трещины в креплении двигателя (pylon), выявленные в предварительном отчете NTSB.
• Обсуждаются исторические параллели с катастрофой рейса AA191 (1979), где аналогичный отказ привел к потере контроля.
• Критика качества отчетов (опечатки в терминах, проблемы с доступностью документов) и опасения по безопасности триджетов.
• Последствия — запрет эксплуатации всех MD-11 и DC-10, дискуссии о целесообразности их дальнейшего использования.

LionsOS — это операционная система, основанная на микроядре seL4, разрабатываемая исследовательской группой Trustworthy Systems из UNSW Sydney в Австралии. Система находится в активной стадии разработки и пока не стабильна, но уже доступна для экспериментов. Её цель — сделать достижения seL4 (производительность, безопасность и надёжность) более доступными через набор составных компонентов для создания кастомных ОС под конкретные задачи.

Компоненты системы объединяются с помощью инструмента Microkit и следуют нескольким ключевым принципам: соединение через блокирующие очереди, выполнение одной функции на компонент (драйверы преобразуют интерфейс оборудования в очереди), использование виртуализаторов для мультиплексирования, минимальное разделение информации и статичность системы. Проект приветствует вклад сообщества, особенно в разработку новых компонентов.

• LionsOS — это результат исследовательского сотрудничества UNSW и Data61, основанный на seL4 и Microkit, что делает его формально верифицированным ядром и микроядровой архитектурой.
• Проект нацелен на безопасность и безопасность в критически важных системах, но не ограничивает себя только этим, так как он также может быть использован для обычных задач, включая мобильные и настольные компьютеры.
• Проект имеет открытый исходный код и лицензия BSD-подобная, что делает его доступным для всех для использования и модификации.
• Проект имеет активное и дружелюбное сообщество, которое приветствует вклад от всех, включая разработчиков Rust, и поддерживает разработку на Rust.

Microsoft, Team Xbox и Activision совместно выпустили исходный код классических текстовых приключенческих игр Zork I, II и III под лицензией MIT. Эта инициатива призвана сохранить исторически важное наследие и предоставить доступ к коду для студентов, учителей и разработчиков, которые могут изучать его, учиться на нем и даже играть в эти культовые игры. Код был добавлен в существующие исторические репозитории при участии Джейсона Скотта из Internet Archive.

Zork, появившийся более 40 лет назад, был революционной игрой без графики, но с богатым текстовым миром, который требовал от игроков воображения. Ключевым инновационным решением стал Z-Machine - виртуальная машина, позволившая запускать игру на различных платформах, включая Apple II и IBM PC. Это сделало Zork одним из первых кроссплатформенных игр. Сегодня игры все еще доступны и могут быть запущены с помощью современных интерпретаторов Z-Machine, таких как ZILF.

• Microsoft открыла исходный код Zork и других игр Infocom под MIT-лицензией, что стало возможным благодаря покупке Activision Blizzard.
• Пользователи вспомнили, что исходный код Zork был доступен уже давно, и обсудили, какие ещё игры могут быть открыты.
• Обсуждение затронуло вопросы о том, как Microsoft получила права на эти игры, и почему именно сейчас они были открыты.
• Участники обсуждения также затронули вопрос о том, какие ещё игры могут быть открыты в будущем, и выразили надежду, что будут открыты и другие классические игры.

В 2025 году команда Go представила важные обновления в области криптографии, включая постквантовые обмены ключами и соответствие стандарту FIPS 140. Эти разработки стали результатом работы Филиппо Вальсорды, Роланда Шумейкера, Дэниела Маккарни, Никколы Морино, Деймила Нила и многих других участников сообщества. Несмотря на переход автора с работы в Google на независимую деятельность в рамках Geomys, развитие криптобиблиотек Go продолжается с прежним темпом.

Безопасность криптографических библиотек Go демонстрирует впечатляющую статистику: с 2019 года не было уязвимостей уровня "ouch", с 2021 года — Go-специфических уязвимостей уровня "oof", а с 2023 года — любых уязвимостей этого уровня. Первая профессиональная аудитория Trail of Bits не выявила проблем в базовой криптографической реализации. Постквантовые алгоритмы, хоть и требуют передачи большего количества данных, работают быстро на классических компьютерах и обеспечивают защиту от будущих квантовых вычислений.

• FIPS-140 и NIST критикуются за медлительность и консерватизм, включая использование устаревших алгоритмов вроде PBKDF2 в 2025 году.
• Обсуждаются проблемы в стандартной библиотеке Go: неясные конструкторы, неоправданное использование []byte вместо фиксированных размеров, и отсутствие встроенной защиты от утечки памяти.
• Поднимается вопрос о том, как языки со сборщиком мусора (GC) влияют на безопасность криптографических данных в памяти.
• Участники обсуждения отмечают, что влияние FIPS-140 как "потолка" безопасности, а не "пола", ограничивает улучшения сверху.

Android Quick Share теперь совместим с iOS AirDrop, позволяя пользователям Android и iPhone обмениваться файлами между платформами. Эта функция устраняет барьер между экосистемами Google и Apple, упрощая передачу данных. Начало реализации совместимости начнется с семейства Pixel 10, которое станет первыми устройствами Android, поддерживающими новую функциональность.

Google стремится сделать обмен файлами более универсальным и удобным для пользователей разных платформ. Эта интеграция является важным шагом к улучшению взаимодействия между Android и iOS устройствами. В будущем планируется расширить поддержку на другие модели Android устройств, но конкретные сроки пока не сообщаются.

• Apple и Google наконец-то реализовали взаимодействие AirDrop ↔ Quick Share, но только для Pixel 9 и новее, что вызывает вопросы о фрагментации Android и отсутствии поддержки на других устройствах.
• Пользователи отмечают, что даже базовые функции обмена файлами между устройствами одной и той же ОС часто не работают, что ставит под сомнение насколько новая функция будет полезна.
• Критика также направлена на то, что компании не предоставляют открытые стандарты, что ведет к вендор-локу и отсутствию поддержки на других платформах.
• Некоторые комментаторы поднимают вопрос о том, что влияние DMA может быть причиной такого внезапного прогресса в этой области.
• В то же время, другие вспоминают, что у нас уже были похожие технологии в прошлом, такие как Bluetooth OBEX и Wi-Fi Direct, которые были брошены в угоду проприетарным решениям.

Статья исследует исчезновение самых дешевых форм жилья в США — жилых отелей с одноместными номерами (SRO). В прошлом они служили жизненно важным социальным лифтом для молодых людей, мигрантов и малоимущих. YMCA в 1940 году предлагал более 100 000 номеров — больше, чем любая гостиничная сеть, а в 1990 году в подобных помещениях проживало до 2 миллионов человек, что превышало число жителей всех общественных жилищ страны. Типичная плата за номер в 1924 году составляла $230 в месяц в пересчете на сегодняшние деньги.

Исчезновение SRO — не случайность, а результат целенаправленных усилий реформаторов Прогрессивной эпохи. Они изображали жильцов этих отелей как "социальных изгоев" и сами здания как "котлы социального зла", обвиняя их в безнравственности, апатии и самоубийствах. Хотя некоторые дешевые отели действительно были небезопасны, реформаторы стремились не улучшить условия, а искоренить саму модель жизни, которая предлагала свободу от семейного надзора и викторианских норм, особенно для молодых женщин и одиноких мужчин. Уничтожив этот доступный сегмент рынка, общество лишило самых уязвимых людей последней ступени перед бездомностью.

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

Google представила Nano Banana Pro — новую модель генерации и редактирования изображений от Google DeepMind. Эта модель относится к семейству Gemini 3 Pro и предназначена для работы с визуальным контентом. Несмотря на необычное название, Nano Banana Pro позиционируется как продвинутый инструмент для создания и модификации изображений с использованием ИИ.

Модель разработана командой Google DeepMind, которая активно работает над улучшением возможностей генеративного ИИ. Nano Banana Pro дополняет существующие продукты Google в области искусственного интеллекта, предлагая пользователям новые способы работы с визуальными данными. Хотя подробности о технических характеристиках пока ограничены, сам факт анонса указывает на расширение функционала экосистемы Gemini.

• Google выпустил Nano Banana Pro, но не смог обеспечить доступ к API, что вызвало недовольство разработчиков.
• Модель демонстрирует улучшенную точность текста и способность к генерации инфографик, но остаётся неясным, как именно она обрабатывает изображения.
• SynthID, как и ожидалось, не решает проблему идентификации ИИ-контента, а лишь маркирует изображения, что вызывает вопросы о возможности его обхода.
• Несмотря на то, что Google продолжает доминировать в качестве изображений, его стратегия ведения бизнеса вызывает всё большее раздражение.

Авторы представляют рациональную реконструкцию расширяемых эффектов как альтернативы трансформерам монад. Они показывают, как свободные монады и расширяемые эффекты возникают из постепенного абстрагирования шаблонного кода при вычислениях с эффектами. Этот процесс приводит к "более свободным монадам" (freer monads), которые строятся без ограничения Functor. Продолжение в таких монадах может быть представлено эффективной выровненной по типам структурой данных, что позволяет создать библиотеку расширяемых эффектов, которая не только понятнее, но и быстрее предыдущих реализаций.

Авторы демонстрируют три удивительно простых применения: недетерминизм с обязательным выбором (LogicT), перехват исключений IO в присутствии других эффектов и полуавтоматическое управление файловыми дескрипторами через монадические регионы. Используется новый вид "ленивости", основанный на левом Kan расширении. Подход позволяет легко добавлять, комбинировать и инкапсулировать эффекты, при этом обеспечивая лучшую производительность по сравнению с MTL и другими библиотеками обработчиков эффектов.

• Рекомендация изучить работы О. Киселёва (особенно по системам эффектов) за ясность изложения и педагогический подход.
• Упомянута библиотека eff, но отмечено, что она не вышла в Hackage/продакшн; предложены альтернативы: Polysemy, effectful, Bluefin.
• Обсуждение расширено на другие языки: Koka и Effekt (полноценные языки с нулевыми затратами на эффекты), effect-ts (самый популярный в TypeScript).
• Указано, что реализация систем эффектов требует компромисса между сложностью типов, шаблонным кодом, производительностью, обработкой высших порядков и безопасностью.

A really good litmus test of individual perspective and maturity, here. Already seeing comments nitpick specific arguments or points, which is itself the trap to shine a light on those individuals more obsessed with arbitrary external measures of their personal definition of succ