YHacker Newsscreenshots

jakob.space on Hacker News

1 story on the front page, newest first. Scroll down to watch the site change over time.

Screenshot of jakob.space: What I've Learned About Formal Methods in Half a Year

What I've Learned About Formal Methods in Half a Year (jakob.space)

149 points by todsacerdoti 3 years ago | 59 comments