Now

• Expanding RoomJudge and physical extraction models in Dialed under Alpine Research.
• Machine-checking axiom-toggle experiments on Spinoza’s Ethics Part I in Lean 4 (notes & interactive explorer) and building the Encheiridion drill hall.
• Preparing for The Freedom of Sound Fête (December 5 in Montclair) to benefit The Peter Bodge & Seed Artists Jazz Library, featuring Billy Hart, Craig Taborn, Rudresh Mahanthappa, and Tarik Shah.

Inspired by Derek Sivers’ /now page movement.