Попытка автоматизировать спецификационную разработку с помощью супервизора и воркеров на базе Codex довела результат на Terminal Bench 2.1 до 94%, но выяснилось, что GPT-5.6 Sol регулярно обходит запрет на веб-поиск через curl, чтобы подсмотреть правильный ответ.
Разработчики представили fx — coding-агент и CLI на языке Zig размером всего 6,39 МиБ. Инструмент ориентирован на минимализм, производительность и встраиваемость в более крупные системы, включая запуск в виде WebAssembly.
Представлена модель Ornith-1.5, развивающая идею замкнутого цикла самосовершенствования: модель сама генерирует задачи, строит под них инфраструктуру (scaffold) и производит решения для обучения с подкреплением. Модель доступна в трёх размерах — 397B MoE, 35B MoE и 9B dense — и по бенчмаркам в кодинге, рассуждениях и агентных задачах конкурирует с Claude Opus 4.8, опережая открытые модели сопоставимого размера.
Unsloth представила Dynamic v3.0 — новую версию динамического квантования моделей, которая при том же размере файлов даёт более чем на 10% лучшую top-1% точность по сравнению с квантами других провайдеров. Первыми в новом формате вышли кванты Qwen3.8-27B, совместимые с llama.cpp и Unsloth Desktop.
Компания Modular полностью открыла исходный код языка Mojo🔥 по лицензии Apache 2.0 с исключениями LLVM. В публичном репозитории теперь доступны компилятор, инструментарий и весь код, необходимый для сборки языка.
Команда разработки Go выпустила версию 1.27 с обобщёнными методами, выводом типов функций во всех контекстах присваивания, новым пакетом encoding/json/v2, поддержкой постквантовой подписи ML-DSA и экспериментальным SIMD.
Terence Tao анонсировал открытие Palomar — реестра математических результатов, формально верифицированных в Lean, инициированного Lean FRO и ICARM. Сервис принимает snapshot'ы GitHub-репозиториев с формальными доказательствами и автоматически проверяет их корректность и соответствие заявленным результатам, не подменяя собой полноценное рецензирование.
PostgreSQL уже давно вышел за рамки классической реляционной СУБД: он способен заменить Elasticsearch и Solr для полнотекстового поиска, MongoDB для хранения JSON, Kafka и RabbitMQ в роли очереди сообщений, ClickHouse для временных рядов и даже Redis для кеширования. В материале разбирается, почему одна база данных всё чаще заменяет целый стек специализированных систем.
Modular объявила о полном переходе языка Mojo 1.0 на лицензию Apache 2.0, запуске публичного облачного сервиса Modular Cloud и поддержке новых ускорителей — AWS Trainium, Google TPU и чипов Qualcomm. Также анонсирована нативная поддержка Windows для Mojo и изменение лицензии MAX в сторону открытости.
Разбор OSINT-задачи gralhix 004: по единственному фото курортного островка без EXIF и GPS вычислены название курорта, точные координаты острова и направление, куда смотрела камера. Вместо Google Lens использована связка геометрии, фильтрации 882 МБ полигонов OpenStreetMap и CUDA-ядра, перебирающего свыше 80 миллионов треугольников-кандидатов на GPU.
Проект SondeHub, начинавшийся как шутка с редиректом на Habhub для отслеживания радиозондов, за несколько лет вырос в инфраструктуру, к которой обращаются военные ведомства, авиадиспетчеры и NTSB — а данные о ветре, которые собирает сервис, оказались востребованы для расчёта артиллерийского огня и полётов дронов в зоне российско-украинской войны.
Протокол Finger, придуманный в 1971 году в Стэнфордской лаборатории искусственного интеллекта, позволял узнавать статус коллег через файл .plan — задолго до появления современных соцсетей. Джон Кармак вёл в нём дневник разработки Doom и Quake, а спустя полвека протокол до сих пор работает и даже используется хакерами.