[[![[Feed]](/static/images/icons/feedicon.gif)
]]
]]
Latest news
- Sun, 02 Aug 2026:
A proof that Burro is Turing-complete was found using Claude Opus 4.8.
Read more... - Sat, 04 Jul 2026:
define-opaque 0.3 is released - now with more Information Hiding in Scheme.
Read more... - Sun, 28 Jun 2026:
The Ebfer language supports embedding Lome program proofs.
Read more... - Sat, 20 Jun 2026:
Cosmos Boulders has finally been rebuilt with Nested Modal Transducers.
Read more... - Sat, 21 Mar 2026:
We present Lome, a markedly simple proof language.
Read more... - Sun, 08 Mar 2026:
Much of Cosmos Boulders has been rewritten in Jaft using concoctor.
Read more... - Fri, 06 Mar 2026:
Spinner Sanctum is our initial gewgaw of 2026.
Read more...
...
Also: