gnomeduck

4 tahun yang laludiscuss

How does Redis do it now in 6.0 and later?

4 tahun yang laludiscuss

Can you speak more on why ‘making them actually consistent in production is a completely different story’?

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.

gnomeduck

5 tahun yang laludiscuss

FYI there is a setting under Privacy that will prevent notifying your current connections when you make changes to your profile.

Submissions

Why the Details Matter and the Big Transaction

comments