Post #1266028

2025-09-12 01:30 UTC

Come see our group&#39;s stuff next month at ICFPOOPSLA in Singapore! ☯️ &quot;CRDT Emulation, Simulation, and Representation Independence&quot; at ICFP on Wednesday: https://icfp25.sigplan.org/details/icfp-2025-papers/24/CRDT-Emulation-Simulation-and-Representation-Independence 🚀 &quot;Exploring the Theory and Practice of Concurrency in the Entity-Component-System Pattern&quot; at OOPSLA on Thursday: https://2025.splashcon.org/details/OOPSLA/4/Exploring-the-Theory-and-Practice-of-Concurrency-in-the-Entity-Component-System-Patte

Replies (4)

@lindsey@recurse.social 2025-09-12 01:33

(My eight-year-old daughter suggested using ☯️ when I said I wanted an emoji to represent the concept of "two things that are different but also the same". I'm not sure it's quite right, but I don't really have a better idea, either!)

Open ##2478043
@lindsey@recurse.social 2025-09-23 18:15

We also pitched in with this paper led by Grant VanDomelen and @liyao@mastodon.acm.org! ➡️ "Freer Arrows and Why You Need Them in Haskell" at the Haskell Symposium on Thursday: https://conf.researchr.org/details/icfp-splash-2025/haskellsymp-2025-papers/10/Freer-Arrows-and-Why-You-Need-Them-in-Haskell

Open ##2478044
@shriramk@mastodon.social 2025-09-12 01:33

@lindsey@recurse.social Congrats on the two papers! (One of course was not a surprise. <-;)

Open ##2478056
@tobinbaker@discuss.systems 2025-09-12 01:44

@lindsey@recurse.social on a more pop-CS note, did you see Joe Hellerstein’s recent blog series on CRDTs? Curious to hear more academic opinions on it.

Open ##2478058