Technical Blog

Explainer: Tree-sitter vs. LSP

21 January 2026

Running

9 January 2026

Typst for Your Code Blocks

20 November 2025

Federate Away From GitHub

18 November 2025

How I Organize the Papers I Read

3 October 2025

Getting Started With Lock Picking

21 August 2025

AI stands for “Artificial Inanity”

4 August 2025

Bedrock Version 1.5.0 Released

15 July 2025

How I Take Notes for Research

11 July 2025

Programmers and Their Monospace Blogs

24 June 2025

Real Programmers

13 May 2025

A Quick Guide to LaTeX

6 February 2025

What's New in Emacs: Last Decade Edition

14 December 2024

Should Programming Languages be Safe or Powerful?

21 November 2024

Towards the Fastest Brainf*** Implementation Ever

22 October 2024

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

15 October 2024

Why You Should Resist Surveillance

26 September 2024

First-Class Helper Functions

11 September 2024

Fancy lightweight prompts for Eshell and Zsh

19 August 2024

Notes on Zero-Knowledge Proofs and Secure Remote Password (SRP) Protocol

6 August 2024

How, Where, and Why I Take Notes

29 July 2024

Evolving Languages Faster with Type Tailoring

15 July 2024

Skills That I Needed When I Started My PhD

9 July 2024

I Probably Hate Writing Code in Your Favorite Language

27 June 2024

Lessons From Writing My First Academic Paper

21 June 2024

Chorex: Guaranteeing Deadlock Freedom in Elixir

3 June 2024

My Top Emacs Packages

30 May 2024

Boilerplate Busting in Functional Languages

6 May 2024

Building a Text Editor in Haskell, Part 1

27 March 2024

Functional Languages Need Not Be Slow

20 December 2023

Why Don't More Languages Have a call/cc Operator?

30 October 2023

Deriving Recursion from First Principles

2 October 2023

My Commitment to Intellectual Integrity

23 September 2023

Reflections one year into a PhD program

5 August 2023

Warp Factor Refactoring in Emacs

1 June 2023

Writing Racket Macros: define-syntax and phases

19 May 2023

Meta: Update should fix RSS feeds

13 May 2023

The kind of thinking computer science enables

11 May 2023

Using a Real Mail Client with Outlook

3 May 2023

Delimited Continuations

11 April 2023

The Case for Picking a Non-Mainstream Programming Language

10 April 2023

Praise for the pragmatic third camp

16 March 2023

Metric Worship, or: How a bad manager wrecked a (small) company

21 February 2023

What is a type system, really?

23 January 2023

Make an Emacs Buffer Open the Way You Want

27 December 2022

What I Like in a Font for Code

5 December 2022

Never surrender your password

22 November 2022

Continuations—what are they?

17 November 2022

Unix As a Tool Forge

7 November 2022

Yet another blog revamp

26 October 2022

Email, Getting Work Done, and Corporations, Or: Outlook Considered Harmful

28 August 2022

Today I learned: Vertical monitors and subpixel anti-aliasing

11 August 2022

A New Font

1 August 2022

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

27 July 2022

Adding a Clock to the Tab-Bar in Emacs 28

20 July 2022

Rules for Social Media

17 July 2022

microKanren Reading

4 July 2022

Blog update

2 July 2022

Complete and Liveness, Safe and Sound

2 March 2022

Class Management Reviews: Fall 2021

18 December 2021

Foundations of High-Modernist Ideology in Metropolis

7 December 2021

Programs and Intent

9 November 2021

Models of Programming

24 October 2021

Ode to Used Book Stores

3 August 2021

Control-Flow Analysis

27 July 2021

Using a Raspberry Pi for Proctorio

30 January 2021

FreeBSD on a Raspberry Pi 4 with 4GB of RAM

28 December 2020

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

11 December 2020

RMS Does Not See the Future of Emacs

27 November 2020

The Social Dilemma

27 October 2020

Thoughts on Goals in Programming Language Design

4 August 2020

Transitioning to GUI'd Emacs on macOS

22 July 2020

Programming Languages and Typography

15 June 2020

Computers and Abstractions

20 May 2020

Starting Fresh

9 May 2020

FreeBSD on a Raspberry Pi

12 February 2020

Switching from Helm to Ivy

13 December 2019

Macros with Elixir

27 February 2019

Citations with Pandoc

6 February 2019

Marked Man

24 January 2019

Semester Finished

14 December 2018

Editors, or The Tools of my Trade

6 December 2018

Induction and Side-Effects

8 October 2018

Life Hacks: Text Notifications

11 August 2018

Drafting

18 November 2017

Rapid Website Development with Mojolicious and Polymer

9 November 2017

Eh, Docker, we have a problem here…

26 October 2017

Emacs Tips and Tricks

23 September 2017