News Digest

• SpecForge представил Lilo с always/eventually и VSCode-расширение
  SpecForge показывает язык Lilo для темпоральных спецификаций гибридных систем: always, eventually и интервалы задают поведение сигналов, а VSCode-расширение даёт мониторинг трейсов, генерацию примеров и поиск контрпримеров.
  29.07.2026 10:35 · hackernews
• Сергей Корниенко показал bullshit-detector для AI-агентов с BS score
  Сергей Корниенко открыл bullshit-detector — портативные навыки для AI-агентов, которые извлекают утверждения из видео и статей, ищут источники и дают вердикт с BS score от 0 до 10.
  29.07.2026 12:58 · hackernews
• Умер Kavinsky: его Nightcall превратил саундтрек Drive в синтвейв-гимн
  Французский диджей Kavinsky найден мёртвым в Париже в 50 лет — его главный хит Nightcall превратил саундтрек фильма Drive в синтвейв-гимн.
  29.07.2026 11:54 · hackernews
• Вакцина LJI и Scripps вызвала рекордный антительный ответ на ВИЧ у макак
  Вакцина LJI и Scripps Research научила макак массово вырабатывать broadly neutralizing антитела — рекордный антительный ответ против ВИЧ у животных. Человеческие испытания уже идут.
  28.07.2026 13:12 · hackernews
• Berkeley sockets сделали сеть просто файлом в Version 4.2BSD
  В 1983 году Version 4.2BSD принёс миру Berkeley sockets. Sockets повторно использовали файловый дескриптор, и любая программа, умеющая читать и писать файл, легко научилась работать с сетью.
  29.07.2026 02:25 · hackernews
• XPIAs: скрытые промпты заставляют Microsoft Copilot подменять данные
  Скрытые инструкции в документах запускают атаку XPIAs, заставляя Microsoft Copilot подменять данные и копировать вредоносный промпт в новые файлы. Microsoft не исправила архитектурную проблему — LLM не отделяет внешние данные от команд.
  29.07.2026 11:44 · hackernews
• Даг Хойт сделал не‑Flub Forth поверх Flub на макросах Common Lisp
  Даг Хойт построил реализацию Forth на Common Lisp исключительно на макросах, запуская cons threaded code через макрос-интерпретатор forth-inner-interpreter. Эксперимент доказывает: макросы возвращают контроль и позволяют создать не-Flub реализацию Forth поверх Flub-инструментов.
  26.07.2026 17:37 · hackernews
• Бросить сайт ради Substack — цифровое издольщичество
  Бросать сайт ради Substack — цифровое издольщичество. Публикуйте на своём сайте, а Substack и соцсети используйте только для дистрибуции.
  28.07.2026 16:58 · hackernews
• Valve спонсирует порт RADV на Windows, но CS2 пока сыроват
  Открытый Vulkan-драйвер RADV портировали на Windows — Counter-Strike 2 уже запускается с ключом -vulkan. Valve спонсирует порт, но до стабильной работы ещё далеко: мешают проприетарный KMD и отсутствие быстрого вывода через DXGI swapchains.
  29.07.2026 04:30 · hackernews
• Как SQLite с WAL и mmap обходит PostgreSQL: задержка меньше миллисекунды
  SQLite с WAL, mmap и VFS-репликацией через Litestream/LiteFS убирает сеть и выдаёт задержки меньше миллисекунды — для read-heavy проектов до пары сотен гигабайт он быстрее и проще PostgreSQL.
  29.07.2026 07:18 · hackernews
• Zig получил инкрементальную компиляцию: правки за 50–70 мс
  Компилятор Zig обзавёлся инкрементальной компиляцией: после первой сборки правки кода пересобираются за 50–70 мс. Пока что нужна master-ветка или версия 0.17.0, и работает только на x86_64-linux.
  28.07.2026 15:46 · hackernews
• Замеряем оверхед eBPF-хуков при открытии файла: perf record+flamegraph
  Профилирование eBPF-хуков: бенчмарк открытия файла под perf record и flamegraph выявляют, сколько CPU уходит на bpf_lsm_file_open и bpf_probe_read_kernel. Так можно замерить оверхед любого eBPF-кода и найти точки для оптимизации.
  28.07.2026 15:55 · hackernews
• Transformer Transformer создаёт конструкцию робота по одному движению и снижает ошибку на 73%
  Transformer Transformer по одной демонстрации движения генерирует конструкцию робота с diffusion transformer и RoboTokens. В тесте с ALOHA 2 ошибка траектории снизилась на 73%, скорость суставов на 30%, метод обошёл эволюционный базовый уровень.
  29.07.2026 03:52 · hackernews
• PHP и Lua нарушают монотонность из-за хитрой оптимизации log10
  PHP и Lua ломают монотонность log₂.₉₃(10+2⁻⁴⁹) < log₂.₉₃(10) — виновата оптимизация, которая для base=10 дёргает log10 напрямую, а для близкого числа считает через ln(x)/ln(a).
  23.07.2026 14:00 · hackernews
• Kimi K3 — первая frontier-модель, отказавшаяся от RoPE
  Опубликована схема Kimi K3 — мультимодальной открытой модели на 2.8 трлн параметров. Это первая frontier-модель, полностью отказавшаяся от RoPE и использующая NoPE, LatentMoE и attention residuals для снижения стоимости инференса.
  28.07.2026 15:48 · hackernews
• Физика+вычисления: Уилкерсон разнёс Гельмгольца и вывел Major Scale
  Дэниел Шокросс Уилкерсон вывел Major Scale, Standard Chord Dictionary и природу мажора/минора, соединив физику с вычислениями, и разнёс теорию консонанса Гельмгольца.
  28.07.2026 15:20 · hackernews
• 7 лет изоляции и год с Тейлором: Уайлс доказал теорему Ферма
  Эндрю Уайлс с детства мечтал доказать Великую теорему Ферма — через 7 лет изоляции и год починки с Тейлором ему это удалось.
  27.07.2026 20:42 · hackernews
• Эндрю Ын запустил LearnVector — AI-гид с курсами Coursera и Udemy
  Эндрю Ын запустил LearnVector, чтобы заменить универсальные курсы персональным AI-гидом: стартап работает с контентом Coursera и Udemy и обещает не чат-бота, а наставника, который подстраивается под стиль и ведёт до настоящего освоения навыков.
  29.07.2026 01:49 · hackernews
• Дикий, но культовый: утилиты демосцены с неповторимым интерфейсом
  Демосцена породила ворох утилит с диковатыми, но обаятельными интерфейсами. Трекеры ProTracker и Fasttracker II, ассемблер AsmOne, копировщик X-Copy и генератор синусов Elite Sinus Producer — все со странным, но культовым интерфейсом.
  29.07.2026 04:30 · hackernews
• Wayland и sway готовы к multi-seat, а GTK 4 и SDL — нет
  Wayland и sway умеют несколько независимых курсоров, но GTK 4 игнорирует новые места, а SDL обнуляет ID мыши — готовых multi-seat приложений нет, всё приходится патчить самому.
  29.07.2026 00:59 · hackernews