A wild ping appears!

You may know me from my work on Flutter or one of many other projects:

• Boxy - A popular package for creating complex layouts in Flutter.
• Puro - A high-tech version manager for Flutter.
• DZ3 - High level Dart bindings to the Z3 theorem prover.
• Notes - A place for my personal notes.

I also do a lot of low-level systems, robotics, cybersecurity, proof assistants, and cloud infrastructure.