4 ms·
Can't resist posting this (from Classic Programmer Paintings) “Raft Consensus Algorithm Failure”,Théodore Géricault, 1819 https://classicprogrammerpaintings.c
by henrik_w 3y ago
Can't resist posting this (from Classic Programmer Paintings)
“Raft Consensus Algorithm Failure”,Théodore Géricault, 1819
https://classicprogrammerpaintings.com/post/614108749635928064/raft-consensus-algorithm-failure-th%C3%A9odore https://classicprogrammerpaintings.com/post/6141087496359280...
- harryfyx 3y agoRaft has a TLA+ proof, which should make it "bug free". I understand your post is a joke, but I wonder if there are actually any errors.
- henrydark 3y agoActually, AFAIU the TLA+ proof is only for a few small cluster sizes - not for all sizes. And the number of nodes in the painting is definitely above that checked by TLA+...