Redis
database
consistency
Jepsen
distributed system
database
distributed system
consistency
DNS
iOS
technology
self hosted
TLA+
cache
database
consistency
algorithm
distributed system
probability theory
math
technology
TLA+
Formal Proof
Distributed System
liveness
fairness
Aurora
distributed system
database
2PC
technology
Matrix
instant messaging
technology
GFW
China
Internet
technology
Matrix
instant messaging
censorship
social network
Twitter
Mastodon
technology
thoughts
Temple OS
programming
technology