Hacker News Digest

Ironclad — это формально верифицируемый, реального времени, UNIX-подобный ядро операционной системы общего назначения и встраиваемых систем, написанное на SPARK и Ada. Проект полностью свободный и распространяется под лицензией GPLv3. Ключевые особенности включают POSIX-совместимый интерфейс, одновременное вытесняющее многозадачность, обязательный контроль доступа (MAC) и поддержку жёсткого реального времени.

Главное преимущество Ironclad — формальная верификация с помощью SPARK для критических компонентов, таких как криптография и MAC. Система полностью портативна и зависит только от GNU toolchain, что упрощает кросс-компиляцию. Проект поддерживает дистрибутивы для всех доступных архитектур, наиболее заметный из которых — Gloire. Ironclad всегда будет бесплатным для использования, изучения и модификации, а финансируется за счёт пожертвований и грантов от NLnet и Европейской комиссии.

• Участники сомневаются в степени формальной верификации Ironclad, сравнивая его с более строгими аналогами вроде seL4 и Tock, и указывают на отсутствие доказательства ключевых свойств ядра.
• Проект написан на SPARK и Ada, поддерживает x86_64 и RISC-V, но не ARM64; его лицензия включает бесплатную версию с возможностью коммерческого использования.
• Основные альтернативы: seL4 (быстрый и строго верифицируемый), Genode (POSIX-совместимый слой), Asterinas и Redox (Linux-совместимые ядра), а также ReactOS и SerenityOS.
• Критика включает медленную производительность по сравнению с seL4, отсутствие capability-based безопасности и потенциальные проблемы на уровне прошивки.
• Уточнено, что формальная верификация — это не тестирование, а математическое доказательство соответствия спецификации, а "бесплатность" ПО может относиться только к лицензии.

Preston Byrne представляет 4chan и другие американские сайты в судебных разбирательствах против британского регулятора Ofcom, защищая их от Закона об онлайн-безопасности. Автор бесплатно защищает все американские веб-сайты, работающие законно в США, от попыток Великобритании нарушить Первую поправку Конституции. Он подчеркивает, что даже самые спорные платформы, такие как SaSu, 4chan, Gab и Kiwi Farms, заслуживают защиты.

В случае с SaSu, который заблокировал доступ для пользователей из Великобритании, Ofcom продолжает преследование, утверждая, что геоблокировка не работает. Однако автор демонстрирует обратное с помощью теста через VPN, показав, что блокировка функционирует. Он объясняет, что геоблокировка ненадежна из-за неточностей в базах данных геолокации, где IP-адреса могут быть некорректно привязаны к регионам. Byrne считает, что стратегия Ofcom заключается в выборе самых "радиоактивных" целей для публичного унижения, и единственный способ противостоять этому — защищать каждый сайт, как указал судья Брандейс: "солнечный свет — лучший антисептик".

• UK-регулятор Ofcom требует от американского сайта блокировать доступ для британских пользователей, что вызывает споры о суверенитете и свободе слова.
• Сторонники свободы слова утверждают, что это является экстерриториальным применением закона, что противоречит принципу, что сайт не обязан соблюдать законы страны, в которой он не базируется.
• Обсуждение также затрагивает вопрос о том, кто должен решать, какие сайты доступны в стране, и кто должен нести ответственность за блокировку контента.
• Некоторые участники обсуждения поднимают вопрос о том, что если страна может требовать от иностранной компании соблюдать её законы, то почему она не может требовать того же от физических лиц, и что это может означать для свободы передвижения и частной жизни.
• В конце концов, обсуждение подводит к тому, что вопрос о том, кто имеет право регулировать интернет, и какие законы применимы к глобальной сети, остаётся нерешённым.

• Участники обсуждают инновационные исторические модели Casio, такие как F-91W с астрономическими функциями, Data Bank как ранний PDA, часы с пультом для ТВ и пульсометром BP-100.
• Выражается ностальгия по классическим дизайнам 80-90-х и функциям (долгий срок работы от батареи, прочность), критикуется современная эстетика как перегруженная.
• Отмечается разочарование в современных направлениях Casio: зависимость от смартфонов (Android Wear), упадок качества и сервиса, а также скепсис в отношении NFT и метавселенных.
• Упомянуты уникальные функции прошлого: радиопередача в TM-100, оптический мониторинг давления в BP-100, астрономический калькулятор в Sensor Watch.
• Поднимается вопрос о возрождении классических форматов (например, Game & Watch с функционалом) и сохранении доступности и надежности линий вроде G-Shock.

Самый большой грузовой парусник в мире, Neoliner Origin, длиной 136 метров успешно завершил первое трансатлантическое плавание 30 октября, несмотря на повреждение кормового паруса во время шторма. Судно пришлось частично использовать вспомогательный двигатель и оставшийся парус, сделав остановку в Сен-Пьер и Микелон перед продолжением пути в Балтимор. По словам CEO компании Neoline Жана Зануттини, переход стал ценным опытом в управлении большими парусными поверхностями в Северной Атлантике.

Судно с двумя полужесткими парусами показало устойчивость, достигнув пункта назначения с минимальной задержкой. Neoliner Origin разработан для снижения выбросов парниковых газов на 80-90% по сравнению с традиционными дизельными судами. В то время как глобальное морское судоходство производит около 3% мировых выбросов, этот переход демонстрирует потенциал парусных технологий для экологичной транспортировки грузов.

• Проект «Neoliner Origin» демонстрирует возможность полностью парусного трансатлантического рейса, но повреждение паруса показало, что даже в 2024 году не обеспечивается достаточная надежность для полного перехода на паруса.
• Контейнеровозы перевозят до 200 000 тонн, тогда как парусное судно — 5300 тонн; масштабирование парусов под большие грузы остаётся вопросом.
• Пока нет ясности, будут ли ядерные суда экономически эффективны, но они уже строятся в Китае.
• Стоимость перевозки в обратном направлении — 3200 евро за 13-дневный рейс, что сопоставимо с авиаперелетом.
• Проект пока не решает, как обеспечить комфорт пассажиров при 11-узловой скорости через 2-3 недели путешествия.

A news station producer was arrested by ICE and the agents peeled away ripping off someone's bumper[0][1] just for her to be released later without charges.0: https://www.theguardian.com/us-news/2025/oct/14/chicago-ice-...1: https://www.youtube.com/watch?v=JLGI2hMaz5Q A large par

Автор создал новый шрифт Avería, усреднив все шрифты на своём компьютере. Идея родилась из интереса к типографике и креативному программированию. Сначала он накладывал буквы разных шрифтов с низкой прозрачностью, а затем использовал ImageMagick и PHP для математического усреднения изображений. Выравнивание по базовой линии и началу координат дало более чёткие результаты, чем простое наложение. Автор обнаружил, что строчная буква 'g' имеет две распространённые формы, а большинство шрифтов демонстрируют высокую корреляцию.

Когда простой метод дал размытые результаты, автор начал искать способы сохранить чёткие края. Он экспериментировал с пороговыми значениями для создания монохромных изображений, но столкнулся со сложностью математического усреднения форм. После изучения крив Безье и метрик шрифтов, он выбрал простой подход: разбиение контура каждой буквы на 500 равноотстоящих точек и усреднение соответствующих позиций. За месяц работы над проектом он создал Avería — название, связанное со словом "average" (среднее), но на испанском означающее "поломка".

• Обсуждение началось с демонстрацией шрифта Averia как примера "усреднённого" шрифта, что вызвало обсуждение его визуального качества и ассоциаций с "uncanny valley".
• Участники обсудили, что Averia выглядит мутновато и непривычно, что вызвало дискуссию о том, какие именно параметры делают шрифт читаемым и приятным.
• Были подняты вопросы о том, как средний шрифт может влиять на читаемость и какие именно параметры делают его таким.
• Также обсуждались вопросы авторского права и атрибуции, так как Averia был создан как "усреднение" всех шрифтов в системе.
• Участники также затронули тему того, что именно делает шрифт визуально привлекательным и читаемым, и какие параметры важны для этого.

Government shutdown. ATC are not being paid.Sort your country out! I was watching KBOS https://www.flightaware.com/live/airport/KBOS on Thursday morning and saw a couple of Cape Air flights that looked like they were within 500 feet of each other. I suspect we'll be hearing more

writerdeckOS - это минималистичная ОС, превращающая ноутбуки и Chromebook в устройства для чистого письма без отвлекающих факторов. Основанная на Debian Linux, она загружается напрямую в текстовый редактор Tilde, предлагая только необходимое для написания текстов. ОС легковесна и позволяет превратить старые или недорогие ноутбуки в специализированные машины для писателей.

Установка writerdeckOS полностью удаляет предыдущую операционную систему и все данные, поэтому перед началом процесса рекомендуется создать резервные копии. После загрузки система автоматически запускает текстовый редактор Tilde, где для сохранения документа необходимо использовать сочетание клавиш Ctrl+S, так как автосохранение отсутствует.

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

Marko — это декларативный язык на основе HTML для создания динамических веб-интерфейсов, расширяющий стандартный HTML возможностями для современных приложений. Любой валидный HTML является корректным Marko, но язык добавляет декларативные конструкции для реактивности и интерактивности, позволяя встраивать JavaScript прямо в шаблоны. Ключевые особенности включают потоковую передачу контента для ускорения первого отрисовки, оптимизирующий компилятор и минимальный рантайм, что обеспечивает высокую производительность даже для высоконагруженных проектов вроде eBay.com.

Фреймворк предлагает гибкость синтаксиса — от привычного HTML до более лаконичных вариантов Concise и JS — и поддерживает TypeScript для строгой типизации. Marko обеспечивает разделение concerns, управляемые компоненты, вложенную реактивность и неизменяемое состояние, что упрощает разработку масштабируемых приложений. Интеграция с экосистемой включает file-based routing и возможность использования как простых шаблонов, так и мощных компонентов по мере роста проекта.

• Обсуждение вращается вокруг того, что веб-разработка циклически возвращается к идеям, похожим на ColdFusion и JSP, и это вызывает у участников разговора разные чувства от ностальгии до раздражения.
• Участники обсуждают, что такое "HTML-основнный" язык, и как он отличается от JSX и других подходов, и почему мы снова и снова возвращаемся к этой идее.
• Обсуждение затрагивает вопрос о том, что некоторые считают, что эволюция веб-технологий просто движется по спирали, где старые идеи периодически перерабатываются и выдаются как новые.
• Участники также обсуждают, что такое "нативный" веб-разработка и как она отличается от подхода, где JavaScript используется для обработки событий и взаимодействия.
• Участники также обсуждают, что такое "нативный" веб-разработка и как она отличается от подхода, где JavaScript используется для обработки событий и взаимодействия.

OpenCloud — это основной репозиторий серверного проекта с открытым исходным кодом от opencloud-eu. Проект полностью написан на Go и содержит кодовую базу для бэкенд-сервисов. Репозитория представляет собой облачную платформу с эмоджи погоды (🌤️) в описании, что может указывать на её метеорологическую направленность или просто на дружелюбный интерфейс.

Проект находится на GitHub, что обеспечивает прозрачность разработки и возможность сообщества вносить вклад. Использование языка Go говорит о фокусе на производительность, эффективность и простоту развертывания. Хотя в предоставленном тексте отсутствуют подробности о функциональности, лицензии или статусе разработки, сам факт существования репозитория указывает на активную разработку проекта с открытым исходным кодом.

• Пользователи обсуждают альтернативы Nextcloud, упомянуты OpenCloud и OpenTalk как новые решения.
• Обсуждается производительность Nextcloud, включая проблемы с медленной работой и частыми режимами обслуживания после обновлений.
• Участники обмениваются мнениями о том, насколько важны такие функции как веб-офис, календарь и заметки, и как они реализованы в разных решениях.
• Участники также обсуждают, что важно для них в личном облаке: простота развертывания, контроль над данными и отсутствие PHP.
• Некоторые участники выражают заинтересованность в том, чтобы увидеть сравнительную таблицу функций между Nextcloud и OpenCloud.