+Practical Dependent Types in Haskell
Weblog of Justin Le, covering various adventures in programming and explorations in the worlds of computation physics, and knowledge.