Dominik Tornow
@DominikTornow
Founder @resonatehqio | Distributed Async Await | Think Distributed Systems |
634 Following 12.2K Followers
So @MichaelArnaldi mentioned @EffectTS_ and formal verification in the same sentence and my day is gone.
Nerd-sniped.
I asked @MistralAI to prove a correctness guarantee of the Resonate protocol: Once a promise is reported settled, the promise will never report a change.
Two hours in. Will report back.
Show more
