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.
Sonic Visualiser conoce a Toretto y su familia de cosenos
Muchas ventanas como Hann, Blackman, Nuttall son un combinado de chifa de cosenos antes de la carrera. Aquí las vemos con algo de generalidad en lectura a primera vista.
Sonic Pi 5 RC First Impressions with What Is Love
A long walk through the Sonic Pi 5 release candidates, including my contributions with fixes for Gabberkick validation and autocomplete issues, alongside explorations of new interface improvements, documentation workflow, musical features, the mathematical ideas behind them, custom card decks, and my adaptation of What Is Love by Haddaway.
Can Axiomatic Systems Have a Geometry and a Type?
A Saturday reflection on imagining a geometry of axiomatic systems and wondering whether theories could become types that carry information about what can and can't be proven about them, inspired by proof assistants like Lean.
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.