Archive

in no particular order

relaying mail to multiple smarthosts with opensmtpd

a high signal to noise emacs command

apropos library

notmuch threads folding in emacs

fun with dependent types

reading and searching gmane with gnus, fast

reading source code is fun

notmuch queries via consult

simplicity pays off

consulting hunks

consulting spotify in a better way

an emacs packages hat trick

an even better video wharf

embarking videos

consulting spotify

what's not to like

appius and virginia

two decades of gnu mdk

the simulacra

exhalation

xmobar: a battery trick

this is shakespeare

the mode lines i have not seen

unlearn

ace window

a gnus enters a side-bar

observatory

transient

dancers at the end of time

imagine

literate programming

signel, a barebones signal chat on top of signal-cli

simplicity

gödel's incompleteness illustrated

donald stewart on haskell in the large

emacs tip: tweeting from emacs-w3m

spj's y-combinator in scheme

where my mouth is

enjoying haskell

time

sussmaniana

erlang now!

record, play, re-play in emacs

eval and replace anywhere

editing your file names

the ghost in the lisp machine

categories and the lambda calculus

the dimensionality of the world

geometrically speaking

the third policeman

leibniz space-times

physics quotes

programmers go bananas

continuation kata

beyond mainstream object-oriented programming

as simple as possible...

the joy of repl