Posts

• Feb 27, 2018

  Invariant vs. Induction

• Feb 20, 2018

  Pandoc to scrlttr2

• Sep 12, 2017

  Debug Lambda

• Aug 5, 2017

  Observatory and SSLLabs

• Apr 28, 2017

  Hledger web

• Jan 8, 2017

  Bitlbee

• Jan 7, 2017

  Taskwarrior

• Aug 16, 2016

  Setting up Weechat

• Jul 31, 2016

  The ASCII few know, control, BEEP!, escape

• Jan 22, 2016

  Installing Emacs

• Nov 14, 2014

  What I use Emacs for

• Nov 14, 2014

  Electromagnetism