Observed arrival · 2026-10-21
Taumorrow: rules you can recompute
Taumorrow presents proof-based chess, multiplayer game systems, and a playable game built around rules that can be checked and recomputed.
○Open
⊠Login
$Paid
†Ads
✦Pretty
●Pro
◎Niche
◉Human
⚑Risk
ƒJS
- For
- Formal-methods and game-systems builders
- Worth noticing
- The chess records include PGN and JSON files plus verify.py; the site says all 40 games are public.
Field notes
The chess section separates public model matches from training material and links records in PGN and JSON alongside a verification script. The site also describes AXIOM as a two-to-four-player game where the rules, inputs, and outcomes are represented as Tau Language formulas; it says the surrounding services only carry messages. These are project descriptions on the homepage, not independent validation of the implementation.
Observed signals
Read the marks
Editorial observations of this landing page, not a rating.
○OpenPublic substance visible
✦PrettyNotable craft visible
●ProPolished or operationally mature
◎NicheUnusually specific use
One card from the complete issue