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