yan@yandesbiens:~$ ./graph --render
Knowledge graph
The whole program as one connected object — 5 threads, 8 projects, 1 proof drop, 2 repositories. It's generated from the same canonical data as /research, /status, and /cite, so it can never drift from the work.
drag nodes · hover to trace links · click to open · filter by thread above
Each new proof drop adds a node and its edges automatically — the graph gets denser with every result. That's the whole idea: nothing in isolation, everything compounds.
yan@yandesbiens:~$ subscribe --proof-drops
Watch the graph grow.
Every proof drop adds a node. Subscribe to follow the program as it densifies.