Past Entries

Why I Don't Love Gödel, Escher, Bach on 04 July, 18

The Rust Language and Special Cases on 01 June, 18

Structural Types and Duck Typing on 24 May, 18

Some Notes About How I Write Haskell on 21 December, 17

Proofs and Programs and Rhetoric on 08 November, 17

The Basic Principles of Rust Modules on 25 August, 17

Lifetime Quantification and Higher-Ranked Trait Bounds on 17 July, 17

Haskell Type Equality Constraints on 26 January, 17

Markov Chains on 27 October, 16

Resources, Laziness, and Continuation-Passing Style on 02 August, 16

Writer Monads and Space Leaks on 28 July, 16

Backpacks Full of Data Files: A Hypothetical Future on 06 June, 16

Laser-Cutting Comic Book Slip-Covers on 29 April, 15

Typeclass Refactoring and Default Superclass Instances on 31 March, 15

Celebrating Daemontools on 06 February, 15

Blocks Courtesy of Konrad Zuse on 28 September, 14

Noun Case on 03 August, 14