Hacker News Digest

Проект linux-wasm добавляет поддержку WebAssembly (Wasm) в ядро Linux, позволяя выполнять Wasm-модули непосредственно на уровне ядра. Это открывает новые возможности для безопасного выполнения кода с производительностью, близкой к нативной, без необходимости в традиционных виртуальных машинах или контейнерах. Поддержка включает базовую инфраструктуру для загрузки и выполнения Wasm-кода, а также интеграцию с существующими подсистемами ядра.

Проект находится на ранней стадии разработки, но уже демонстрирует потенциал для создания более легковесных и безопасных систем. Wasm-модули могут изолированно работать в пространстве ядра, что снижает накладные расходы по сравнению с традиционными процессами. Это особенно ценно для встраиваемых систем, IoT-устройств и сценариев, где критичны безопасность и производительность. Разработчики могут использовать существующие Wasm-инструменты для создания кода, который будет выполняться непосредственно в ядре Linux.

• Проект демонстрирует высокую производительность Linux в WebAssembly, но содержит критические баги (например, ошибки доступа к памяти, паники ядра).
• Потенциальные применения включают облачные терминалы, научные окружения (Jupyter), тестирование дистрибутивов и образовательные цели, но требует оптимизации размера рантайма (<1 МБ).
• Техническое отличие от аналогов (container2wasm, XRSH) — отсутствие эмуляции CPU, компиляция бинарных файлов напрямую в WASM и использование WebWorker для процессов.
• Основные проблемы: отсутствие поддержки сетевых сокетов, сырых сокетов, JIT-компиляции и ограниченная совместимость с инструментами (например, Node.js).
• Участники отмечают образовательную ценность проекта и его влияние на развитие WebAssembly, но скептически оценивают массовое внедрение из-за текущих ограничений.

GHC теперь может работать полностью на стороне клиента в браузере через WebAssembly, демонстрируя значительный прогресс в разработке GHC WASM бэкенда. Это позволяет создавать интерактивные Haskell playground прямо в браузере без необходимости серверной части. Однако реализация имеет ограничения: используется байткод интерпретатор вместо компиляции в WASM, а cabal не поддерживается из-за отсутствия поддержки процессов. Для использования сторонних пакетов требуется предварительная компиляция через wasm32-wasi-cabal.

Проект сталкивается с некоторыми техническими вызовами, включая необходимость загрузки и извлечения около 50MB корневой файловой системы, что может вызывать временные зависания интерфейса. В некоторых браузерах, таких как Brave и Safari, возникают дополнительные проблемы с работой веб-воркеров. Тем не менее, эта технология открывает возможности для создания полностью интерактивных онлайн-курсов по Haskell и других веб-приложений, написанных на Haskell, работающих непосредственно в браузере пользователя.

• Обсуждение началось с вопроса о том, что WASM-версия GHC действительно запускает код в браузере, но не решает проблемы «бутстрапа» и воспроизводимых сборок, что делает Haskell невозможным для включения в дистрибутивы.
• Участники обсудили, что язык всё ещё жив, но отсутствие возможности полностью собрать его из исходников делает его «мертвым» с точки зрения дистрибутивов.
• Появились сомнения в том, что Haskell всё ещё актуален, и обсуждались ресурсы для изучения языка и практического применения.
• Также обсудили, что WASM-порт GHC демонстрирует прогресс бэкэнда, но не затрагивает проблему полного порта компилятора на новую архитектуру.
• В конце обсуждение сошлось на то, что язык всё ещё используется в продакшене и имеет практическое применение, а также что WASM может быть полезен не только в браузере, но и в других сценариях.

Energy prices have risen roughly at the rate of CPI since 2022, perhaps we got used to the relatively flat prices for the previous decade:https://www.apolloacademy.com/electricity-prices-have-grown-... This is not true. Energy prices are rising globally, even in countries with fe

Представлен новый протокол верификации email от WICG, который призван упростить и автоматизировать проверку адресов электронной почты. Инициатива направлена на создание стандартизированного способа подтверждения владения email-адресом, что должно улучшить пользовательский опыт и безопасность при автозаполнении форм.

Протокол использует криптографические методы для проверки владения email без необходимости отправки подтверждающих писем. Это потенциально может сократить количество спама и повысить эффективность регистрации на сайтах. Разработка находится на ранней стадии и открыта для обсуждения в рамках веб-сообщества.

• Предложение стандарта Email Verification API вызвало оживленную дискуссию, но критики указывают, что он не решает реальную проблему, а лишь усложняет процесс регистрации и может быть использован для сбора данных пользователей.
• Участники обсуждения подчеркнули, что вместо улучшения приватности, предложенный стандарт может привести к утечке данных, поскольку браузер передает информацию о сайте, который запрашивает токен.
• Было отмечено, что вместо того, чтобы упростить процесс регистрации, новый стандарт может усложнить его, поскольку требует от пользователя дополнительно подтверждать свой email через сторонний сервис, что может быть неудобно и небезопасно.
• Некоторые участники выразили обеспокоенность тем, что новый стандарт может быть использован для сбора данных пользователей и что он не предлагает никаких реальных преимуществ по сравнению с существующими решениями.
• Было также отмечено, что вместо того, чтобы предотвратить спам, предложенный стандарт может быть использован для отправки нежелательной почты, что может привести к дополнительным проблемам.

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

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

• arXiv больше не принимает обзоры и позиционные статьи в категории CS, что вызвало обсуждение о том, что LLM-генерированные статьи могут быть нежелательны, и о том, что arXiv не может быть единственным местом для предпринт-публикаций.
• Обсуждается, что LLM могут быть использованы для создания обзоров и позиционных статей, что может привести к снижению качества контента.
• Обсуждается, что arXiv не может быть единственным местом для предпринт-публикаций, и что необходимо найти альтернативные площадки для предпринт-публикаций.
• Обсуждается, что академическая система поощряет количество публикаций, а не их качество, что может привести к созданию низкокачественных статей.

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

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

• Проблемы с чтением документов в двухколоночном формате, когда порядок чтения нарушается (сверху вниз в колонке, а не слева направо), что затрудняет копирование.
• Критика PDF как неудобного формата, несмотря на его распространённость.
• Положительный отзыв о мобильной версии статьи: хороший адаптивный дизайн и удобное расположение элементов на маленьком экране.
• Важность контрастного чёрного текста на белом фоне для удобного чтения.

Предоставленный текст - это страница репозитория GitHub для Catten, ядра экспериментальной операционной системы CharlotteOS. Однако в тексте отсутствует подробное описание самого проекта, его особенностей или технических деталей.

Страница содержит стандартное навигационное меню GitHub, но не включает информацию о целях разработки, используемых технологиях или текущем статусе проекта Catten. Для создания содержательного пересказа требуется более подробное описание проекта.

• Проект Charlotte OS стремится к современной архитектуре, но пока не реализованы драйверы для большинства оборудования, что делает его практически непригодным для ежедневного использования.
• Проект использует GPLv3 с дополнительным разрешением на линковку с проприетарными драйверами, что вызывает споры в сообществе.
• Проект написан на Rust и использует микроядро, что делает его уникальным среди существующих альтернатив.
• Проект не имеет собственной системы портов пакетов и полагается на переносе пакетов из других систем, что может вызвать проблемы.
• Проект не имеет собственной системы портов пакетов и полагается на переносе пакетов из других систем, что может вызвать проблемы.

• SQLite не поддерживает параллельную запись; WAL-режим лишь разрешает параллельное чтение, но не пишущие транзакции.
• Проблема SQLITE_BUSY чаще всего возникает из-за длительных транзакций, которые не закрывают файл, и не из-за реальной конкуренции за доступ.
• Не стоит забывать, что SQLite — это встроенная СУБД, а не серверная СУБД, и что она не предназначена для высоконагруженных веб-приложений.
• В отличие от PostgreSQL, MySQL и других серверных СУБД, SQLite не поддерживает параллельную запись, и поэтому не может быть использована в ситуациях, где требуется высокая параллельность.

A lot of people here are clearly not reading the article.It’s not about the <table> element itself—we hope everyone knows about tables—but rather about the table-specific DOM interface, including things like HTMLTableElement.prototype.insertRow() and HTMLTableRowElement.prototype

“ICE officials have told us that an apparent biometric match by Mobile Fortify is a ‘definitive’ determination of a person’s status and that an ICE officer may ignore evidence of American citizenship—including a birth certificate—if the app says the person is an alien,”This is