Systems research sits between application above and hardware below — the layer that lets software actually reach silicon. The good ideas inside the field cross-pollinate constantly. Symbolic execution — born at the intersection of security and compiler analysis — turns out to drive optimal scheduling design. CHERI capability hardware, built for memory safety, turns out to be a candidate fix for Java's stop-the-world GC pauses. Verifying whether a cross-domain idea like that is real used to cost a PhD-year — sometimes two — of literature, positioning, and prototyping before you'd know.

A current top-tier model collapses most of that front-loaded cost. The bottleneck moves to the human who can frame a sharp enough cross-field question. The thing I'm honestly curious about — and the thread running through what's posted here — is how short this innovation cycle can actually become.

Writing

2026-05-19The trigger is the bottleneck
A 60-minute cross-domain research session with Opus 4.7 on CHERI capabilities × Java garbage collection. What the model did well, where it pushed back, what it couldn't do.

Currently