Code

I’m mk12 on GitHub. Here’s some of the code I’ve written.

Active projects

SICP Study: I’m reading Structure and Interpretation of Computer Programs and making a website for it with study notes and solutions to the exercises. My goal is to make this the absolute best resource for SICP online.
VS Code: Better Git Line Blame: I got fed up with GitLens and decided to make my own git blame VS Code extension that’s efficient and minimal.
VS Code: BQN: I took over maintenance of this extension in 2024 after its original author sadly passed away.

Schemer: I own all the Schemer books. I’ve read Little, Seasoned, and Reasoned, but haven’t yet started Prover or Typer.
Semaphores: I started reading The Little Book of Sempahores and solving the problems in C. I’m on Chapter 5, about halfway through the book.
Analysis I: I’m formalizing Analysis I by Terence Tao. I started with Lean but later switched to Coq. I’m on Chapter 3 with a long way still to go.
Notes4U: My high school notes on chemistry, physics, and math. They still get a surprising amount of traffic. I still use them as a test bed for static site generator ideas like using Pandoc Lua filters or MathML rendering.

AoC: Every December I participate in the Advent of Code. Lately I’ve been using it to learn array languages like BQN and Uiua.
Project Euler: I’ve restarted this in different languages several times.

VS Code: Narrow Search: A plugin for narrowing project-wide searches to the current file’s directory or to a predefined set of directories.
Vim Meta: A plugin that brings readline/Emacs/VS Code shortcuts to Vim.
Fish FZF: A Fish plugin for FZF that packs almost everything into a single “do what I mean” shortcut for navigating directories and opening files.
Fish VS Code: A Fish plugin that makes the code CLI work on the remote machine when you’re using VS Code Remote Development.

Base16 Solarized Scheme: Almost everyone does Solarized wrong, and the Base16 theming system is no exception. I tried to fix it.
Base16 Modern Scheme: Base16 port of VS Code’s default themes.

TCMC Path: Code for the MiSE’19 paper I coauthored, “Extracting counterexamples from transitive-closure-based model checking” [PDF].
George: I contributed to the George program used in SE 212: Logic and Computation at the University of Waterloo, and implemented its web UI.
Zeldalloy: I had some fun solving Zelda puzzles in Alloy.