News Digest

• CTGT 120B обходит Kimi K3 в финансах, цензура DeepSeek не передалась
  CTGT показала, что дистилляция на математических задачах не переносит политическую цензуру от DeepSeek V4 Flash — ученик умалчивать неудобные темы не научился. При этом CTGT 120B обходит Kimi K3 в FinanceReasoning, а самодистилляция работает не хуже учителя.
  30.07.2026 18:13 · hackernews
• Celly: 2456 тестов cel-spec, быстрее cel-go и protovalidate для .NET
  Celly — чистая C#-реализация CEL, прошедшая все 2456 тестов из cel-spec и обгоняющая cel-go. Из неё выросла первая библиотека protovalidate для .NET, всё уже на NuGet.
  27.07.2026 20:01 · hackernews
• Читатель за 50 евро собрал тент, сворачиваемый за полминуты
  Из оцинкованного троса и ткани читатель собрал тент для балкона за 50 евро — южная сторона больше не выжигает солнцем, а конструкция сворачивается за полминуты.
  25.07.2026 15:59 · hackernews
• Governing Board OpenJDK временно запретила LLM и diffusion-модели
  Governing Board OpenJDK временно запретила контент от LLM и diffusion-моделей в коде, PR и issues — причины: перегрузка ревью, угрозы безопасности JDK и юридические риски.
  30.07.2026 12:36 · hackernews
• wmo превращает трейсы в open-source, экономя 27% затрат на RouterBench
  wmo превращает трейсы агентов в open-source модели через Tinker API, роутит запросы между frontier- и лёгкими моделями: на RouterBench качество то же, затраты -27%, и новые трейсы улучшают модель.
  26.07.2026 23:35 · hackernews
• SDL_gp учит SDL3 рисовать лаконичную 2D-графику
  Появился SDL_gp — порт sokol_gp на SDL3 с собственным управлением ресурсами. Библиотека позволяет лаконично рисовать 2D-графику через Painter API и выпущена под MIT.
  30.07.2026 14:36 · hackernews
• Европейские сборные объявили бойкот FIFA из-за продажи долей World Cup
  UEFA и 55 ассоциаций отвергли план FIFA продать доли в World Cup. Европейские сборные отказываются от турниров FIFA, пока предложение не отзовут и не дадут гарантий.
  30.07.2026 18:40 · hackernews
• Grafana открыла ai-sdk: замена TypeScript-бэкенда на Go без адаптеров
  Grafana открыла `ai-sdk` — Go-пакет с единым API для LLM, стриминга и инструментов, совместимый с Vercel AI SDK: можно заменить TypeScript-бэкенд на Go без адаптеров. Поддерживаются Anthropic, Bedrock, OpenAI, лицензия Apache License 2.0.
  30.07.2026 11:55 · hackernews
• 38 000 ТВ-боксов H96 скрыто кликают как Samsung и Huawei на $50K/день
  Исследователь BitSight перехватил трафик 38 000 заражённых ТВ-боксов H96: они притворяются телефонами Samsung и Huawei и приносят операторам почти $50 000 в день на скрытом кликфроде.
  30.07.2026 17:04 · hackernews
• Агенты хитрят через API: Steelman Labs учит работать напрямую с GUI
  Агенты обходят интерфейс через API и скрипты, достигая на OSWorld-V2 лишь 20,6%, а Steelman Labs предлагает vision-first манипулятор для честной работы с GUI.
  30.07.2026 11:28 · hackernews
• Falcon 9 врежется в Луну: астроном назвал точную дату
  5 августа 2026 года верхняя ступень Falcon 9 врежется в Луну — астроном точно предсказал падение. Удар напоминает о проблеме космического мусора, но людям ничего не угрожает.
  30.07.2026 13:21 · hackernews
• Lean стал стандартом, но AI и институциональные деньги дадут шанс Metamath
  Три года назад упустили момент, и сейчас Lean стал стандартом де-факто. Но для новой альтернативы вроде Metamath может открыться окно благодаря AI и вопросам к soundness — всё упрётся в институциональные деньги.
  30.07.2026 11:45 · hackernews
• AI-агент на Rust перестал читать весь файл и сократил токены на 83%
  Рефакторинг AI-сгенерированной кодовой базы на Rust сократил входные токены на 83% — агент перестал читать весь гигантский файл и научился смотреть только нужные модули.
  30.07.2026 15:10 · hackernews
• RFC 8890: IAB призвал IETF ставить конечных пользователей выше всех
  IAB выпустил RFC 8890 «The Internet is for End Users» — документ призывает IETF в конфликтах выбирать пользу для конечных пользователей, а не для провайдеров или государств.
  30.07.2026 13:07 · hackernews
• Dendrites и оценка зрелости CATL 4/9 тормозят Solid-state batteries
  Solid-state batteries обещают более безопасные и лёгкие аккумуляторы за счёт твёрдого electrolyte и анода из metallic lithium вместо graphite, но процветание dendrites и оценка зрелости от CATL на 4 из 9 тормозят коммерческий запуск.
  30.07.2026 12:38 · hackernews
• Arduino жрёт на 35% больше ESP-IDF и ловит Stack Overflow на ESP32-C6
  ESP-IDF экономичнее всех (24.77 мА) на ESP32-C6, Arduino в простое жрёт на 35% больше и падает со Stack Overflow, Zephyr сливает 2–3 мА, но переносим.
  25.07.2026 18:27 · hackernews
• Z3/Dafny: 4 строки в день, а TLA+ не взлетает без доверия
  Полная верификация кода упирается в чудовищную трудоёмкость (Z3, Dafny — 4 строки в день) и не вытесняет тесты, а model checker’ы для дизайна вроде TLA+ тормозит нежелание программистов доверять не-коду.
  30.07.2026 12:21 · hackernews
• Конкурентность, интерактивность, мутабельность — выберите два
  Совместить конкурентность, интерактивность и мутабельность без боли невозможно: C, Rust, Go жертвуют интерактивностью, Python и Ruby — конкурентностью (GIL), а Erlang — мутабельностью, копируя данные.
  27.07.2026 06:38 · hackernews
• Британия слезла с оптической иглы Zeiss и Schott за пару лет
  Британия начинала Первую мировую без оптики, завися от Zeiss и Schott. Но всего за пару лет с нуля построила мощное производство оптического стекла.
  27.07.2026 14:18 · hackernews
• Коптская магия» запускает серию: ангелы Michael и Tartarouchos
  Блог «Коптская магия» начинает серию об ангелах: в позднеантичном Египте их считали бесплотными агентами Бога, а имена вроде Michael или Tartarouchos записывали для защиты и проклятий.
  26.07.2026 18:57 · hackernews