Source feed
1976 items
A computing-focused community centered around link aggregation and discussion.
Lobsters
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.
Topics: Databases
Entities: Databases
Lobsters
Freecoding improves broader programming proficiency
Topics: Programming
Entities: Programming
Lobsters
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
The Super Tiny Compiler in Ada. Contribute to tomekw/stcc development by creating an account on GitHub.
Lobsters
Will AI automate away all the software jobs? Not until humans have nothing left to contribute -- and that era hasn't even begun.
Lobsters
How a wildcard DNS record pointing at GitHub Pages let strangers spin up scam subdomains on my own domain — and what should change.
Lobsters
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...
Lobsters
A deep dive into debugging sporadic CI hangs on Windows, leading us through process dumps, WinDbg, and finally uncovering a deadlock between Rust thread destruction and the JVM's safepoint mechanism.
