Lost in Technopolis
Archive categories
all
coq
draft/newartisans
emacs
git
haskell
ledger
lisp
org-mode
April 19, 2018
Program Reduction: A Win for Recursion Schemes
May 4, 2017
Monads are monoid objects
April 22, 2017
Putting lenses to work
April 18, 2017
Submitting Haskell functions to Z3
February 23, 2017
A case of reflection
October 27, 2016
Using the FMap library in Coq
January 21, 2016
Emacs: Pattern Matching with pcase
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
May 13, 2013
An experiment: shorter posts
November 21, 2012
Getting Started with Lenses
October 20, 2012
Arrows are simpler than they appear
September 6, 2012
Just discovered pxz
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
May 19, 2011
Japanese translation of "Git From the Bottom Up"
April 26, 2011
Letter to the Free Software Foundation
July 15, 2010
A word on Haskell Monads and C++
October 30, 2009
A C++ gotcha on Snow Leopard
October 29, 2009
Branch policies with Git
May 13, 2009
Response to PG's "How to Do Philosophy"
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 20, 2009
Updated site to use Blueprint CSS again
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 15, 2009
The JVM, and costs vs. benefits
March 15, 2009
Run times for Hello, World in 2009
March 14, 2009
Hello Haskell, Goodbye Lisp
February 26, 2009
The saga of rebase versus merge
February 13, 2009
Building a better pre-commit hook for Git
February 4, 2009
Simple class for walking char arrays as istreams
January 25, 2009
Ready Lisp version 20090130 now available
January 23, 2009
Unicode support on the cheap
January 21, 2009
The feature I avoided for half a year
January 20, 2009
Moving to Movable Type
January 19, 2009
A day for nostalgia
January 16, 2009
Linux DHCP and Windows DNS
September 17, 2008
Ledger 2.6.1 released
September 5, 2008
Too much good stuff
August 12, 2008
Omitting Git-ignored files in Emacs dired
July 16, 2008
A new Ledger mailing list
May 15, 2008
Using Git as a versioned data store in Python
May 8, 2008
Emacs Chess now hosted at GitHub
May 5, 2008
Ready Lisp version 20080428 now available
April 27, 2008
Git from the bottom up
April 14, 2008
Diving into Git
April 9, 2008
Run the Spotlight indexer at a lower priority
March 28, 2008
Script of the week: linkdups
March 20, 2008
Defragmentation and disk images
January 8, 2008
A Ledger success story
January 7, 2008
Script of the week: verify
December 13, 2007
FP techniques in Lisp: Data sharing
December 8, 2007
Fixed a few bugs in Ready Lisp
December 6, 2007
New version of Ready Lisp for Mac OS X
December 1, 2007
Common Lisp web servers
November 16, 2007
CL HyperSpec Info pages in Emacs
November 12, 2007
Script of the week: redirect
November 9, 2007
Ready Lisp for OS X Leopard
November 9, 2007
Hunchentoot: Persisting across reboots
November 6, 2007
A quick Hunchentoot primer
November 5, 2007
Script of the week: bzdmg
November 5, 2007
Running Common Lisp behind Apache
October 29, 2007
A regular expression IDE for Emacs
October 27, 2007
Script of the week: sizes
October 26, 2007
The groovy thing about Groovy
October 25, 2007
Life and times of a TCP packet
October 24, 2007
Get Lisp running on OS X (easy version!)
October 23, 2007
Common Lisp docs for DEVONthink
October 20, 2007
Common Lisp on Mac OS X
October 19, 2007
Serving up Mercurial using mod
python
October 15, 2007
Install BootCamp with multiple partitions
October 11, 2007
Using Archiveopteryx on the Mac
October 1, 2007
Applescript and UTF-8 arguments
September 30, 2007
A few remarkable Mac apps
September 25, 2007
OpenSSH connection mastering
September 24, 2007
Stateful directory scanning in Python
September 23, 2007
How to administer OpenVPN
September 22, 2007
An SVK primer
September 14, 2007
Writing SELinux policies
September 14, 2007
Neat tricks with iptables
August 20, 2007
Using org-mode as a Day Planner
January 17, 2007
Securing the Buildbot
May 26, 2006
Fighting technology
March 26, 2005
Using local DNS caching