CloK Press

Which directed graphs arise as the zero / non-zero pattern of an orthogonal upper Hessenberg matrix — and why the answer is a subset of $\{1, \dots, n-1\}$.

A loop in the plane that does not cross itself divides the plane into an inside and an outside — and why that is a theorem rather than an observation.

A community collection of code examples, comparing the performance of implementations that satisfy the same specification. The examples help us learn how to specify and verify code (Open Source from Day 1). AI tools are used in preparing parts of the documentation and code.

Community notes for an emerging verified decentralized superintelligence system (Open Source from Day 1). AI tools are used extensively to write the documentation and develop the code. Please contact the creator directly for an accurate account of the project's current progress.