igrnr.bsky.social
@igrnr.bsky.social
you've been visited by squirrel buddha
November 13, 2025 at 7:54 PM
you've been visited by squirrel buddha
IDK about CRDTs but this reminds me of the work around reversible concurrent computation. Check Reversible communicating systems by Danos and Krivine hal.science/hal-00784051...
hal.science
February 28, 2025 at 7:44 PM
IDK about CRDTs but this reminds me of the work around reversible concurrent computation. Check Reversible communicating systems by Danos and Krivine hal.science/hal-00784051...