3 ms·
Good luck trying to get something like Paxos correct by poking at it in a REPL.
by yencabulator 2y ago
Good luck trying to get something like Paxos correct by poking at it in a REPL.
- hresvelgr 2y agoNot what I'm advocating and certainly not REPL. When I'm talking about a live environment, I mean something _like_ Pharo [1]. I'm arguing against long compile and deploy loops, not formal verification. [1] https://pharo.org/ https://pharo.org/