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.