Обновить
16K+
-2
Васильев Сергей@Miller83read⁠-⁠only

Пользователь

-3
Рейтинг
2
Подписчики
Отправить сообщение

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

Уровень сложностиСредний
Время на прочтение10 мин
Охват и читатели7K

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

Читать далее

Информация

В рейтинге
Не участвует
Откуда
Москва и Московская обл., Россия
Зарегистрирован
Активность

Специализация

Фулстек разработчик, Архитектор программного обеспечения
Linux
C++
C
C#
ООП
Git
Bash
CI/CD