Now
- Tidying and generally trying (and failing) to stay ahead of entropy.
- Trying to speed-run a political education by reading whatever catches my eye. Currently learning about the Black Panther Party.
- Trying to learn enough about formal verification to start building something sound atop seL4, Muen, or my own as-of-yet-unbegun thing.