ezyang's blog
the arc of software bends towards understanding
archives
subscribe
Categories
Frivolity
April 1, 2014
Type Theory
January 30, 2014
Git
January 20, 2014
Rust
December 17, 2013
Agda
September 18, 2013
Math
April 27, 2013
Cryptography
April 11, 2013
Logic
April 7, 2013
Visualization
December 13, 2012
Ur/Web
July 29, 2012
« Newer Posts
Older Posts »