News Digest

• Prolog упрощает поиск сложных комбинаций Pokémon в вебе
  Prolog упрощает поиск сложных комбинаций Pokémon, которые в таблицах реализуются грязными формулами. Автор переносит такую логику из электронных таблиц в веб-приложения.
  15.05.2026 11:02 · hackernews
• Молния Firefox против блокировки VPN для детей
  В Великобритании обсуждают блокировку VPN для детей, но Mozilla убеждает регулятора, что это подрывает приватность. Вместо ограничений стоит учить цифровой грамотности и наказывать платформы за вредоносный контент.
  17.05.2026 06:17 · hackernews
• Storica сохранила математические шутки в адаптированной «Алисе
  Сказка «Алиса» скрывает математические шутки про системы счисления и геометрию. Издательство Storica адаптировало книгу, сохранив этот скрытый смысл для изучающих язык.
  14.05.2026 13:28 · hackernews
• Грузовой фургон с «виртуальными» препятствиями превращает дорогу в смертельную ловушку
  Компания LED Truck Media оснастила грузовик сверхяркими панелями, превращающими дорогу в опасную трассу из Mario Kart с «виртуальными» летающими объектами. Автор призывает запретить такие эксперименты, угрожающие безопасности водителей.
  16.05.2026 00:21 · hackernews
• Node.js скрипт auto-identity-remove удаляет аккаунт с 500 баз через iMessage
  Скрипт `auto-identity-remove` на `Node.js` убирает профиль пользователя с 500 баз данных через `iMessage` раз в месяц. Работает локально с `CapSolver` для капч и ручным вызовом через `run.sh` без подписок.
  18.05.2026 11:32 · hackernews
• Запрет assertz и вывод в терминал ломают поиск решений
  Избегайте нечистых конструкций, `assertz/1` и вывода в терминал: код перестанет искать решения. Переходите на декларативные предикаты `#>` и `#=` вместо `is`, чтобы программа работала для всех запросов.
  17.05.2026 21:15 · hackernews
• ИИ удешевил синтаксис, но архитектурные барьеры остались
  «Вайбового программирования» не существует — двух лет инструментов и миллионов пользователей в мире артефактов нет. ИИ удешевил только синтаксис, в то время как реальные барьеры на уровне архитектуры остались. Это и есть суть обвинений: создание утверждений без доказательств, которое вредит морали и заставляе молчать.
  18.05.2026 09:28 · hackernews
• Команда Anthropic анонсировала Grid2Poster для детальных карт электропередач
  Команда открыла Grid2Poster: инструмент на базе OpenStreetMap, создающий детальные постеры сетей электропередач. Приложение генерирует PNG и SVG с фильтрами по кабелям и включает зоны от Африки до Глобуса.
  17.05.2026 22:47 · hackernews
• Магнитный проектор Magcubic с трояном в прошивке продаёт ваши IP
  Магнитный проектор Magcubic скрывает в прошивке троян, продающий IP пользователя и отключающий Play Protect. Исследование с Claude Code разоблачило ложную упаковку от Hotack и скрытый C2-сервер в коде.
  18.05.2026 00:36 · hackernews
• Материал пиридинон собирает солнечную энергию и кипятит воду
  Ученые из Калифорнийского университета в Санта-Барбаре представили материал пиридинон для Molecular Solar Thermal. Он аккумулирует энергию солнца и кипятит воду без батарей.
  17.05.2026 18:42 · hackernews
• ThinkPad X220 стал последним ремонтопригодным ноутбуком со сменной памятью
  ThinkPad X220 стал последним mainstream-ноутбуком с обновляемой памятью и сменными деталями. Он закрыл эру ремонтопригодных ThinkPad перед переходом к пайке компонентов.
  17.05.2026 21:56 · hackernews
• Уязвимость Fabricked ломает защиту AMD и даёт доступ к памяти VM
  Уязвимость Fabricked (CVE-2025-54510) через изменение UEFI нарушает работу SEV-SNP и даёт доступ к памяти виртуальных машин. Атака ломает защиту маршрутизации Infinity Fabric на процессорах AMD Zen 3/4/5 EPYC.
  17.05.2026 22:23 · hackernews
• В стекле Тринитит нашли новый клатрат кремния с металлами
  В стекле «Тринитит» учёные нашли новый клатрат из кремния с кальцием, медью и железом. Экстремальный взрыв создал уникальную структуру, которую ранее не воспроизводили в лабораториях.
  15.05.2026 23:54 · hackernews
• Георг Дорон Шееренberger: сильные леммы эффективнее теорем
  Гёрг Дорон Шееренberger утверждает, что сильные леммы вроде работы Эндре Шемередини лучше теорем. Такие леммы универсальны, красивы и работают во всех задачах, включая прорыв Грина-Тао.
  16.05.2026 05:56 · hackernews
• jank устранил проблемы с компиляцией C++
  C++ медленный из-за компиляции и Boxing. Автор `jank` исправили: ушли от мусора, встроили функции и ускорили память. *(210 символов)*
  15.05.2026 17:17 · hackernews
• Эрик Шмидт в Аризоне признал страхи общества перед ИИ
  Эрик Шмидт услышал свист на церемонии в Университете Аризоны, признав страхи по поводу ИИ и разрушения рынка труда. Silicon Valley снова не понял аудиторию, игнорируя опасения общества насчет технологий.
  17.05.2026 18:37 · hackernews
• Поколение Z доверяет ChatGPT и Copilot, но боится за будущее
  Специалисты оптимистичны, но общество тревожно из-за ИИ, а контроль над технологиями остается низок. Поколение Z активно использует ChatGPT и Copilot, но доверяет им мало из-за страха за будущее.
  18.05.2026 01:39 · hackernews
• 16-байтовый проект Wake Up! 16b рисует фракталы и играет музыку
  Проект wake up! 16b рисует фрактал и играет музыку, используя всего 16 байт кода. Алгоритм манипулирует памятью VGA через инструкции x86, управляя звуком и графикой прямо на экране DOS.
  17.05.2026 23:10 · hackernews
• Anthropic запускает GenCAD для создания CAD-моделей по картинке
  Команда представляет GenCAD: по картинке генерирует параметрический CAD-код и историю команд для создания точных B-rep моделей. Это решает проблему упрощённых вокселей и открывает автоматизацию инженерного проектирования.
  17.05.2026 21:40 · hackernews
• Патрик Шлотт превращает телефонные автоматы в бесплатные сети связи
  Инженер Патрик Шлотт превращает старые телефонные автоматы в бесплатные станции связи по всему Вермонту. С помощью VoIP и донатов он обеспечивает доступ к сети в школах и отдалённых районах.
  17.05.2026 19:39 · hackernews