# Oliver J. Cho (Oliver Junghoon Cho)

> Oliver J. Cho — New York. Alpine Research (RoomJudge, Dialed), Seed Artists, and notes.

- Canonical URL: https://oliverjcho.com
- Short URL: https://ojcho.com
- Location: New York, NY
- GitHub: https://github.com/Oliver-Cho
- Email: oliver@oliverjcho.com

## Projects & Affiliations
- **RoomJudge** (2026): Spatial physics and Form-School room layout solver — diagnosing clearance geometry and sightlines with zero-cost rearrangements first.
- **Dialed** (2026): Interactive coffee brewing simulator separating strength, extraction yield, flow evenness, and body using peer-reviewed extraction kinetics.
- **Enchiridion** (2026): A drill hall for Epictetus's handbook — each line is a weapon you draw by typing it from memory, then use on a real worry.
- **Seed Artists** (Board): Nonprofit presenting creative improvised music and building The Peter Bodge & Seed Artists Jazz Library in Montclair and New York.

## Writing
- [Two Necessities in a Machine-Checked Ethics: 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.
- [Why 'Over-Extracted' Is Usually Two Different Problems](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.