Formal Methods and the Future of Programming

by eatonphil | View on Hacker News