programming (and other) musings

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

09 Nov 2021

relaying mail to multiple smarthosts with opensmtpd

20 Nov 2021

in no particular order

Creative Commons License
jao.io by jao is licensed under a Creative Commons Attribution-ShareAlike 3.0 Unported License.