Formal Methods and the Future of Programming

	▲	Formal Methods and the Future of Programming(blog.janestreet.com)
		24 points by nextos 5 days ago \| 1 comments

	▲	Taikonerd an hour ago \| parent [-]
		Dupe of https://news.ycombinator.com/item?id=48526633