На Хабре вышел первый пост из серии «Надёжное программирование: от кода к технологии», посвящённой системному взгляду на надёжность в разработке. Автор формулирует главный тезис и три столпа, на которых, по его мнению, держится надёжное программирование.

В материале заявлена попытка уйти от бытового понимания надёжности как «просто писать хороший код» к более технологичному подходу. Речь идёт об архитектуре, спецификациях и управлении разработкой как взаимосвязанных элементах.

Это только начало цикла: серия разбита на три части. Первая задаёт рамку и понятия, на которые будут опираться дальнейшие разборы.

Во втором посте автор обещает разобрать оракульное смещение, а также эмпирические данные DORA, Veracode и FormAI-v2. Это должно связать теоретические тезисы с измеримыми метриками.

Третий пост посвятят конечному аудитору, шкале зрелости L0–L4 и практическим рекомендациям. Таким образом, серия движется от тезиса к эмпирике и затем к прикладным выводам.

Пока рано судить, насколько убедительной окажется аргументация, но структура цикла выглядит последовательной. Реакцию читателей и качество разборов во второй и третьей частях можно будет оценить позже.