proof

7 feeds in the directory cover this.

Musing about programming languages and computer science.

The two big problems in combinatorics and theoretical computer science

Making sense of everything Bitcoin

Public routes into Observer Patch Holography: plain-language introductions, formal papers, simulations, essays, and ways to test the claim.

Exploring the Computational Logic Literature