Twitter/X

@nschiefer flagged an error in one of their team's CRDT simulation claims and…

2022-05-11 · 19:31 UTC ·@nschiefer ·0 min read

Brief

@nschiefer flagged an error in one of their team's CRDT simulation claims and invited readers to treat it as a challenge problem. The post signals an upcoming write-up but gives no details about the affected claim, leaving the main actionable insight as the existence of a known bug.

Source evidence

title: @nschiefer: And if you want an exercise to test your understanding: it turns out that there’s a bug in one of ou...
author: @nschiefer
contenttype: tweet
publication: Twitter/X
published: 2022-05-11T19:31:42+00:00
sourceurl: https://x.com/nschiefer/status/1524472334597373952

word_count: 42

And if you want an exercise to test your understanding: it turns out that there’s a bug in one of our CRDT simulation claims. We’ll write something up at some point but it could be fun to try to find it. 😉