YHacker Newsscreenshots

max-amb.github.io on Hacker News

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

Screenshot of max-amb.github.io: An introduction to formal proof verification and the Curry-Howard Correspondence

An introduction to formal proof verification and the Curry-Howard Correspondence (max-amb.github.io)

19 points by max-amb 3 months ago | 3 comments

Screenshot of max-amb.github.io: Zero Knowledge Tolstoyan Art

Zero Knowledge Tolstoyan Art (max-amb.github.io)

32 points by max-amb 3 months ago | 15 comments