http://www.johnjasonfallows.com/2017/12/30/new-top-story-on-hacker-news-coming-soonmachine-checked-proofs-in-everyday-software-and-hardware-development/