Modeling CRDTs in Alloy – the importance of idempotence b bytes.zone 114 brianhicks 3 years ago 8 comments
Show HN: Tree-grepper. Like grep, but uses tree-sitter grammars b bytes.zone 2 brianhicks 5 years ago 0 comments
Now that I have it, I'm going to edit the post to make it less misremembered.