About
kekeho
TiDB PD's Timestamp Oracle
PD
TSO
BBS+署名
Verifiable Random Functions
Gordian Envelopes
Keep CALM and CRDT on
CRDT
Commutative
Associative
ACI
論理時計
CALM Theorem
CAP定理
Relational transducer
Negation-centric equivalent
Universal quantifier
Program Consisitency