• Today I learned: Vertical monitors and subpixel anti-aliasing
  Aug 11

• A New Font
  Aug 1

• How to write a type checker/type inferrer with good error messages
  Jul 27

• Adding a Clock to the Tab-Bar in Emacs 28
  Jul 20

• Rules for Social Media
  Jul 17

• microKanren Reading
  Jul 4

• Blog update
  Jul 2

• Complete and Liveness, Safe and Sound
  Mar 2

• Class Management Reviews: Fall 2021
  Dec 18

• Foundations of High-Modernist Ideology in Metropolis
  Dec 7

• Programs and Intent
  Nov 9

• Models of Programming
  Oct 24

• A programmable programming language? I'll drink to that!
  Aug 21

• Ode to Used Book Stores
  Aug 3

• Control-Flow Analysis
  Jul 27

• Using a Raspberry Pi for Proctorio
  Jan 30

• FreeBSD on a Raspberry Pi 4 with 4GB of RAM
  Dec 28

• Dr. Loopback, Or: How I Learned to Stop DOSing Myself and Love the Pi-Hole
  Dec 11

• RMS Does Not See the Future of Emacs
  Nov 27

• The Social Dilemma
  Oct 27

• Thoughts on Goals in Programming Language Design
  Aug 4

• Transitioning to GUI'd Emacs on macOS
  Jul 22

• Programming Languages and Typography
  Jun 15

• Computers and Abstractions
  May 20

• Starting Fresh
  May 9

• FreeBSD on a Raspberry Pi
  Feb 12

• Switching from Helm to Ivy
  Dec 13

• Macros with Elixir
  Feb 27

• Citations with Pandoc
  Feb 6

• Marked Man
  Jan 24

• Semester Finished
  Dec 14

• Editors, or The Tools of my Trade
  Dec 6

• Induction and Side-Effects
  Oct 8

• Life Hacks: Text Notifications
  Aug 11

• Drafting
  Nov 18

• Rapid Website Development with Mojolicious and Polymer
  Nov 9

• Eh, Docker, we have a problem here…
  Oct 26

• Emacs Tips and Tricks
  Sep 23