Past Entries

Why I Don't Love Gödel, Escher, Bach — 2018-07-04

The Rust Language and Special Cases — 2018-06-01

Structural Types and Duck Typing — 2018-05-24

Some Notes About How I Write Haskell — 2017-12-21

Proofs and Programs and Rhetoric — 2017-11-08

The Basic Principles of Rust Modules — 2017-08-25

Lifetime Quantification and Higher-Ranked Trait Bounds — 2017-07-17

Haskell Type Equality Constraints — 2017-01-26

Markov Chains — 2016-10-27

Resources, Laziness, and Continuation-Passing Style — 2016-08-02

Writer Monads and Space Leaks — 2016-07-28

Backpacks Full of Data Files: A Hypothetical Future — 2016-06-06

Laser-Cutting Comic Book Slip-Covers — 2015-04-29

Typeclass Refactoring and Default Superclass Instances — 2015-03-31

Celebrating Daemontools — 2015-02-06

Blocks Courtesy of Konrad Zuse — 2014-09-28

Noun Case — 2014-08-03