Компания Proofcraft завершила формальное доказательство конфиденциальности для микроядра seL4 на архитектуре AArch64, замкнув полный стек доказательств безопасности для этой платформы. Работа выполнена при поддержке британского NCSC и подтверждает, что ядро математически гарантированно предотвращает несанкционированный доступ приложений к чужим данным.
Разработчик представил SELF (Structured Executable & Linkable Format) — экспериментальный формат исполняемых файлов на основе SQLite, который заменяет ELF таблицами и SQL-запросами вместо ручного парсинга структур. Прототип запускает бинарники, поддерживает динамическую линковку через SQL-запросы и упаковывает весь userland из 723 программ в единый файл базы данных размером меньше суммарного объёма исходных ELF-файлов.
Разработчик создал ИИ-компаньона по имени Варкос для Skyrim VR — пса, который выполняет сложные многошаговые команды, участвует в бою и меняет характер по мере совместных приключений с игроком. Система построена на локальных моделях с минимальной задержкой отклика и собственном модуле распознавания намерений вместо облачных LLM-вызовов.
Разработчик с многолетним опытом работы с MySQL и Db2 разбирает, почему SQL — мощная идея, реализованная архаично, и предлагает конкретные улучшения: от более прозрачных планировщиков запросов до алгебраических типов данных и сопоставления с образцом в схемах таблиц.
Выход дорогой модели Fable совпал с появлением GLM 5.2 — почти в девять раз дешевле при сопоставимом качестве для большинства рутинных задач. Разработчикам агентных кодинг-инструментов приходится заново думать о том, какую работу отдавать дорогим моделям, а какую — дешёвым.
Разработчик поделился своим файлом agent.md — набором правил стиля и архитектуры, который заметно повышает качество кода, генерируемого LLM в агентных IDE вроде Antigravity и Claude Code.
Инженер, работающий над Perfetto в Google, делится подходом к поиску задач, которые никто ещё не сформулировал: не блокировать время в календаре для «стратегического мышления», а внимательно слушать поток повседневных жалоб коллег и давать проблемам накапливаться, пока не проявится их общая природа.
Независимый бенчмарк Ed-o-meter на 28 реальных задачах показал, что открытая модель GLM-5.3 первой прошла все пять категорий тестов на 100% — с рубрикой 9.3/10 и стоимостью прогона всего $0.28, обойдя по соотношению цена/качество модели Anthropic и OpenAI.
Появление LLM-агентов снижает барьер входа в "сложные" языки вроде Rust и Zig, и разработчики всё чаще выбирают их не по привычке, а исходя из желания получить быстрый и компактный код. Cloudflare и Vercel уже выпустили проекты на Zig, написанные с активной помощью ИИ.
Agent harness — программная оболочка, которая даёт AI-модели инструменты, системный промпт и «агентный цикл», превращая модель в действующего агента. Разбор устройства harness на примере альпинистской обвязки и таких проектов, как Pi, Claude Code и OpenClaw.
Вёрджил Дюпра, создатель Collapse OS и Dusk OS, запустил серию статей о низкоуровневом программировании: от голого железа на PC до сборки Forth с нуля, перехода на Dusk OS и написания частичного компилятора C.
Локальная модель Qwen 3.8 27B, запущенная полностью офлайн на компактной рабочей станции, провела реверс-инжиниринг системы проверки лицензии коммерческого приложения, восстановила скрытый криптографический ключ и построила рабочий обход авторизации — всего за 30 минут статического анализа.