Now

Last update: 2026-04-03

A quick update:

Like so many people before me, I have successfully failed the “work on a programming language without becoming transfem” challenge¹. This is great, I am super happy!
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. After a very bumpy 2025, my PB from September 2024 still stands. I have two chances to go sub-3 this year, in April and September.

I should probably clarify that this is a joke. As far as we know, whether or not someone is transgender is decided before they are born, and the question is when you notice it. In my case, there were many signs and if I had known what to look for I could have known much earlier. This is explained in much more detail over at genderdysphoria.fyi, which is a great read for people who want to learn more about the topic and be better allies. ↩