Discourse остаётся open source: почему команда спорит с Cal.com об ИИ-безопасности
Discourse open source остаётся открытым: Cal.com закрывает рабочий код из-за ИИ-поиска уязвимостей, а Discourse отвечает ставкой на процесс защиты.
безопасность
Безопасность ИИ: атаки на языковые модели, защита данных, alignment и этические вопросы применения AI.
Darkbloom: приватный инференс на Mac и тест на доверие
Darkbloom предлагает сеть инференса на простаивающих Mac с OpenAI-compatible API. Разбираем, где сильная идея, а где нужны аудит и проверка claims.
LLM в психотических диалогах: что показало новое исследование
Исследование CUNY и King’s College London сравнило ChatGPT, Claude, Gemini и Grok в длинных кризисных диалогах и показало, что большой контекст может как включать защиту, так и ломать её.
Формальная верификация кода: что показал баг в Lean 4
Формальная верификация сработала там, где были доказательства. Баги нашлись в среде выполнения Lean 4 и непроверенном парсере.
GPT-5.4-Cyber: зачем OpenAI расширяет Trusted Access for Cyber
OpenAI расширяет Trusted Access for Cyber: проверенные защитники получат GPT-5.4-Cyber с меньшим числом отказов, но не без контроля.
Вредоносные PDF против нефтегаза: что показывает атака через Adobe Reader
PDF остаётся рабочим каналом атаки на промышленность: социальная инженерия, слабый детект и задержки обновлений создают риск для нефтегаза.
N-Day-Bench: как LLM ищут реальные уязвимости в коде
N-Day-Bench проверяет, как LLM ищут реальные N-day уязвимости в коде. Главное не leaderboard, а методика, traces и ограничения.