Now
Teaching computer science at a public high school in Manhattan — working through a curriculum scaffolded from Harvard's CS50, which means translating rigorous material for students encountering it for the first time. It's harder than it sounds. It's also good practice.
Building in parallel: a data scraping project pulling IBJJF competition results for visualization in Tableau, sharpening Python and SQL, and getting into AI tooling. Also learning Lean — formal proof verification — with an eye toward autoformalization.
Reading Yōko Ogawa's The Memory Police. Sitting with Graeber after finishing Bullshit Jobs and The Utopia of Rules back to back — hard not to think about the nature of work differently after that. Studying stochastic processes and returning, as always, to category theory.