Modeling CRDTs in Alloy – the importance of idempotencebytes.zone114 points·by brianhicks·il y a 3 ans·8 comments
Show HN: Tree-grepper. Like grep, but uses tree-sitter grammarsbytes.zone2 points·by brianhicks·il y a 5 ans·0 comments
brianhicks·il y a 3 ans·discussThanks for the pointer. I looked for that quote for a while and couldn't find it. Go figure that it would be on a page I literally linked from the post.Now that I have it, I'm going to edit the post to make it less misremembered.
Now that I have it, I'm going to edit the post to make it less misremembered.