News Digest

• Telegram запустил платформу Telegram Serverless для ботов и Mini App
  Telegram запустил Telegram Serverless — платформу для ботов и Mini App на своей инфраструктуре. Код — JavaScript, деплой через `npx tgcloud`, внутри — SQLite и SDK.
  15.07.2026 10:06 · hackernews
• DSL — настоящее решение для LLM в больших системах
  LLM плохо справляются с большими системами из-за множества мелких решений. Предметно-ориентированные языки (DSL) решают это: LLM легко генерируют код по описанию, а настоящий актив — DSL и семантическая модель, а не промпт.
  15.07.2026 10:11 · hackernews
• Профессор Каллард объяснила тревожность и сравнения через uni-context
  Профессор Агнесс Каллард объясняет нынешнюю тревожность и одержимость сравнениями через теорию «uni-context»: когда все границы стерты, побеждает негатив, важнее идентичность, чем характер, а всё сводится к одинаковым стандартам.
  14.07.2026 14:17 · hackernews
• SIDN Labs: maxLength в малых RPKI-серверах грозит BGP-перехватом
  Исследователи SIDN Labs выявили странности в малых независимых RPKI-серверах. В 91% случаев ROA валидны, но maxLength создаёт риски для BGP-перехвата, а некоторые серверы связаны со спамом.
  15.07.2026 06:38 · hackernews
• Tailscale 1.66.0 закрыл уязвимость с подменой source IP в Linux-нодах
  Tailscale закрыл уязвимость в Linux-нодах до версии 1.66.0 — при ACL с `"src": "*"` атакующий из той же LAN мог подменить source IP и атаковать другие узлы tailnet. В 1.66.0 внедрили три защиты: изменили `*`, включили stateful packet filtering и блокируют shared exit nodes.
  15.07.2026 01:08 · hackernews
• Математики доказали задачу Эрдёша №123 и формализовали её в Lean 4
  Решена задача Эрдёша №123: для любых попарно взаимно простых a,b,c>1 любое большое целое — сумма различных a^i b^j c^k без делимости слагаемых. Доказательство формализовано в Lean 4 (теорема Erdos123.erdos_123).
  15.07.2026 00:15 · hackernews
• Сисадмин Хэл Померанц разгромил босса в техспоре и лишился работы
  Сисадмин Хэл Померанц публично разгромил босса в техспоре, но выиграв битву, потерял доверие коллег и уволился. Вывод: помогай начальнику выглядеть хорошо, а споры решай за закрытыми дверями.
  10.07.2026 15:21 · hackernews
• США: богатство не конвертируется в здоровье (80%) и еду (81%)
  США, одна из богатейших стран мира, не конвертирует своё богатство в достойную жизнь граждан. По данным Human Rights Measurement Initiative, страна проваливается по здоровью (80%), еде (81%) и доходам (27%).
  15.07.2026 08:58 · hackernews
• Toyota Andon останавливает конвейер за два нажатия
  Система Andon — оповещение о проблемах на производстве. У Toyota процесс сложнее: два нажатия — запрос помощи и, если не решено, остановка конвейера.
  11.07.2026 19:49 · hackernews
• Глава RISC-V International заявил о готовности к серверам с RVA23
  Глава RISC-V International Крсте Асанович заявил о крепкой экосистеме и готовности к прорыву в серверный сегмент благодаря стандарту RVA23. Анонсированы опции оптимизации для производительности.
  15.07.2026 06:02 · hackernews
• Из Claude вытянули данные через веб-серфинг — уязвимость остаётся
  Ayush Paul вытянул из памяти Claude имя, работодателя и город через веб-серфинг — заставил ИИ переходить по ссылкам на сайте-ловушке. Anthropic отключил эту возможность, но уязвимость остаётся для любых подключенных сервисов.
  15.07.2026 06:28 · hackernews
• Agnost AI добавил наблюдаемость и авто-PR для MCP Toolbox for Databases
  Agnost AI встроил полную наблюдаемость в MCP Toolbox for Databases, а также автоматически находит баги в диалогах агентов и открывает PR для их исправления. За ночь было слито 16 из 18 автономных PR, а из чатов с пользователями извлекли 1 247 запросов на новые функции.
  14.07.2026 16:06 · hackernews
• Пратош AP добавил обратную связь в Vagdhenu после 2 млн просмотров
  Пратош AP из IISc создал Vagdhenu — нейросеть, читающую санскритские стихи как пандит. Инструмент получил 2 млн просмотров и 1500 скачиваний, а теперь автор добавляет обратную связь для исправления ошибок.
  11.07.2026 18:03 · hackernews
• Хлебный парадокс: почему SaaS не умрёт от дешёвого AI
  Хлебный парадокс объясняет, почему SaaS не умрёт: AI-код дешевле домашнего хлеба, но компании всё равно платят за готовый сервис, чтобы не чинить «хлебопечку» в час ночи.
  13.07.2026 18:23 · hackernews
• Microsoft Patch Tuesday: Anthropic взломала 13/14 маловероятных багов
  Microsoft выкатила рекордный Patch Tuesday — 570+ патчей (AI ускорила поиск), включая 60 critical и zero-day в Copilot и BitLocker. Индекс эксплуатации Microsoft критикуют: AI-модель Anthropic взломала 13 из 14 «маловероятных» уязвимостей.
  14.07.2026 21:32 · hackernews
• Зибенманн: с 18 апреля боты обязаны указывать URL вместо generic User-Agent
  Крис Зибенманн с 18 апреля 2026 блокирует запросы с generic User-Agent — боты обязаны указывать URL с пояснениями.
  10.07.2026 16:47 · hackernews
• 89% IP в Anubis — ботнеты из холодильников и роутеров
  89% IP из honeypot Anubis не значатся в базах угроз — это ботнеты взломанных холодильников, камер и роутеров, считает автор.
  14.07.2026 22:00 · hackernews
• Прист не дожил: Аллан выпустила биографию Балларда The Illuminated Man
  Кристофер Прист и Нина Аллан выпустили биографию Дж. Г. Балларда «The Illuminated Man», показывающую, как его жизнь в Шанхае и лагере для интернированных отразилась в его мрачных романах. Прист умер, Аллан дописала книгу.
  13.07.2026 21:57 · hackernews
• Океаны перестают поглощать тепло: к 2050 году потепление на 3°C
  Немецкие научные общества предупреждают: к 2050 году Земля может прогреться на 3 °C. Учёные Клаус Рихтер и Франк Бёттхер в интервью Die Zeit заявили, что океаны перестают поглощать тепло, а климат меняется быстрее прежних оценок IPCC.
  15.07.2026 01:43 · hackernews
• Настоящие Powerbook и CM-5 из Парка Юрского периода стоили $4 млн
  В «Парке Юрского периода» разобрали все устройства — от Apple Powerbook 100 до суперкомпьютера Thinking Machines CM-5. Оборудование было настоящим, Apple и SGI одолжили его на $1,225 млн (сегодня ~$4 млн).
  15.07.2026 02:57 · hackernews