Now

Building

• CUDA Kernels
• Various Rust software

Reading

• 「暇と退屈の倫理学」 — 國分功一郎

Thinking about

• Automated Reasoning
• Self-destructing software
• Proof assistant
• Formal methods