News Digest

• c89: gcc и clang разошлись из-за лишних скобок — переходите на c11
  В c89 нашли неоднозначность с неявными объявлениями функций: gcc и clang трактуют их по-разному, а смысл зависит от лишних скобок. Хватит использовать c89, переходите на c11.
  10.08.2026 07:49 · hackernews
• Письмо — лучший способ думать: черновик проверь через LLM
  Письмо — лучший способ думать: автор намеренно берёт незнакомые темы, спорит с общепринятым и часто меняет мнение. К концу черновика мысль проясняется, а черновик можно проверить через LLM.
  13.08.2026 23:39 · hackernews
• На OceanSprint обсудят Rust-мост на ABI Fil-C: C безопасен, Rust быстр
  Fil-C делает C/C++ memory-safe, но с налогом на рантайме. Rust-мост на ABI Fil-C оставит C безопасным, а Rust быстрым — тему обсудят на OceanSprint.
  13.08.2026 17:32 · hackernews
• JEP 523: G1 стал сборщиком по умолчанию в JDK 27
  В JDK 27 HotSpot GC получил ~350 правок: рефакторинг, багфиксы и подготовку к JEP 401. Главное — JEP 523: G1 стал сборщиком по умолчанию во всех окружениях.
  13.08.2026 17:22 · hackernews
• Я попробовал тишину и соскучился по своим медленным мыслям
  Автор заметил, что привычка заполнять тишину подкастами и соцсетями заглушила его внутренний голос. Недавно он попробовал провести время в тишине и соскучился по своим медленным мыслям.
  13.08.2026 18:37 · hackernews
• J.V. Noble строит конечные автоматы на Forth таблицей состояний
  J.V. Noble из Университета Вирджинии строит конечные автоматы на Forth таблицей состояний, а не вложенными IF. Так делают и детерминированные, и недетерминированные автоматы для чисел и FORTRAN-идентификаторов.
  08.08.2026 17:38 · hackernews
• SparrowMap следит за теми, кто следит
  SparrowMap — карта, которая следит за теми, кто следит. Волонтёры наводят камеры на улицы, распознают правительственные машины, лишнее стирают, наружу уходят только анонимные точки.
  14.08.2026 00:10 · hackernews
• Google и Anthropic прячут в текст моделей невидимую метку
  Google и Anthropic прячут в текст своих моделей невидимую метку: она живёт в выборе слов и переживает копирование. Обнаружить её может только держатель ключа — это строгий тест, а не AI-детектор.
  13.08.2026 23:16 · hackernews
• Bluesky запустила Protocol Services: Jetstream v2 с Network Replay
  Bluesky запустила Bluesky Protocol Services — новый сайт для публичной инфраструктуры на AT Protocol. Jetstream v2 с Network Replay отдаёт архив и live tail без разрыва, плюс TypeScript и Go SDK.
  14.08.2026 00:14 · hackernews
• GoAccess: показывает статистику и подозрительную активность через SSH
  GoAccess — быстрый анализатор логов: по SSH показывает статистику сервера в реальном времени и подозрительную активность. Генерирует HTML-отчёт, JSON и CSV.
  13.08.2026 16:22 · hackernews
• systemd-journald раздул журнал и молотит диск на Debian 13 с XFS
  systemd-journald в systemd 257.9 на Debian 13 с XFS молотит диск: ~50 IOPS при двух строках лога в секунду, хотя syslog пишет на порядок легче. Формат хранения раздут и ненадёжен — журнал повреждается после сбоев.
  13.08.2026 18:41 · hackernews
• Компакция спасает кодинг-агентов от лимита контекста
  Длинная сессия в кодинг-агентах вроде Pi, Claude Code или Codex упирается в лимит контекста. Compaction сжимает историю через LLM-запрос: Pi делает это автоматически или по /compact, оставляя последние сообщения и добавляя сводку.
  13.08.2026 17:57 · hackernews
• Гёдель доказал: любая система аксиом неполна
  В 1931 году Курт Гёдель доказал: любая система аксиом математики неполна — в ней есть истинные утверждения, которые нельзя доказать. И она не способна доказать собственную непротиворечивость.
  13.08.2026 19:44 · hackernews
• EU AI Act с 2026 обяжет метить ИИ-текст, но их легко снять пересказом
  С августа 2026 EU AI Act требует, чтобы текст ИИ был detectable as artificially generated — провайдерам придётся ставить водяные знаки. OpenAI, Anthropic и другие внедрят SynthID и юникод-метки, но их легко снять перефразированием.
  13.08.2026 15:07 · hackernews
• Не тохары, а ārśi и kuśiññe: восточный centum сломал модель
  Tocharian A и B — близкие индоевропейские языки из Восточного Туркестана (VI–VIII века). Название «тохарские» ошибочно, сами носители звали себя ārśi и kuśiññe; это самый восточный centum-язык, сломавший старую модель.
  13.08.2026 17:15 · hackernews
• MCP-Memory дарит AI-агентам долговременную память, поиск быстрее 20 мс
  MCP-Memory — MCP-сервер, дающий AI-агентам долговременную память. Работает с Claude Desktop, Cursor, Antigravity, Windsurf и Codex, хранит записи в OKF и индексирует через SQLite — поиск ключей быстрее 20 мс.
  13.08.2026 13:57 · hackernews
• NP-трудные задачи решаются быстро: алгоритмы ускорились в 450 млрд раз
  Миф о безнадёжности NP-трудных задач развеян: на практике они решаются быстро. Даже SAT и SMT работают в промышленных масштабах, а алгоритмы за 25 лет ускорились в 450 миллиардов раз.
  13.08.2026 20:14 · hackernews
• Собрал домашний AI data center из хлама и запустил Deepseek V4 Flash
  Чтобы не зависеть от облака, автор собрал домашний AI data center из хлама: GPU AMD V620 (32GB VRAM) с eBay, материнка X299 и Core i9 10900X. Запустил Deepseek V4 Flash через llama.cpp и сделал контроллер вентиляторов на Arduino Nano.
  13.08.2026 16:22 · hackernews
• Создатель ENIAC предсказал карманные компьютеры в 1967 году
  Пионер вычислительной техники Джон Мокли создал ENIAC, UNIVAC и другие первые компьютеры. Его архив хранится в Kislak Center, а в 1967-м он предсказал карманные компьютеры.
  11.08.2026 13:55 · hackernews
• Коэн доказал фрактальный принцип неопределённости высших размерностей
  Алекс Коэн доказал фрактальный принцип неопределённости в старших размерностях. Подсказка из записей Бургейна опиралась на теорему Бёрлинга—Маллявена, и Коэн не знал, что метод известен.
  13.08.2026 14:22 · hackernews