Zanzi Tangle, now at Monoidal Cafe

Zanzi Tangle is a trailblazer at the intersection of advanced mathematics and computer science, currently channeling her profound insights at Monoidal Cafe. She is renowned for her groundbreaking work in transforming complex Category Theory into tangible code, pushing the boundaries of programming language design and compiler engineering.

Her detailed research, documented on her personal blog, showcases a deep dive into highly specialized areas. This includes pioneering efforts in Compiler Engineering for Substructural Languages, where she tackles the intricate problems of polymorphism and leverages techniques like Day Convolution for Covers. Her exploration extends to the foundational aspects of programming, demonstrated by her comprehensive analyses of Recursion Schemes with Idris and the profound journey from Lambda Calculus to Bicartesian Closed Categories. Zanzi's work consistently bridges the gap between theoretical rigor and practical application, illuminating new paths for formally verified and robust software systems. She is a true academic innovator, making complex subjects accessible and actionable.