Posts

Welcome. This is a blog about reasoning, math, and software.

Expect: - technical posts - epistemic status statements - minimal fluff