Bend — это язык программирования, сочетающий скорость C, параллелизм CUDA и проверку доказательств как в Lean. С помощью файла LAWS.bend разработчики и AI-агенты могут формализовать инварианты кода так, чтобы компилятор гарантировал их соблюдение: математически невозможно внедрить баг, нарушающий установленный закон.
Боинг 787-9 Dreamliner, летящий из Ньюарка в Рим, потребляет около $68K топлива за 8.5 часов. Корректировка маршрута с учётом ветра позволяет значительно снизить расход. Scikit-decide совместно с моделью расхода топлива и данными NOAA предоставляет открытый инструмент для оптимизации полётных маршрутов.
Математик Тимоти Гаверс объясняет, почему не поддержал коллективное письмо лауреатов медали Филдса о рисках искусственного интеллекта в математике. Он согласен с озабоченностью, но предлагает иной анализ основного кризиса — угрозу утраты мотивации у молодого поколения математиков.
Критический анализ влияния Элизера Йудковского и рационалистического сообщества на политику развития ИИ. Автор материала рассказывает о связях ключевых фигур AI Safety с так называемым движением эффективного альтруизма и раскрывает сетевые связи между основателями крупнейших AI-компаний.
Chaos Computer Club объявил о проведении 40C3 с 27 по 30 декабря 2026 года — крупнейшей в Европе хакерской конференции и платформы для обсуждения технологий, общества и гражданских свобод. Объявлен призыв к участию в программе докладов, развлечений, искусства и музыки.
OpenSpec — фреймворк для создания и управления спецификациями, помогающий командам выстроить работу с AI-агентами. За счёт снижения расхождений между требованиями и реализацией инструмент привлёк 68k звёзд на GitHub и используется 265 тысячами разработчиков ежемесячно.
Проект Servo подвёл итоги первого года работы, полностью финансируемой из пожертвований. За этот период удалось номинировать 8 новых мейнтейнеров, рассмотреть 1150 pull request-ов и написать новую документацию для контрибьюторов.
Двенадцать лет назад разработчик написал простую функцию на PHP для внутреннего проекта. Её опубликовали в Packagist, и теперь код установлен почти 20 миллионов раз и встроен в WordPress-плагины и Linux-дистрибутивы. Сегодня пакет объявлен устаревшим.
Google опубликовал открытый исходный код реализации Quicksort, которая сортирует массивы примерно в 10 раз быстрее, чем стандартная библиотека C++, и работает на всех современных архитектурах процессоров благодаря применению SIMD инструкций.
Исследователи представили Dream-RSI — фреймворк для масштабируемого рекурсивного самосовершенствования автономных AI-агентов. Вместо дорогостоящей оптимизации в реальном времени система использует исторические данные поиска как симулятор повторного проигрывания, обеспечивая быструю и дешевую обратную связь для совершенствования стратегий исследования.
Mistral и Mozilla объявили о партнёрстве для создания приватного ИИ-помощника в браузере. Firefox Smart Window на базе моделей Mistral позволяет анализировать сложные поиски, сохранять важную информацию и работать на региональных языках с учётом культурного контекста.
Internet Archive объявила об обновлении защиты Wayback Machine от автоматического трафика. Сервис сталкивается с волнами высокоинтенсивных запросов, и команда разработала новые механизмы для поддержания работоспособности — включая пересмотренные сообщения об ошибке 429.