YHacker Newsscreenshots

ivan-gavran.github.io on Hacker News

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

Screenshot of ivan-gavran.github.io: The Case Against Formal Verification, 50 Years Later

The Case Against Formal Verification, 50 Years Later (ivan-gavran.github.io)

78 points by ghuntley 2 months ago | 71 comments