Why this blog exists, what I expect to publish here, and a note on the type-driven, deliberately-quiet design.