An Interactive Intro to CRDTs (2023) - Tech Sentiments