The Hoare Cube (johnwickerson.wordpress.com) | HN Screenshots

YHacker Newsscreenshots

Screenshot of johnwickerson.wordpress.com: The Hoare Cube

First screen, captured 1 year ago.

Looks similar

Screenshot of johnwickerson.wordpress.com: Automated feature testing of Verilog parsers using fuzzing

Automated feature testing of Verilog parsers using fuzzing (johnwickerson.wordpress.com)

7 points by matt_d 2 years ago | 2 comments

Screenshot of steezeburger.com: Show HN: Wikipedia Browser a La Andy Matuschak's Evergreen Notes

Show HN: Wikipedia Browser a La Andy Matuschak's Evergreen Notes (steezeburger.com)

98 points by steezeburger 2 years ago | 42 comments

Screenshot of wikifunctions.org: Welcome to Wikifunctions

Welcome to Wikifunctions (wikifunctions.org)

273 points by edward 3 years ago | 136 comments

Screenshot of gowers.wordpress.com: How to Use Zorn's Lemma (2008)

How to Use Zorn's Lemma (2008)(gowers.wordpress.com)

19 points by perihelions 1 year ago | 1 comments

Screenshot of en.wikipedia.org: Huffman Coding

Huffman Coding (en.wikipedia.org)

4 points by tosh 1 year ago | 2 comments

Screenshot of gowers.wordpress.com: When are two proofs essentially the same? (2007)

When are two proofs essentially the same? (2007)(gowers.wordpress.com)

58 points by ColinWright 2 years ago | 86 comments