In July 2025, the Trump administration shut down the 988 Suicide & Crisis Lifeline’s specialized services for LGBTQ+ youth, a federally funded program that had served an estimated 1.5 million young people since 2022. The Trevor Project, which operated nearly half of that service’s contact volume, continues to provide 24/7 crisis support independently, but now without federal funding. If you’re able to, please consider donating.
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 near the Monongahela river.
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