LLM-модели поглощают контент онлайна без уважения к авторским правам и лицензиям, разрушая 40-летний баланс между защитой авторства и открытостью, на котором построена вся современная интернет-инфраструктура. Это превращает открытый обмен знаниями из дара в ответственность для авторов.
Гранту Сандерсону хочется предложить переосмыслить, как математическое сообщество оценивает вклад учёных. Если доказательства теорем можно генерировать без участия человека, то стоит поднять статус мотивированных объяснений — работы, которая помогает другим действительно понять, почему теорема верна и почему она важна.
Разработчик представил Laya — открытый System 1 решатель для классификации и маршрутизации, работающий за 32 мс с поддержкой 100+ языков. Модель работает в 6–8 раз быстрее закрытого аналога Jev и имеет 3x лучшую калибровку вероятностей.
Один тип AI-плакатов стал мемом — однообразные шаблонные дизайны, которые все друг на друга похожи. Один программист решил проверить, может ли ChatGPT создавать плакаты совершенно в разных стилях — от баухауса до дизайна мемфис, от панка до японского минимализма.
Cactus представила Needle 3 — фундаментальную модель для автоматизации на миниатюрных устройствах. За счёт архитектуры с масштабируемыми подсетями один набор весов обеспечивает модели от 2 до 20 слоёв, работающие на Raspberry Pi и смартфонах, при этом 4-слойная версия после тонкой настройки соответствует по производительности DeepSeek V4 Flash.
Программист потратил месяц свободного времени на использование ИИ для доказательства открытой математической гипотезы Конвея, поставленной 50 лет назад. Результат — формальное доказательство в Lean, хотя и не проверенное независимо математиками.
Ричард Столлман выступил с критикой предложенных мер безопасности в ответ на теракты 11 сентября, предупредив, что массовая слежка и контроль могут нанести больший ущерб свободам американцев, чем сам теракт.
Flet 1.0 позволяет создавать красивые веб-, десктопные и мобильные приложения из одной Python кодовой базы, не требуя опыта во фронтенд-разработке. Над проектом открытого исходного кода работает активное сообщество, поддерживающее шесть основных платформ.
Язык программирования Bend позиционируется как решение для эпохи AI-кодирования, где люди описывают «законы», а ИИ пишет реализацию и доказательства корректности. Однако разработчик, похоже, переоткрыл уже существующую дисциплину формальной верификации, создав куда более сложное решение, чем требуется современный стандарт.
16 сентября CrowdSec обнаружила утечку исходного кода своего GitHub репозитория, произошедшую в мае 2026 года. Компания подтвердила инцидент и уточняет: утечка коснулась только приватной части исходников (SaaS-консоль, AWS-рутины, коннекторы), публичные репозитории исключены из масштаба инцидента. Утраты данных клиентов, логинов, паролей и личной информации не произошло — CrowdSec не хранит персональные данные пользователей.
Как эмулировать строгую модель памяти x86 на слабых ARM архитектурах: разбор проблем с производительностью, от базовых load/store операций до атомарных инструкций и работы с несогласованной памятью.
PrismML выпустила Ternary Bonsai 2 27B — модель нейросети на базе Qwen3.8 27B с тернарными весами {−1, 0, +1}, уменьшенная в 9 раз до 5,9 ГБ при сохранении 98,2% производительности оригинала. Модель поддерживает контекст на 262K токенов, включает мультимодальный ввод текста и изображений и распространяется под лицензией Apache 2.0.