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

Using Lisp to manage complexity in high-performance memory modeling. ...more

Building a type signature search engine for C++ inspired by Haskell's Hoogle—tackling libclang AST traversal, template canonicalization, and performance optimization ...more