Mathematical Purity in Distributed Systems: CRDTs Without Fear · HackerTrans