Should programming languages be safe or powerful?

Implementing Type Systems as Macros

How to Make Racket Go (Almost) As Fast As C

I Probably Hate Writing Code in Your Favorite Language

My Top Emacs Packages

Boilerplate busting in functional languages

Praise for the pragmatic third camp

Unix as a tool forge (and how Emacs fits in Unix philosophy)

Models of Programming

FreeBSD on Raspberry Pi 4 with 4GB RAM