I’m a jazz pianist and a (mediocre) bass player. I also like to make music and draw.
My favorite movie is Chungking Express. My favorite show is Better Call Saul. My favorite video games are The Legend of Zelda: Ocarina of Time and Portal 2.
I was born on April Fools’ Day, 2004.
Catala, a DSL for deriving algorithms producing automated legal decisions
Rules-as-Code, “when rules are encoded in a clear, accessible, consistent manner, and made publicly available, they can be used to power legal automation, simulation, and verification tools”
A Categorial Manifesto - Joseph A. Goguen, an explanation on why category theory is useful to CS
Computational Trinitarianism, an article on how mathematical logic, computer programs, and category theory are fundamentally related
DisCoCat, short for categorical compositional distributional semantics, a category-theoretic formulation of linguistics