Notes
Writing
This section is ready for essays, research notes, and project retrospectives. No blog archive is wired up yet.
Planned Topics
- Practical TLA+ modeling patterns.
- Counterexample analysis for financial protocols.
- Deploying small technical demos without overbuilding.