I'm a compiler engineer working on VHDL compilers.
I write about C++, compilers, and programming languages — mostly to figure things out for myself. If it helps you too, that's a bonus.
Currently learning SICP and building Coogle, a Hoogle-style search for C++.
Why Emacs balances its property tree by total character count instead of node depth—a weight-balanced design that yields to the physical reality of text editing. ...more
Just watching the metal birds take-off. Sorry for the grainy photo.
Whenever I feel emotionally tired, I decide to go to the airport for some plane… ...more
Implementing dynamic typing in statically-typed systems: exploring Tagged Unions, Fat Pointers, Emacs's Tagged Pointers, and Struct Embedding. ...more
From von Neumann architecture to C struct memory layouts: understanding the core data representation of Emacs Lisp. ...more
Exploring why GNU Emacs embeds a Lisp interpreter in C -- from TECO marcos to Greenspun's Tenth Rule, with architecture comparisons to Neovim and VSCode ...more