myconull pfp
myconull
@unidendefi
The /negationgame sounds like a bicycle for the mind for mapping large latent spaces of theory conjectures. The graph interface looks really interesting and I can think of two immediate theory spaces to try out on
2 replies
0 recast
2 reactions

myconull pfp
myconull
@unidendefi
I hope I got what the negation game is about, above is just my overlay mapping from what I’ve seen to what I need
1 reply
0 recast
1 reaction

Volky pfp
Volky
@volky.eth
Still ways to go to improve the UX and make it adequate to handle large graphs, but yeah, that's the idea.
0 reply
0 recast
0 reaction