Blog
Category of Modules and Type-Level Programming with Figurate Numbers
A piece on the intersection of figurate numbers and modules, demonstrating how type-level programming unlocks new ideas for math and live coding music.
ReadA Field Extension Perspective on Formal Languages
This post explores an analogy between formal languages and field extensions, using ideas from Galois theory to reframe truth, interpretation, and metalanguage hierarchies in logic.
ReadForging a Live Coding Tonnetz Library in TypeScript
Bringing together topology, group theory, and music into Ziffers and the interactive live coding environment Topos.
ReadGenerators as Symbolic Exploration
A reflection on the extension and unification of figurate numbers within broader mathematical contexts.
ReadMy Journey with Figurate Numbers
How I developed two of my most downloaded libraries that fuse mathematics, art, and music.
Read