Cursor удалил базу данных PocketOS: что сломалось за 9 секунд
Cursor удалил базу данных PocketOS через Railway, а вместе с томом исчезли и свежие бэкапы. Разбираем, как staging-задача стала прод-инцидентом.
безопасность
Безопасность ИИ: атаки на языковые модели, защита данных, alignment и этические вопросы применения AI.
ИИ-двойники сотрудников: Китай спорит с AI-агентами
Китайский спор вокруг Colleague Skill показывает новый трудовой конфликт: кто владеет workflow, стилем и tacit knowledge сотрудника, если всё это можно упаковать в AI-агента.
Claude Mythos и открытые модели: где граница
Спор вокруг Mythos показывает не смерть закрытых frontier-моделей, а сдвиг преимущества к проверке, triage и рабочему процессу security-команд.
Discourse остаётся open source: почему команда спорит с Cal.com об ИИ-безопасности
Discourse open source остаётся открытым: Cal.com закрывает рабочий код из-за ИИ-поиска уязвимостей, а Discourse отвечает ставкой на процесс защиты.
Darkbloom: приватный инференс на Mac и тест на доверие
Darkbloom предлагает сеть инференса на простаивающих Mac с OpenAI-compatible API. Разбираем, где сильная идея, а где нужны аудит и проверка claims.
LLM в психотических диалогах: что показало новое исследование
Исследование CUNY и King’s College London сравнило ChatGPT, Claude, Gemini и Grok в длинных кризисных диалогах и показало, что большой контекст может как включать защиту, так и ломать её.
Формальная верификация кода: что показал баг в Lean 4
Формальная верификация сработала там, где были доказательства. Баги нашлись в среде выполнения Lean 4 и непроверенном парсере.