Lost in Technopolis
Archive categories
all
coq
emacs
git
haskell
ledger
lisp
org-mode
April 19, 2018
Program Reduction: A Win for Recursion Schemes
April 22, 2017
Putting lenses to work
April 18, 2017
Submitting Haskell functions to Z3
February 23, 2017
A case of reflection
June 6, 2014
Simpler conduit library based on monadic folds
September 23, 2013
Notes on Free monads
September 21, 2013
Using monad-control with monad transformers
July 16, 2013
A whirlwind tour of conduits
June 30, 2013
Update of gitlib libraries on Hackage, plus git-monitor
June 19, 2013
Temporary mirror of comonad.com
June 19, 2013
Nightly builds of GHC HEAD for Ubuntu 12.04.2 LTS
June 12, 2013
Nightly builds of GHC HEAD for OS X 10.8
May 13, 2013
Understanding continuations
May 13, 2013
Three examples of problems with Lazy I/O
November 21, 2012
Getting Started with Lenses
October 20, 2012
Arrows are simpler than they appear
September 5, 2012
Running a fully local Hoogle
September 3, 2012
The fix combinator and recursive lambdas
August 30, 2012
Parsing with Haskell and Attoparsec
August 27, 2012
Meta-programming with the Free Monad
August 21, 2012
Japanese translation of "Monads in pictures"
August 20, 2012
Monads in Pictures
July 15, 2010
A word on Haskell Monads and C++
March 26, 2009
Journey into Haskell, part 6
March 24, 2009
Journey into Haskell, part 5
March 22, 2009
How laziness changes thinking in Haskell
March 21, 2009
Journey into Haskell, part 4
March 19, 2009
Journey into Haskell, part 3
March 18, 2009
Journey into Haskell, part 2
March 16, 2009
Journey into Haskell, Part 1
March 14, 2009
Hello Haskell, Goodbye Lisp