Sean Collins. Northwestern / Medill-adjacent builder. Tools for making infrastructure and evidence legible — the same job Knight Lab does for stories, applied to cables, markets, and proofs.
Most of the workbench stays private. A large private corpus is not a portfolio. TimelineJS won because it was one tool a journalist could use, not four hundred repositories.
| Tool | One sentence |
|---|---|
| logic-zig | An executable museum of logic: one system, one evidence file, Zig. |
| finance-segway | The story behind the numbers: hashed historical cases, not a forecast. |
| MarketDataSimulator | A teaching exchange: snapshot and incremental market data. |
| lean-action | A contribution fork of Lean CI — not a product. |
Maps of submarine cables. Hugging Face tokenizers and safetensors in Zig. An EVM that diffs against the spec. An editor kernel. An SBOM checker.
Those become public one at a time, after a clean clone builds and a five-minute README exists.
- Status words: sketch / scaffold / compiled / unit-tested / integration-tested / audited / benchmarked.
- Speedups without commit, hardware class, workload, and script are not claims.
- Repo count is not a credential.
- leanprover/lean-action#187 — detect
lean_libmodules for nanoda.