Modeling CRDTs in Alloy – the importance of idempotence(bytes.zone)

106 points by brianhicks 3 years ago | 5 comments

Modeling Git Internals in Alloy, Part 2: Commits and Tags(bytes.zone)

110 points by surprisetalk 3 years ago | 16 comments

Claude Code is your customer(calebjohn.xyz)

61 points by mfbx9da4 9 months ago | 43 comments

Raku: A language for gremlins(buttondown.email)

355 points by azhenley 3 years ago | 180 comments

Hillel Wayne's Computer Things newsletter post describing the Raku programming language as a quirky language 'by gremlins, for gremlins'.

100k TPS over a billion rows: the unreasonable effectiveness of SQLite(andersmurphy.com)

344 points by speckx 10 months ago | 124 comments

Blog post by Anders Murphy benchmarking SQLite at 100k transactions per second over a billion rows, arguing its embedded single-writer design helps it scale.

A Faster Alternative to Jq(micahkepe.com)

358 points by pistolario 7 months ago | 226 comments

Blog post introducing jsongrep, a JSON query tool, explaining its automata-based search engine and benchmarks against jq, jmespath, jsonpath-rust, and jql.