Modeling CRDTs in Alloy – the importance of idempotencebytes.zone114 points·by brianhicks·há 3 anos·8 comments
Show HN: Tree-grepper. Like grep, but uses tree-sitter grammarsbytes.zone2 points·by brianhicks·há 5 anos·0 comments
brianhicks·há 3 anos·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.