120 выдуманных ссылок против 8: что агентный поиск делает с галлюцинациями LLM на строительных нормах +6
Публикации с тегом верификация
Разработка модуля автоматического сопоставления чертежей с цифровой информационной моделью здания +5
Защита QR сертификатов без сервера: Ed25519, GitHub Pages и ноль (почти) ежемесячных затрат +3
Я спросил у нейронки, как верифицировать её ответы, и она сказала: «Хочешь честно? Это про доверие» +7
Одна DRC-дека, три техпроцесса и двенадцать неверных гипотез +5
Публичный розыгрыш, который нельзя пересчитать — это не розыгрыш, а обещание +4
Как двухбуквенная технология проверяет трёхбуквенную организацию +3
ChatGPT теперь требует селфи с паспортом: как OpenAI и Anthropic внедряют KYC и убивают анонимность в ИИ +7
Ни одна ошибка не нова: почему провал ИИ в First Proof был предсказуем заранее
От языковых моделей к вычислимому мышлению: как SymFSM меняет архитектуру AI-систем +10
- Искусственный интеллект
- Анализ и проектирование систем
- Алгоритмы
- Научно-популярное
- Машинное обучение
Введение в микроядро Sel4
Как я перешла из тестирования в аппаратную верификацию без опыта в процессорных архитектурах +8
- Блог компании YADRO
- Тестирование IT-систем
- FPGA
- Производство и разработка электроники
- Карьера в IT-индустрии
Модели LLM их проблема правдоподобных ответов +2
Проверяем веб-расчёт потерь в шинах на соответствие стандартам
Формальная верификация «для бедных»: выбираем open source-решение +16
