3 ms·
The interface looks pretty interesting! I think adding a way to select multiple universe nodes and say “I expect all these universes to converge on the value 6
by breatheoften 7y ago
The interface looks pretty interesting!
I think adding a way to select multiple universe nodes and say “I expect all these universes to converge on the value 66” and then serialize that expectation into a runtime verification which either runs during program execution or runs during program execution when in a concurrency sanitize mode would be pretty cool!
- xtofs 7y agoThanks for the suggestion we don’t provide that exact interface but we do allow querying over all the universes with a graph query language. In the paper we detail how to get the shortest path to all the end states which makes it a bit easier to debug.