News Digest

• Moonshot AI опубликовала веса модели Kimi K3.1 Pro
  Kimi K3.1 Pro — мультимодальная MoE-модель с 2,8 трлн параметров, 104 млрд активных на токен и контекстом до миллиона токенов. Веса опубликованы, API доступен через OpenAI- и Anthropic-совместимый интерфейс.
  04.11.2026 15:30 · hackernews
• Anthropic представила прототип доказуемого инференса FlashProve
  FlashProve создаёт криптографические доказательства того, что ответ получен от заданной модели, не раскрывая её веса. Для Llama 4 Maverick прототип достиг 110 токенов в секунду на одной H100.
  04.11.2026 17:17 · hackernews
• Go 1.27 получил стабильный API encoding/json/v2
  В Go 1.27 стабилизировали encoding/json/v2 и encoding/json/jsontext. Новый API строже обрабатывает JSON, поддерживает потоковую работу и ускоряет Unmarshal в отдельных тестах до 10 раз.
  04.11.2026 17:52 · hackernews
• Kagi призвала не связывать школьный поиск с обязательным AI
  Kagi раскритиковала Google за связку школьного поиска с AI-функциями. Компания считает, что школы должны сами решать, когда использовать AI, и предлагает свой платный поиск без рекламы.
  04.11.2026 18:33 · hackernews
• PC Deal Check оценивает цену готового ПК по комплектующим
  PC Deal Check сравнивает цену готового ПК с рыночной оценкой его комплектующих и выдаёт отчёт с оценкой сделки. В публичной бета-версии проверки в США бесплатны и не требуют аккаунта.
  04.11.2026 15:25 · hackernews
• Ladybird вынес рендеринг из главного потока и добавил JIT
  В октябре Ladybird вынес стили и раскладку из главного потока, добавил JIT для JavaScript и заменил WebAssembly-движок. Проект также обогнал Safari Technology Preview по числу пройденных WPT.
  04.11.2026 17:59 · hackernews
• Ricursive выпустила открытую модель Ripple-65B Preview
  Ricursive опубликовала Ripple-65B Preview с контекстом до миллиона токенов. Компания заявляет результат 80,52 в TerminalBench 2.1 и называет модель лучшей среди открытых американских моделей в агентном программировании.
  04.11.2026 18:53 · hackernews
• Писатель исследовал дело осуждённого, который стал его другом
  Эдвард Абель Смит начал изучать дело Робина Гарбатта, осуждённого за убийство жены, и постепенно подружился с ним. Ошибки следствия и новые материалы усилили сомнения автора, но не дали окончательного ответа.
  04.11.2026 18:40 · hackernews
• Linux на Nvidia RTX Spark замедляет inference почти в пять раз
  Тест MSI Prestige с RTX Spark показал 13,9 токена/с в Linux против 65,4 в Windows. Причина оказалась в управлении питанием GPU, а WSL сохранил почти полную скорость.
  04.11.2026 08:46 · hackernews
• Как в ранних версиях Unix управляли памятью
  Разбор исходников Unix V4–V10 показывает забытые подходы к выделению памяти: линейные арены, явные области, откат указателя и даже сборку мусора для C.
  04.11.2026 07:37 · hackernews
• Catlang компилирует программы в один большой SQL-запрос
  Экспериментальный Catlang превращает программу в один SELECT для PostgreSQL. Его промежуточное представление использует стрелки и операции теории категорий вместо обычных переменных и вызовов.
  04.11.2026 03:11 · hackernews
• Почему option-типы оказались сложнее, чем кажутся
  Автор языка Copper сравнил union- и option-типы, явное и автоматическое уточнение nil. Опция помогла найти ошибки, но усложнила язык и компилятор.
  02.11.2026 20:08 · hackernews
• Почему проверяемый результат ещё не становится знанием
  Джессика Халлман утверждает, что науке недостаточно формально верных ответов AI: знание требует критики, ответственности авторов и людей, способных оценивать результаты.
  04.11.2026 09:01 · hackernews
• GitHub устранил сбой Pull Requests, Issues и Git-операций
  4 ноября сбой GitHub затронул Git-операции, Pull Requests, Issues, API и Actions. К 11:50 UTC сервис объявил инцидент разрешённым и пообещал публиковать анализ причин.
  04.11.2026 10:00 · hackernews
• PHP2Shell показал, как AI обнажает старый технический долг
  Исследователи при помощи AI превратили старую ошибку PHP в критическую уязвимость PHP2Shell. Патч занял два месяца, а эксперты спорят, как ускорить исправление таких ошибок.
  04.11.2026 11:52 · hackernews
• Хинтон допустил, что человечеству было бы лучше без AI
  Джеффри Хинтон предупредил о риске крупного AI-инцидента и раскола общества. Он поддержал обязательные независимые испытания моделей, но сохраняет надежду на управляемое развитие технологии.
  04.11.2026 10:23 · hackernews
• Milkman: расширяемая альтернатива Postman без Electron
  Milkman — рабочая среда на JavaFX для HTTP, GraphQL, gRPC и баз данных. Плагины добавляют тесты, синхронизацию через Git, OAuth и другие возможности без обязательной учётной записи.
  04.11.2026 08:58 · hackernews
• Synaptics пригрозила судом разработчику открытого драйвера Vino
  Разработчик убрал из открытого доступа Rust-драйвер Vino для DisplayLink после претензий Synaptics. Компания ссылается на патенты, а он просил конкретные формулировки и лицензию.
  04.11.2026 11:14 · hackernews
• Debian исправил опасную уязвимость APT CVE-2026-109518
  Уязвимость APT позволяла MITM-атакующему подменить пакет после проверки и выполнить код от root. Debian рекомендует обновиться: в trixie проблема исправлена в APT 3.0.4.
  04.11.2026 12:46 · hackernews
• Для смены часов в Renault пришлось взломать мультимедиа
  Владелец Renault Latitude 2014 года обнаружил, что без навигационной SD-карты нельзя изменить часы. После исследования прошивки он получил доступ к системе и исправил смещение времени.
  02.11.2026 16:29 · hackernews