Как убедиться, что в аппаратном дизайне нет багов? Результаты обычных тестов иногда сигнализируют только о том, что ошибки не нашлись, а не о том, что их нет вовсе. На помощь приходит формальная верификация — метод, который проверяет все состояния системы в поисках ошибки. Для…
Это обзорная статья, в которой очень поверхностно и не подробно рассказывается о том, что такое формальная верификация программного кода, зачем она нужна и чем она отличается от аудита и тестирования. Формальная верификация — это доказательство с использованием…
За прошедшие две недели я узнал, что сначала Anthropic, а потом Open AI запустили программы поддержки open source проектов: Claude for Open Source и Codex for Open Source. Я подал заявку в обе программы со своим open source проектом и мои заявки одобрили.Какие были требования, что это даёт и как я буду применять новые инструменты — ниже. Читать далее
Решение Кунцевского районного суда от 14.07.2025 по иску кунцевского межрайонного прокурора о признании информации распространяемой в Интернете (речь про информацию как получить «синюю галочку») экстремисткой.Данное решение суда напрямую касается digital- специалистов, маркетологов и владельцев ИТ-бизнеса. разбираемся, как техническая процедура верификация аккаунта попала под статью 282.3 УК РФ (финансирование экстремизма) какие правовые и технические риски это создает Читать далее