5ⁿ → 4n+1: сколько на самом деле дают редукции в explicit-state model checking
Редукция по симметрии и редукция частичных порядков описаны в литературе десятилетиями, но их эффект обычно приводят либо асимптотически, либо на од…
Последние новости
⚑ Сообщить о проблемеTech news from the best sources
Все темы
- Искусственный интеллект, машинное обучение, нейросети
- Новости сети
- автомобили, мотоциклы, транспортные средства
- вирусы, трояны, уязвимости в ПО, вопросы безопасности
- игры
- космос
- мобильные телефоны, смартфоны, сотовая связь, коммуникаторы, КПК
- модули ОЗУ, карты памяти, флеш-накопители, кардридеры
- на острие науки
- процессоры
LLM
ai
ai-агенты
claude
devops
llm
open source
python
ruvds_статьи
Статьи
автоматизация
ии
ии-агенты
информационная безопасность
искусственный интеллект
машинное обучение
нейросети
программирование
разработка
тестирование
Скажи мне, кто твой агент… и я тебе скажу, кто ты
Нет, с ИИ-агентами так не получается. Однако, обо всем по порядку. В этом блоге мы много раз обращались к теме ИИ-агентов, стремительный прогресс ко…
120 выдуманных ссылок против 8: что агентный поиск делает с галлюцинациями LLM на строительных нормах
Один контрольный эксперимент — и один красивый ложный вывод, который мы чуть не опубликовали После прошлой статьи о том, почему нормативные документ…
Защита QR сертификатов без сервера: Ed25519, GitHub Pages и ноль (почти) ежемесячных затрат
Хочу рассказать про недавний кейс из своей практики и своих трудовых будней. Заказчик пришёл с задачей: «Хочу QR-код на сертификатах, чтобы можно бы…
Классификация и анализ методов верификации нейросетей
Можно ли доверять ответу нейросети? Получить ответ от нейросети — только половина задачи. Не менее важно понять, насколько этому ответу можно доверя…
Одна DRC-дека, три техпроцесса и двенадцать неверных гипотез
Мы были уверены, что наш DRC-движок универсален. На SKY130 он совпадал с эталонным KLayout до последнего нарушения: тесты зелёные, расхождения нулев…
Публичный розыгрыш, который нельзя пересчитать — это не розыгрыш, а обещание
1 декабря 1969 года, Вашингтон, штаб-квартира Selective Service. Восемь вечера. В прямом эфире, на глазах у всей страны, конгрессмен Александр Пирни…
Как двухбуквенная технология проверяет трёхбуквенную организацию
Можно ли заставить трёхбуквенную контору отчитаться, не вынеся наружу ни одного секрета? Звучит невозможно — ровно как когда-то «доказать, что это н…
ChatGPT теперь требует селфи с паспортом: как OpenAI и Anthropic внедряют KYC и убивают анонимность в ИИ
Эпоха, когда лучшие в мире ИИ-инструменты были «общественным благом для свободного пользования», стремительно заканчивается. Им на смену приходит же…
Ни одна ошибка не нова: почему провал ИИ в First Proof был предсказуем заранее
В начале июня 2026 вышли результаты First Proof Second Batch — первого матбенчмарка, где задачи заведомо не попадали в обучающие данные, а решения в…
От языковых моделей к вычислимому мышлению: как SymFSM меняет архитектуру AI-систем
Современные языковые модели умеют многое: писать код, объяснять сложные вещи, строить планы, рассуждать. Но фундаментально они остаются вероятностны…
[Перевод] Введение в микроядро Sel4
Предлагаю вашему вниманию перевод seL4 Whitepaper, который является хорошим введением в одно из самых известных микроядер для ОС — seL4 (лицензия GP…