News Digest

• AI Opus 4.8 первым верифицировал пересечение многоугольников на Lean 4
  Первая формально верифицированная реализация пересечения многоугольников на Lean 4 — код написан AI-агентом Opus 4.8, а корректность доказана Lean checker.
  04.06.2026 22:06 · hackernews
• PQ сжимает SIFT-вектор в 64 раза, codebook в L2
  Product Quantization (PQ) сжимает 128-мерный SIFT-вектор до 8 байт: разбивает на 8 подвекторов, у каждого свой словарь из 256 центроидов. Codebook занимает 128 КБ — помещается в L2 кэш, сжатие в 64 раза.
  04.06.2026 13:54 · hackernews
• Panasonic ERB-RE2R00V оживил Sigma 45mm f/2.8 I-series за минуту
  Неработающий Sigma 45mm f/2.8 I-series, купленный на eBay, отказал из-за сгоревшего предохранителя. Замена на Panasonic ERB-RE2R00V за минуту вернула объективу жизнь.
  06.06.2026 00:33 · hackernews
• ESP32 Bit Pirate превращает ESP32 в хакерский инструмент за один клик
  ESP32 Bit Pirate — открытая прошивка, превращающая ESP32 в хакерский инструмент с поддержкой I2C, UART, SPI, Bluetooth, Wi-Fi, Sub-GHz и RFID. Устанавливается в один клик через веб-флешер, управляется по USB или через Wi-Fi.
  05.06.2026 07:40 · hackernews
• Двоение и floaters: разработчики переходят на тёмную тему
  Роберт Брин к вечеру стал видеть две строки таблицы вместо одной, а Брайс Рэй перешёл на тёмную тему из-за плавающих помутнений (floaters). У автора была отслойка стекловидного тела на левом глазу, и на светлой теме видно гораздо хуже.
  05.06.2026 18:30 · hackernews
• Еврокомиссия объявила стратегию техсуверенитета: Chips Act 2.0, CADA
  Еврокомиссия объявила стратегию технологического суверенитета: от чипов до AI и облаков. В основе — Chips Act 2.0, CADA, EU Open Source Strategy и дорожная карта для энергетики.
  05.06.2026 10:44 · hackernews
• В GPS 20 лет транслируют военный шифротекст, связанный с OTAD
  В служебном поле GPS уже 20 лет открыто транслируют военный шифротекст. Исследователи проанализировали 19 лет данных и нашли паттерны, связанные с системой OTAD.
  05.06.2026 12:56 · hackernews
• Любой IP KVM от $25 до $270 — открытая дверь в вашу сеть
  IP KVM дают удалённый доступ к клавиатуре, мыши и видео даже при выключенной ОС. Рынок предлагает варианты от PiKVM ($270) до JetKVM ($103) и DezKVM-Go ($25), но любое такое устройство — открытая дверь в сеть.
  05.06.2026 14:30 · hackernews
• Microsoft планирует сделать AI-ассистента Scout аддиктивным
  Microsoft планирует сделать нового AI-ассистента Scout аддиктивным, чтобы позже наращивать функции. Это прямо следует из внутреннего документа.
  05.06.2026 22:12 · hackernews
• Google ужал Gemma 4 до 1 ГБ для запуска на обычных GPU
  Google выпустил QAT-чекпоинты Gemma 4, сжимающие E2B до 1 ГБ — это позволяет запускать модель на обычных GPU и edge-устройствах.
  05.06.2026 16:18 · hackernews
• Из-за AI люди пишут всё подряд, порождая код-мусор
  Не писать код — мощная стратегия. Но из-за AI люди перестали выбирать и строят всё подряд, превращая код в нечитаемый мусор.
  04.06.2026 18:31 · hackernews
• Опреснитель на фемтосекундных лазерах: без токсичного рассола и с литием из озера
  Учёные из University of Rochester создали солнечный опреснитель на фемтосекундных лазерах — он не оставляет токсичного рассола и самоочищается за счёт эффекта кофейного кольца. Технология уже извлекла до 50% лития из воды Большого Солёного озера.
  05.06.2026 15:04 · hackernews
• SpaceX сдаст Google 110 000 GPU Nvidia за $920 млн в месяц
  SpaceX и Google заключили сделку на $920 млн в месяц: Google арендует 110 000 GPU Nvidia и другое оборудование в дата-центрах SpaceX.
  05.06.2026 20:06 · hackernews
• Джесси Хэнли (Bento): делай сложное — меньше конкурентов
  Делай самое сложное: меньше конкурентов, выше ценность. Джесси Хэнли (Bento) советует браться за задачи, от которых другие бегут — как Stripe, Shopify, Transistor.
  04.06.2026 16:07 · hackernews
• Плохие тесты AI-агентов спасают SEF и старые принципы
  AI-агенты пока плохо пишут тесты, но с навыком Specify-Encode-Fulfill (SEF) автора ситуация улучшается. Дополнительные ревьюверы Test Design Review и Software Design Review ловят ошибки, а главный прирост даёт следование старым принципам.
  04.06.2026 14:10 · hackernews
• Скандал с rsync: AI-отчёты CVE вызвали баги, не Claude
  Вокруг утилиты `rsync` разразился скандал: пользователи обвинили ИИ `Claude` в багах. Статистика показала — рост ошибок связан не с ним, а с наплывом AI-сгенерированных CVE-отчётов, из-за которых делали срочные правки безопасности.
  05.06.2026 12:43 · hackernews
• GitHub добавил SMS и email уведомления об инцидентах для Slack и Teams
  GitHub теперь позволяет получать уведомления об инцидентах с чат-интеграциями (Slack, MS Teams) по SMS (с верификацией через OTP) или email.
  05.06.2026 19:15 · hackernews
• Lowfat фильтрует вывод консоли и сокращает токены AI-агентов
  lowfat — лёгкая CLI-утилита для фильтрации вывода консольных команд, сокращающая расход токенов AI-агентами. Работает с Claude Code, OpenCode, Pi agent и напрямую через пайпы.
  05.06.2026 09:10 · hackernews
• GDS заменила Stripe на Adyen для GOV.UK Pay за £25,3 млн
  GDS заменила Stripe на нидерландскую Adyen для GOV.UK Pay. Контракт на три года стоит до 25,3 млн фунтов.
  05.06.2026 16:55 · hackernews
• Нидерланды отдадут DigiD только европейцам
  Нидерланды отдадут управление DigiD только европейским компаниям — следующий тендер пройдёт по закону ADV. Данные в DigiD и MijnOverheid теперь шифруются лучше.
  05.06.2026 14:48 · hackernews