NOW
This is a now page.
- //learning Lean by working my way through the natural number game in nvim
- //building better RTL tools
- //working on a train-puzzle game in Bevy
- //understanding rustc, hoping to start contributing small fixes
This is a now page.