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

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

Source: Hacker News · 300+ · pron.github.io