News Digest

• HMTP: почтовый протокол поверх HTTP с end-to-end шифрованием и Ed25519
  Энтузиаст собрал экспериментальный почтовый протокол HMTP поверх HTTP с end-to-end шифрованием, проверкой подписей через Ed25519 и готовыми веб-стандартами. Рабочий прототип на Python уже на github.com/tanrax/hmtp.
  27.07.2026 08:27 · hackernews
• AI-компании измельчают редкие книги через ISBNdb, суд разрешил
  AI-компании скупают редкие книги через ISBNdb, сканируют и измельчают их ради тренировочных данных, а судья признал это добросовестным использованием.
  27.07.2026 12:32 · hackernews
• Макилрой втиснул Unix spell в 64kB RAM PDP-11 сжав словарь до 14 бит
  Чтобы впихнуть Unix spell в 64kB RAM PDP-11, Дуглас Макилрой сжал словарь стеммингом, Bloom-фильтром и кодом Голомба до 14 бит на слово — почти теоретический предел.
  27.07.2026 08:43 · hackernews
• Магнолии заменили пчёл на жуков ещё при динозаврах
  Магнолии цвели при динозаврах, поэтому их опыляют не пчёлы, а жуки. Крупные прочные лепестки и запах бродящих фруктов заставляют неуклюжих насекомых собирать пыльцу.
  22.07.2026 16:49 · hackernews
• Инженер DeepMind ушёл из-за контракта на lethal autonomous weapons
  Исследователь Google DeepMind Александр Тёрнер уволился после того, как Google подписал контракт с Пентагоном без жёстких ограничений на lethal autonomous weapons и слежку, от которых Anthropic не отказалась.
  27.07.2026 09:56 · hackernews
• scriptc делает из TypeScript бинарник без Node, используя quickjs-ng для npm
  scriptc компилирует TypeScript в нативные бинарники (~178 КБ, старт ~2 мс) без Node и V8, опционально встраивая quickjs-ng для npm‑зависимостей и сохраняя побайтовую совместимость с Node.
  26.07.2026 22:46 · hackernews
• Jacobian Conjecture пала: контрпример от Левента Алпёге и Claude Fable
  Спустя 87 лет гипотеза Jacobian Conjecture пала: Левент Алпёге с помощью Claude Fable нашёл контрпример для размерностей 3 и выше. Двумерный случай по-прежнему открыт.
  22.07.2026 18:25 · hackernews
• Сплав 7075 расплавили за 6 минут, а пепел от спутников угрожает озону
  В Штутгарте за шесть минут расплавили цилиндр из aluminum alloy 7075, но пепел от спутников может провоцировать распад озона и менять тепловой баланс атмосферы.
  26.07.2026 20:31 · hackernews
• Скрипты ffmpeg гонят звук как с кассет BASF и mk60
  Скрипты на ffmpeg и libmp3lame превращают цифровую запись в винтажный кассетный звук с профилями реальных лент (от BASF LH Extra C90 до советской mk60) — можно конвертировать файлы или захватывать веб-поток, лицензия MIT.
  26.07.2026 20:02 · hackernews
• Собрал будильник с автонастройкой, DST, красным seven-segment-дисплеем
  Устав от ручной настройки дешёвых LED-будильников после каждого сбоя, автор не нашёл в продаже модель с автонастройкой, DST и красным seven-segment-дисплеем — и просто собрал идеальные часы сам.
  23.07.2026 12:01 · hackernews
• Курс Forth показал: быстрая обратная связь важнее синтаксиса, а LLM — помеха
  Курс Forth со стеком из бумажных тарелок и графикой в Easy Forth показал: детей цепляет быстрая обратная связь, а не синтаксис, и от LLM в обучении лучше держаться подальше.
  26.07.2026 21:39 · hackernews
• INDEXER.SED v1.2 прекращает работу с писком, если в данных пропал `;`
  Скрипт Пемента на `sed` для склейки строк индекса ломал всю обработку, если в данных пропадал разделитель `;`. В `INDEXER.SED v1.2` он просто добавил жёсткую проверку формата с писком (`Ctrl-G`) и остановкой скрипта при любой ошибке.
  23.07.2026 04:25 · hackernews
• ast-grep переписал Tree-sitter на Rust с ChatGPT: прирост 30%
  Разработчик `ast-grep` переписал ядро `Tree-sitter` на `Rust` с помощью `ChatGPT`, ускорив парсинг почти на 30%. Узкие места по памяти и регрессии дожимали вручную — без человека скорость не превратить в стабильный код.
  26.07.2026 17:51 · hackernews
• Владельца Google Pixel обвинили за сам факт установки GrapheneOS
  Федеральные прокуроры в Атланте обвинили владельца Google Pixel в том, что он использовал GrapheneOS для стирания улик прямо во время допроса в аэропорту. Эксперты называют беспрецедентным подход, при котором сам факт использования приватной ОС трактуется как преступное поведение.
  26.07.2026 22:21 · hackernews
• LLM верифицировали Zstandard на Lean за $20 — в 10 раз медленнее
  LLM доказали нетривиальные свойства Zstandard-декомпрессора на Lean за 20 минут и $20 — декомпрессор в 10 раз медленнее эталона, но автоматизация уже работает. Верифицированный ассемблер AArch64 пока не масштабируется.
  26.07.2026 20:53 · hackernews
• AI ведёт к выгоранию: почему 99% — не 100% и как фокус спасает
  AI соблазняет успеть всё, множит число проектов и ведёт к выгоранию. Выход — фокус на важном и доведение до идеала: разница между 99% и 100% как между частичным и полным затмением.
  26.07.2026 13:13 · hackernews
• Собирайте квесты и журналы с эстетикой MacOS в Decker
  Decker — браузерная платформа для интерактивных документов с эстетикой MacOS и языком Lil. Собирайте журналы, квесты и пиксель-арт — всё сохраняется как автономный .html.
  26.07.2026 18:23 · hackernews
• ThinkPad T480 с Libreboot научили звонить без телефона
  ThinkPad T480 с Libreboot и модемом Quectel EG25-G стал полноценным телефоном: звонки, SMS и мобильный интернет работают, смартфон не нужен.
  26.07.2026 16:56 · hackernews
• Харт громит моду на упрощение, Оруэлла и The Elements of Style
  Дэвид Бентли Харт ненавидит моду на упрощение в прозе, громит правила Оруэлла и учебник "The Elements of Style" авторства Странка и Уайта и призывает ненавидеть такой подход, чтобы писать лучше.
  26.07.2026 17:29 · hackernews
• Docket призывает писать главное самому, а не сливать всё ИИ
  Docket предлагает записывать главное самому, а не сбрасывать всё на AI. Авторы убеждены: не погрузившись в детали, не создать ничего стоящего, и экспертиза не появится сама собой.
  26.07.2026 17:58 · hackernews