How to implement dependent type theory I (2012) (math.andrej.com) | HN Screenshots

YHacker Newsscreenshots

Screenshot of math.andrej.com: How to implement dependent type theory I (2012)

First screen, captured 3 years ago.

Looks similar

Screenshot of math.andrej.com: Space-filling curves, constructively

Space-filling curves, constructively (math.andrej.com)

102 points by luu 2 years ago | 26 comments

Screenshot of bartoszmilewski.com: Identity Types

Identity Types (bartoszmilewski.com)

6 points by ibobev 1 year ago | 0 comments

Screenshot of bartoszmilewski.com: Identity Types

Identity Types (bartoszmilewski.com)

44 points by matt_d 1 year ago | 7 comments

Screenshot of scottaaronson.blog: The First Law of Complexodynamics (2011)

The First Law of Complexodynamics (2011)(scottaaronson.blog)

31 points by ibobev 2 years ago | 6 comments

Screenshot of bernsteinbear.com: Compiling Typed Python

Compiling Typed Python (bernsteinbear.com)

94 points by tekknolagi 3 years ago | 46 comments

Screenshot of blog.computationalcomplexity.org: How did people deal with punch cards?

How did people deal with punch cards?(blog.computationalcomplexity.org)

148 points by zdw 3 years ago | 158 comments