Hacker News Digest

Недавно на рейсе British Airways из Гонконга в Лондон автор обнаружил бесплатный WiFi для "сообщений" через программу лояльности. Оказалось, что для регистрации достаточно ввести email без верификации прямо в полёте. Бесплатный интернет работал с WhatsApp, Signal и WeChat (без изображений), но блокировал Discord и обычные сайты.

Автор выяснил, что система использует SNI (Server Name Indication) из TLS-рукопожатия для определения типа трафика. SNI раскрывает домен до установления шифрования, позволяя авиакомпании блокировать не-whitelisted домены. Эксперименты показали, что даже прямые подключения по IP без SNI блокируются, а использование SNI от WhatsApp (wa.me) обходит ограничение, позволяя установить соединение с любым сайтом через хост-заголовок HTTP.

• Обсуждение началось с описания способа обхода ограничений Wi-Fi в самолётах и круизных лайнерах с помощью VPN, DNS-туннелирования и прочих техник, включая использование порта 53/UDP и DNS-over-HTTPS.
• Участники обменялись историями о том, как они обходили плату за Wi-Fi в полёте, используя различные комбинации инструментов вроде OpenVPN, WireGuard, Iodine и прочих.
• Обсуждались также такие темы, как SNI-утечки, обфускация трафика и их влияние на приватность пользователей.
• Упоминались также вопросы о том, как авиакомпании и другие транспортные компании могут отслеживать и ограничивать использование VPN и прокси-серверов.
• В конце обсуждение перешло к обсуждению более широких тем, таких как приватность и безопасность в сети, а также о том, как технические меры могут быть использованы для обхода цензуры и ограничений.

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

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

• Публикация описывает первый найденный полиэдр, который не может пройти через себя, и тем самым решает давнюю проблему, хотя название статьи вводит в заблуждение.
• Обсуждение в комментариях охватывает широкий спектр тем — от исторического контекста до практического применения 3D-моделей и печати.
• Некоторые комментаторы поднимают вопросы о том, почему такой полиэдр не может пройти через себя, в то время как другие спрашивают, какие еще формы могли бы быть найдены в будущем.
• Обсуждение также затрагивает вопрос о том, как такой полиэдр может быть использован в образовательных целях, особенно для детей, и о том, какие еще формы могли бы быть напечатаны на 3D-принтере.
• Некоторые комментаторы также поднимают вопрос о том, какие еще формы могли бы быть найдены в будущем, и о том, какие из них могли бы быть напечатаны на 3D-принтере.

Команда Asahi Linux продолжает работу над поддержкой чипов Apple M3, хотя на данный момент базовая функциональность позволяет только загружать систему до мигающего курсора. Разработчики активно портируют загрузчик m1n1 на язык Rust, что повысит безопасность и поддерживаемость критически важного компонента. Параллельно ведется работа над патчами ядра Linux для версий 6.17 и 6.18, где уже добавлены Device Trees для устройств Apple M2 Pro/Max/Ultra.

Успехи также отмечены в игровой сфере — Wine теперь работает вне muvm, а поддержка графики продолжает совершенствоваться. Несмотря на прогресс с M1 и M2, чипы M3, M4 и недавно анонсированный M5 все еще находятся в стадии обратной разработки. Как отмечают разработчики: "Базовая поддержка M3 существует давно, но она ограничивается возможностью загрузки до мигающего курсора, что полезно только для низкоуровневого реверс-инжиниринга".

• Пользователи обсуждают, что владельцы Mac на M1-M4 чипах по-прежнему не могут полноценно использовать Linux на своих машинах, и это вызывает тревогу, особенно учитывая, что Apple не проявляет особого интереса к поддержке Linux на своих устройствах.
• Участники обсуждения отмечают, что даже несмотря на это, сама по себе поддержка Asahi Linux остается важной, так как она позволяет продлить жизнь этих устройств, когда Apple прекратит поддержку macOS.
• Некоторые участники подчеркивают, что ситуация с Linux на Apple Silicon выглядит как бесконечная борьба, и что это может быть неразрешимой проблемой, если Apple не изменит свою политику.
• Также обсуждается, что в то время как Apple продолжает выпускать новые чипы, Asahi Linux может не успевать за ними, что делает невозможным поддерживать актуальные версии ядра и драйверов.
• Наконец, участники обсуждения отмечают, что существует альтернатива в виде ноутбуков от других производителей, которые лучше подходят для Linux, но они не такие же качественные, как MacBook, что делает выбор сложным для тех, кто предпочитает Linux, но привык к премиальному качеству MacBook.

Pretty big caveat; 5 seconds AFTER all data has been loaded into memory - over 2 minutes if you also factor reading the files from S3 and loading memory. So to get this performance you will need to run hot: 4000 CPUs and and 30TB of memory going 24/7. > Once trusted, each worker

Вышел Typst 0.14 с фокусом на доступность - теперь документы генерируются с поддержкой доступности по умолчанию, что соответствует международным стандартам PDF/UA-1. Это позволяет соответствовать таким регуляциям, как Европейский закон о доступности (EAA) и ADA Title II. Помимо доступности, в обновлении добавлена поддержка PDF как нативного формата изображений для сложных иллюстраций, улучшено выравнивание на уровне символов для книг и значительно расширен функционал экспорта в HTML.

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

• Typst и LaTeX соревнуются в академической среде: Typst — быстрая компиляция, меньше боли при работе с шаблонами, но пока не поддерживает такие вещи как beamer и TikZ.
• Пользователи отмечают, что Typst легко учится и использует современный синтаксис, но отсутствие поддержки для сложных научных документов и журналов остаётся барьером для широкого внедрения.
• Поддержка PDF/UA и встроенная обработка PDF делают Typst привлекательным для тех, кто заботится о доступности, но отсутствие индексации и библиографии может быть препятствием для академических пользователей.
• Несмотря на то, что Typst — это open-source проект с открытым исходным кодом, он использует проприетарный онлайн-редактор и «Typst Universe» — что вызывает вопросы о свободе и будущем.
• Сообщество продолжает расти, и в то же время Typst быстро развивается, добавляя новые функции и улучшая существующие. Это показывает, что Typst — это не просто еще один инструмент, а живой проект, который может в конце концов стать стандартом для публикации научных работ.

This scheme doesn’t really make sense. Once you’ve convinced a wealthy person to play at your underground poker table, you’ve already won - just play better poker than them, ultra wealthy fish don’t have time to learn to play perfect poker and you do. Trying to extract slightly m

Представлен ChunkLLM - легковесный подключаемый фреймворк для ускорения инференса больших языковых моделей. Основная проблема - квадратичная сложность механизма self-attention в Transformer, что приводит к вычислительным неэффективностям. Авторы предлагают двухкомпонентную систему: QK Adapter (для сжатия признаков и получения чанк-внимания) и Chunk Adapter (для обнаружения границ чанков с использованием семантической информации). Во время обучения основная модель остается замороженной, тренируются только адаптеры.

Эксперименты показали, что ChunkLLM сохраняет 98.64% производительности на бенчмарках с длинным контекстом, при этом достигая ускорения до 4.48x при обработке текстов длиной 120K токенов по сравнению с базовым Transformer. Ключевое преимущество - выбор чанков происходит только при обнаружении границы, что значительно ускоряет инференс. Фреймворк демонстрирует сопоставимые результаты на коротких текстах и сохраняет 48.58% ключевого кэша.

• Контекст 30k+ токенов становится нормой, но при этом требуется 4× ускорение без значимой потери качества.
• Модульная, «железо-ориентированная» архитектура становится трендом: LLM-фреймворки стремятся к эффективности и низким вычислительным затратам.
• Стоит ли жертвовать 2% качества ради 4× ускорения? Да, если речь идет о длинном контексте.
• Развитие идет в сторону мелких, легковесных решений, которые можно встроить в реальные приложения.

Mesh2Motion — это бесплатный веб-инструмент с открытым исходным кодом для анимации 3D-моделей. Приложение поддерживает создание анимаций для человекоподобных существ, четвероногих животных и птиц. Пользователи могут импортировать модели в форматах GLB, GLTF и FBX, выбирать подходящий скелет и интуитивно настраивать его положение. Система undo/redo позволяет исправлять ошибки, а готовые анимации экспортируются в широко поддерживаемом формате GLB.

Проект полностью бесплатен как для личного, так и коммерческого использования, включает библиотеку человеческих анимаций от Quaternius и доступен онлайн по адресу app.mesh2motion.org. Разработчики подчеркивают важность наличия открытых инструментов в области 3D-анимации, которые могут развиваться вместе с сообществом. Исходный код проекта доступен на GitHub под лицензией MIT, а для обратной связи можно использовать социальные сети автора.

• Проект представляет собой open-source-утилиту для риггинга и анимации персонажей, которая использует библиотеку three-mesh-bvh и three-mesh-geometry и предоставляет экспорт в .glb и .fbx.
• Пользователи отмечают, что это единственный инструмент, который не требует регистрации и не использует генеративный ИИ, что делает его особенно ценным для независимых разработчиков.
• Некоторые участники обсуждения подчеркивают, что проект не предоставляет автоматическое распознавание суставов, что требует ручной настройки, и что это может быть недостатком по сравнению с Mixamo.
• Создатель проекта отвечает, что автоматическое распознавание суставов было бы возможно, но это потребовало бы включения большого количества кода, что противоречит философии проекта быть максимально легким.
• Также обсуждается возможность добавления поддержки экспорта в .fbx и .blend файлы, но это потребовало бы включения большого количества кода, что также противоречит философии проекта.

Проект Twake Drive представляет собой открытую альтернативу Google Drive, разработанную компанией Linagora. Это решение предлагает пользователям полный набор функций для облачного хранения и совместной работы с файлами, включая синхронизацию, совместное редактирование и управление доступом.

Проект построен на принципах открытого кода, что позволяет организациям развивать платформу в соответствии со своими потребностями и обеспечивает большую гибкость по сравнению с проприетарными решениями. Twake Drive стремится предоставить безопасную и конфиденциальную альтернативу, подчеркивая важность контроля пользовательских данных.

• Обсуждение показало, что технические характеристики (синхронизация, безопасность, производительность) важны, но устойчивость проекта и наличие сообщества в долгосрочной перспективе могут быть ещё более критичными факторами.
• Участники подчеркнули, что даже при наличии open-source решений, отсутствие ясной модели финансирования и поддержки может привести к прекращению проекта.
• Сравнение с Nextcloud и Seafile показало, что пользователи ищут баланс между простотой установки и гибкостью, но при этом критично важно, чтобы проект не исчез через год-два.
• Несколько комментаторов отметили, что важно не только иметь открытый исходный код, но и обеспечить прозрачность в модели угроз и процессе принятия решений.
• Вопрос о том, как проект планирует привлечь и удерживать вкладчиков, остался без ответа, что может быть самым слабым местом.

Технический комитет Debian отменил изменение в systemd, сделавшее каталог /run/lock доступным только для записи root-пользователя, что нарушило работу нескольких программ. Debian packagers имеют свободу настройки пакетов, но должны соответствовать Debian Policy, которая ссылается на устаревший стандарт FHS, предписывающий использование /var/lock (символическая ссылка на /run/lock). Изменение в systemd v258 сломало утилиты вроде UUCP и cu, а разработчик alsa-utils предупредил, что удаление каталога создаст "ловушку для дистрибутивов", заставляя их создавать локальные обходные пути без видимой пользы.

Debian 13 (trixie) использует systemd v257 и не затронуты проблемой, но изменения в unstable ветке вызвали сбои. Хотя FHS не поддерживается с 2010 года, Debian Policy продолжает его цитировать. systemd планирует полностью удалить /run/lock в v259, предлагая пользователям создавать конфигурационные файлы для сохранения старого поведения. Разработчик предложил компромисс, сделав каталог доступным для группы dialout вместо всемирной записи, но техкомитет Debian настоял на соответствии политике проекта.

• Debian Policy всё ещё ссылается на FHS, хотя тот не обновлялся более десятилетия, и это вызывает споры о том, какой уровень «поддержки» требует стандарт.
• Разработчики systemd считают, что /run/lock должен быть доступен для записи всем, что вызывает конфликт с безопасностью и совместимостью с другими пакетами.
• Поддержка FHS в Debian в основном сводится к тому, что «мы не хотим ломать совместимость с 3-летней давностью», даже если это означает отказ от безопасности.
• Архитектура /usr merge и другие изменения, которые уже стали нормой в других дистрибутивах, в Debian обсуждаются в контексте FHS, что вызывает вопросы о том, как долго ещё будет существовать текущий подход.
• В конце концов, вопрос остаётся открытым: будут ли разработчики Debian и systemd находить общий язык, или же приведёт ли это к форку или отказу от одного из них.