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