Oliver J. ChoOliver J. Cho — New York. Alpine Research (RoomJudge, Dialed), Seed Artists, and notes.https://oliverjcho.com/Two Necessities in a Machine-Checked Ethics: What Survives Without Causa Suihttps://oliverjcho.com/writing/what-survives-without-causa-sui/https://oliverjcho.com/writing/what-survives-without-causa-sui/Toggling causa sui and modal bridge axioms in a Lean 4 formalization of Spinoza’s Ethics Part I—and watching which theorems hold, fail, or split apart.Sat, 14 Nov 2026 00:00:00 GMTWhy 'Over-Extracted' Is Usually Two Different Problemshttps://oliverjcho.com/writing/why-coffee-tastes-off/https://oliverjcho.com/writing/why-coffee-tastes-off/Most brewing advice collapses four independent physical outputs—strength, average extraction, flow evenness, and body—into a single dial.Sat, 14 Nov 2026 00:00:00 GMT