April 3, 2025 I love simple abstractions and organisations that are designed to be straightforward, honest,
and beautiful from the inside out. I also love programming
languages, buildings, cute characters, text messages, and theorem provers. I'm cautiously optimistic
about the future of computer-aided creative expression.