About

A place for research about software design, development, verification, validation, and tooling.

Blog

Exploratory writing and technical musings. Content here is provisional, time-bound, and allowed to be wrong later.

Projects

Documentation of concrete artifacts being built or maintained. Each project is a bounded system with its own context. The site itself is treated as a Project.

Foundations

Stabilized, cross-project knowledge. Content here represents distilled concepts, models, and terminology that are considered reusable and relatively durable.