Sonic Pi Web and Figurate Numbers, Minified
Sonic Pi landed on the web in September. Do you remember? I spent an afternoon minifying my own Ruby gem just to make it play smoothly What is Love from a QR code.
A Brief Flight of Morita's p-adic Gamma in Sonic Pi
Yes, the Gamma function appears in countless mathematical places and now I’m putting it to work in Sonic Pi with a little twist of p-adic numbers.
Two Years Leading to FigurateNum v3 Visualizations in the Complex Plane
A short personal note on a new way of visualizing figurate numbers in FigurateNum v3, bringing them into the complex plane through generating functions and domain coloring.
Perfectoid Rings Breakdance in Sonic Pi?
I move through perfectoid rings, p-adic towers, and the Frobenius map, wondering if any of it could ever end up in Sonic Pi’s sandbox.
Do Group Actions Define Regular Polytopes and Polytypes in Type Systems?
I introduce an analogy between transitive group actions on flags of polytopes and type systems. This speculative concept aims to offer a naive way of understanding and classifying types through symmetry.
Gamma Functions for Figurate Numbers
I plant a question motivated by generalizing the GCD to varieties and inspired by Euler's interpolation: Does there exist a function attached to each figurate number that extends it to continuous domains, analogous to how the Gamma function extends the factorial?
Counting a Figurate Property in Cayley–Dickson Algebras
A naive question about Cayley-Dickson algebras, enumerated by a figurate number via type systems, and how that question naturally incorporates itself into other algebraic structures and particularities.
Category of Modules and Type-Level Programming with Figurate Numbers
I invite you to explore the intersection of figurate numbers and module theory, where type-level programming unlocks new possibilities for math and live coding music.