Инженер Spotify описал, как с помощью Portal и двух режимов работы (bulk-reader и code-writer) удалось сократить расход токенов Claude Code на 90%. Решение использует маршрутизацию задач между дорогостоящей frontier моделью и более экономичной worker моделью.
Mullvad закрывает свои публичные серверы зашифрованного DNS (DoH), которые работают с 2022 года. Вместо этого компания будет финансово поддерживать Quad9 — признанного лидера в области приватного DNS-сервиса. Пользователям нужно перейти на новые серверы до 2 ноября 2026 года.
OpenTrailPaper — прошивка для платы LilyGO T5S3 с 4,7-дюймовым e-paper дисплеем, которая превращает её в навигационный компьютер для велосипеда. Устройство показывает данные поездки и офлайн-карты, следует маршрутам в формате GPX, записывает файлы FIT и подключается к датчикам по Bluetooth.
Anthropic поделилась первым полностью проверенным компьютером доказательством Великой теоремы Ферма, которое Claude создал почти самостоятельно за 11 дней на языке программирования Lean. В процессе системе удалось написать 13 миллионов строк кода и доказать 29 500 промежуточных теорем.
В ответ на обсуждение проблемы памяти в системах с объектными пулами рассмотрены два подхода к разработке надёжного кода: статическое выделение памяти при инициализации и гарантированная константная трудоёмкость алгоритмов независимо от нагрузки.
Google начнёт автоматически блокировать боковую загрузку приложений на Android уже в следующем году, если они не прошли верификацию. К 2027 году эта система должна развернуться глобально, полностью отдав поисковому гиганту контроль над экосистемой, которая изначально проектировалась как открытая альтернатива закрытой iOS.
Инженер потратил месяц на решение задачи Jane Street по реверс-инжинирингу ASIC: извлекал схему из GDS-файла, строил симулятор, вручную разбирал логику и в итоге использовал Z3-решатель ограничений для получения правильного ответа.
Компания Armature провела масштабное исследование: 16 893 сессии, 1163 варианта промптов, 75 репозиториев и три кодинг-агента (Claude Code, Codex, Cursor), которые реально внедряли решения, а не просто советовали их. Результаты показывают, какие сервисы агенты выбирают чаще всего в категориях баз данных, платежей, email-рассылок, хостинга и других.
IFM выпустила K2 Horizon — флот из шести открытых моделей от 0.9B до 375B-A23B параметров с полным раскрытием цикла обучения: от предобучения до агентного пост-тюнинга, включая чекпоинты, данные и код.
Nvidia договорилась о приобретении платформы Hugging Face за $12,93 млрд. Компания обещает сохранить открытость платформы, поддержку мультиоблачности и независимость от собственного «железа» при разработке и развертывании моделей.
Команда Polars выпустила первый release candidate версии 2.0: потоковый движок становится движком по умолчанию для всех запросов LazyFrame, а сама библиотека — заметно строже к неявным преобразованиям типов и несовпадениям данных.
Компания AISLE обнаружила шесть уязвимостей CVE в curl спустя считаные дни после того, как системы безопасности OpenAI Codex и Anthropic Mythos не нашли в этом проекте ничего. Все шесть багов вошли в релиз curl 8.22.0.