Work that stays in its own product, linked from here.

Calendar, tasks, and notes.

Papers, and a private Markdown + TeX writer.

Precision dictionary plus a Lean-English kernel. You edit; agents draft. Not physical_validation.

A whole-cell model as a template bound to one organism's data. Shows where a growth prediction rests on measurement and where it rests on assumption, in the same picture.

Decides which level of physics can answer a question to the tolerance asked, and refuses the ones that cannot.

Brain-scale dynamics and analytic EEG source imaging, built around the one question a model with a dozen free gains can dodge: was this parameter fitted to the very thing it is now being cited as evidence about?