Cloudflare оптимизировал алгоритм согласованного хеширования в сервисах на базе Pingora, снизив количество хешей на 90% без потери качества распределения нагрузки. Благодаря математическому анализу и компактному хранению данных удалось освободить 100 ТБ оперативной памяти в глобальной сети.
Исследователи провели систематическое изучение того, как отдельные компоненты каркаса (harness) влияют на производительность автономных агентов при написании кода. Тестирование 176 конфигураций на бенчмарках SWE-Bench и Terminal-Bench показало, что управление контекстом, планирование и выбор действий по-разному влияют на эффективность в зависимости от способностей модели.
Исследователи предложили архитектуру языковой модели, которая генерирует веса нейронной сети прямо из данных взаимодействия с пользователем вместо того, чтобы хранить их в памяти. Благодаря компактной гиперсети, модель может эффективно адаптироваться к новой информации во время сессии, не требуя переобучения.
Язык программирования Bend позиционируется как решение для эпохи AI-кодирования, где люди описывают «законы», а ИИ пишет реализацию и доказательства корректности. Однако разработчик, похоже, переоткрыл уже существующую дисциплину формальной верификации, создав куда более сложное решение, чем требуется современный стандарт.
Как эмулировать строгую модель памяти x86 на слабых ARM архитектурах: разбор проблем с производительностью, от базовых load/store операций до атомарных инструкций и работы с несогласованной памятью.
Языковые модели отлично находят проблемы в тексте, но лишь при одном условии: писать придётся самому. Простой метод превращает LLM из писателя в редактора с двумя критическими правилами.
Bend — это язык программирования, сочетающий скорость C, параллелизм CUDA и проверку доказательств как в Lean. С помощью файла LAWS.bend разработчики и AI-агенты могут формализовать инварианты кода так, чтобы компилятор гарантировал их соблюдение: математически невозможно внедрить баг, нарушающий установленный закон.
Инженер размышляет о том, как широкое внедрение AI в индустрию привело к деградации качества работы, принятия решений и базовых инженерных практик. Вместо решения фундаментальных проблем безопасности компании гонятся за эпохальными проектами по уязвимостям, а люди активно теряют навыки и понимание кода.
Мартин Фаулер размышляет о противоречивых чувствах в отношении LLM: если они действительно полезны и повышают продуктивность, почему же они вызывают глубокое недовольство? Дело в способности моделей уверенно говорить неправду и в их поведении, отражающем ценности кремниевой долины.
OpenSpec — фреймворк для создания и управления спецификациями, помогающий командам выстроить работу с AI-агентами. За счёт снижения расхождений между требованиями и реализацией инструмент привлёк 68k звёзд на GitHub и используется 265 тысячами разработчиков ежемесячно.
Проект Servo подвёл итоги первого года работы, полностью финансируемой из пожертвований. За этот период удалось номинировать 8 новых мейнтейнеров, рассмотреть 1150 pull request-ов и написать новую документацию для контрибьюторов.
Двенадцать лет назад разработчик написал простую функцию на PHP для внутреннего проекта. Её опубликовали в Packagist, и теперь код установлен почти 20 миллионов раз и встроен в WordPress-плагины и Linux-дистрибутивы. Сегодня пакет объявлен устаревшим.