Исследования показывают, что на качество нашей работы в наибольшей степени влияет человеческий фактор. Почему же мы делаем такую большую ставку на технические решения? Об этом в своей колонке рассуждает Гиллель Уэйн*, консультант по формальной верификации и автор книги Practical TLA+. Предлагаем наш перевод авторского материала.