I saw this question on the Software Engineering Stack Exchange: What are the barriers that prevent widespread adoption of formal methods? The question was closed as opinion-based, and most of the answers were things like “its too expensive!!!” or “website isn’t airplane!!!” These are sorta kinda true but don’t explain very much. I wrote this to provide a larger historical picture of formal methods, why they’re actually so unused, and what we’re doing to make them used.

Почему Хаскелль сложный, а JS знает каждый молодой специалист? C++ очень классный, но никто в него не умеет? Бывают ли общеиспользуемые технологии, которые все не ненавидят? Почему кому-то легко программировать, а кому-то сложно? Можем ли мы это заранее предсказать? Как менторить правильно? Обычно на эти вопросы отвечают старшие коллеги в баре; оказывается, по этим вопросам есть академические группы. Семинар по статьям.