How does Redis do it now in 6.0 and later?
248 karma · joined September 3, 2018
Curious because I’ve been learning TLA+ recently and interested to more know about cases where an algorithm has been proven but actual an implementation of it fails.
There will never be any shortage of interesting startups to work for in the future.