H hillelwayne.com Why don't people use formal methods? (2019) 128 points Thom2503 3 months ago 117 comments
