Long-form build logs, design philosophy, and reveries.
Notes on using theorem provers for contemplation rather than verification.