编写正确的软件很困难，光靠数学也帮不上我们（2016）

Writing correct software is hard and math alone won’t help us (2016)

来源: Hacker News · 300+ 热帖 · pron.github.io