Собрал очень ценную статью про математическое доказательство правильности программы и формальное доказательство, которое мы используем при кодировании. https://codemonsters.team/blog/2025/12/30/program-correctness/ Для меня это особенно важная работа. Показывает, как от математики мы переходим к инкапсуляции в ООП и типизации (формальному доказательству) Правильная архитектура даёт нам 100% покрытие бизнес-логики юнит-тестами. Управляемое тестирование, а не тестирование ради процентного покрытия. Взгляд на пирамиду тестирования уточняется. Компонентные тесты превращаются в точную верификацию API, а не попытку протестировать крайние точки. Т.е. так мы можем на простом языке описать инструкцию к API нашего черного ящика, которая будет тестироваться автоматом и тут BDD раскрывается в полную силу. Я напишу далее про это с отсылками к трудам отцов основателей. Формируется мощный фрейм для программирования на русском языке с AI-ассистентами. От классических основ к современному синтез