Building
- CUDA Kernels
- Various Rust software
Reading
- 「暇と退屈の倫理学」 — 國分功一郎
- The Daily Dad: 366 Meditations on Parenting, Love and Raising Great Kids — Ryan Holiday
Thinking about
- Automated Reasoning
- Self-destructing software
- Proof assistant
- Formal methods