RU

DeepSeek V4: Обзор нейросети, бенчмарки и тесты

Нейросети не стоят на месте и постоянно развиваются. Так, 23 апреля мир увидел ChatGPT 5.5. Но лично я с большим нетерпением ждал именно DeepSeek V4 .…

AIИИнейросетьdeepseekбенчмаркимодельтестыматематикагенерация текстагенерация кода
Habr
RU

Design by Contract в эпоху AI: как контракты Мейера защищают криптографию там, где тесты молчат

Design by Contract Мейера не взлетел в 1986 из-за двойной работы. AI-агент убирает вторую половину. Я построил PKI-систему с аппаратным TRNG, формальн…

Design by ContractPKIкриптографияAITRNGNISTembeddedконтрактыбезопасность
Habr
RU

Как мы перестали мерить качество ответов RAG-поиска «на глаз» и начали нормально сравнивать

Если вы делаете RAG-поиск по документации или базе знаний, то рано или поздно упираетесь в проблему: хорошо найти — это еще не хорошо ответить. База з…

RAGAILLMQwen3.5Gemma 4gemma 3бенчмарк
Habr