Archive
30 Jul 2024
eww to org
24 Mar 2024
wittgenstein's mistress
24 Mar 2024
la casa verde
11 Oct 2023
poor things
11 Oct 2023
in no particular order
30 Oct 2022
the cambridge centenary ulysess
30 Oct 2022
visual differential geometry and forms
04 Aug 2022
inline snippets and grouping in consult-recoll
31 Jul 2022
parisian lives
22 Jul 2022
consult recoll with live preview
10 Jul 2022
the last straw: xmobar at codeberg
19 Jun 2022
klara and the sun
19 Jun 2022
simple note taking
08 Jun 2022
slimmer emacs with kitty
29 May 2022
el infinito en un junco
16 Apr 2022
let's talk lisp
09 Nov 2021
relaying mail to multiple smarthosts with opensmtpd
08 Sep 2021
a high signal to noise emacs command
04 Sep 2021
apropos library
19 Aug 2021
notmuch threads folding in emacs
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 May 2007
playing with eli's toys
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
