Now

Last update: 2026-06-19

A quick update:

• Being trans is great.

• I am still working on Lean's standard library and get to work towards making production-ready formally verified software a reality. I am very grateful that I can work with a great team on such an exciting project.

• I am still chasing after a 3 hour marathon. I very slightly improved my PB in April (3:05:46 to 3:05:35) and will try again in September.