Now
What I'm doing now
A snapshot of current focus, in the spirit of nownownow.com .
Updated May 12, 2026 · Seoul, South Korea.
Working on
- Jetson Orin firmware bring-up
- Writing the Effective Modern C++ series
- Drafting a Rust embedded primer
Reading
- A Philosophy of Software Design — Ousterhout
- Linkers and Loaders — Levine
Learning
- Lean 4 (theorem proving)
- Zig for embedded targets