The Mechanics of Proof (hrmacbeth.github.io) | HN Screenshots

YHacker Newsscreenshots

Screenshot of hrmacbeth.github.io: The Mechanics of Proof

First screen, captured 2 years ago.

Looks similar

Screenshot of blog.stenmans.org: The Erlang Runtime System

The Erlang Runtime System (blog.stenmans.org)

155 points by doctor_phil 2 years ago | 16 comments

Screenshot of cs3110.github.io: OCaml Programming: Correct and Efficient and Beautiful

OCaml Programming: Correct and Efficient and Beautiful (cs3110.github.io)

106 points by smartmic 1 year ago | 34 comments

Screenshot of en.algorithmica.org: Algorithms for Modern Hardware

Algorithms for Modern Hardware (en.algorithmica.org)

273 points by throwaway2037 2 years ago | 65 comments

Screenshot of souzatharsis.com: Taming LLMs – A Practical Guide to LLM Pitfalls with Open Source Software

Taming LLMs – A Practical Guide to LLM Pitfalls with Open Source Software (souzatharsis.com)

158 points by sebg 1 year ago | 26 comments

Screenshot of seiya.me: Writing a Hypervisor in 1k Lines

Writing a Hypervisor in 1k Lines (seiya.me)

93 points by ingve 1 year ago | 9 comments

Screenshot of jmeiners.com: Think in math, write in code (2019)

Think in math, write in code (2019)(jmeiners.com)

193 points by alabhyajindal 11 months ago | 70 comments