Pull to refresh
-2
@Miller83read⁠-⁠only

User

2
Subscribers
Send message

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

Level of difficultyMedium
Reading time10 min
Reach and readers7K

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

Читать далее

Information

Rating
Does not participate
Location
Москва и Московская обл., Россия
Registered
Activity