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

A practical exploration of SICP’s wishful thinking as a design principle for both programming and life—using abstraction, trust, and lazy evaluation to move forward without demanding complete certainty upfront. ...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

A deep dive into C++ string internals—from C char types and encoding chaos to std::string, SSO optimization, string_view, and PMR allocators ...more