Archive
06 Jun 2021
in no particular order
17 May 2021
fun with dependent types
17 May 2021
reading and searching gmane with gnus, fast
05 Apr 2021
reading source code is fun
11 Mar 2021
notmuch queries via consult
26 Feb 2021
simplicity pays off
01 Feb 2021
consulting hunks
21 Jan 2021
consulting spotify in a better way
21 Jan 2021
an emacs packages hat trick
11 Jan 2021
an even better video wharf
09 Jan 2021
embarking videos
08 Jan 2021
consulting spotify
29 Dec 2020
what's not to like
25 Dec 2020
appius and virginia
31 Oct 2020
two decades of gnu mdk
07 Oct 2020
the simulacra
31 Aug 2020
exhalation
08 Aug 2020
xmobar: a battery trick
09 Jul 2020
this is shakespeare
02 Jul 2020
the mode lines i have not seen
13 May 2020
unlearn
12 May 2020
ace window
08 May 2020
a gnus enters a side-bar
04 May 2020
observatory
02 May 2020
transient
01 May 2020
dancers at the end of time
27 Feb 2020
imagine
26 Feb 2020
literate programming
23 Feb 2020
signel, a barebones signal chat on top of signal-cli
11 Feb 2020
simplicity
06 May 2017
gödel's incompleteness illustrated
30 Nov 2016
donald stewart on haskell in the large
29 Nov 2014
emacs tip: tweeting from emacs-w3m
06 Aug 2014
spj's y-combinator in scheme
19 Jun 2013
where my mouth is
03 Dec 2009
enjoying haskell
30 Nov 2009
time
29 Mar 2009
sussmaniana
10 Jul 2007
erlang now!
20 Jan 2007
record, play, re-play in emacs
17 Jan 2007
eval and replace anywhere
14 Jan 2007
editing your file names
14 Jan 2007
the ghost in the lisp machine
03 Sep 2006
categories and the lambda calculus
17 Jul 2006
the dimensionality of the world
06 Jul 2006
geometrically speaking
28 May 2006
the third policeman
27 May 2006
leibniz space-times
01 May 2006
physics quotes
17 Mar 2006
programmers go bananas
12 Feb 2006
continuation kata
05 Feb 2006
beyond mainstream object-oriented programming
19 Jan 2006
as simple as possible...
14 Jan 2006
