Lobsters
Better generated branch names with jj
The jj version control system generates branch names that leave something to be desired. Here’s my alternative.
Lobsters
How we used Quint to find over 10 bugs in SQLite while hardening Turso
Pavan Nambi used Quint to model the SQLite C API, generate traces, and run them against SQLite. The exercise hardened Turso and surfaced over 10 bugs in SQLite itself.
Lobsters
Under the Hood: Building a Real-Time Chord Recognizer
A technical deep-dive into the pitch-class bitmasks, chord-quality templates, scoring and ranking heuristics, and LRU cache behind real-time chord identification.
Lobsters
GitHub - tomekw/stcc: The Super Tiny Compiler in Ada
The Super Tiny Compiler in Ada. Contribute to tomekw/stcc development by creating an account on GitHub.
Lobsters
Software's Centaur Era - Richard Marmorstein
Will AI automate away all the software jobs? Not until humans have nothing left to contribute -- and that era hasn't even begun.
Lobsters
My domain got abused on Github Pages — Roland Meertens
How a wildcard DNS record pointing at GitHub Pages let strangers spin up scam subdomains on my own domain — and what should change.
Lobsters
The Unreasonable Effectiveness of ProseMirror Model in Rich Text Transformation
About month a go I might have added a minimal implementation of ProseMirror Model in Storyteller’s alignment package. But I can explain! It’s not my fault! It’s just that ProseMirror’s data model is such a good fit for rich text. I couldn’t resist. I don’t...