If you're just going to sit there doing nothing, at least do nothing correctly #Programming #SoftwareDevelopment #Productivity
Why Ruby Still Feels Like Home After All These Years #Ruby #Programming #Dev
I've built a virtual museum with nearly every operating system you can think of #Retrocomputing #OperatingSystems #TechHistory
Ways for an Open Source Project to Die #OpenSource #Dev #Community
Emacs after Magit #Emacs #Programming #OpenSource
Tonic is joining the gRPC project #Tech #OpenSource #Rust
Chasing down why installing the kernel segfaulted #Kernel #Debugging #Linux
I am not a Software Engineer #SoftwareEngineering #Career #Tech
pgBackRest with continue #Databases #PostgreSQL #OpenSource
On the Unreasonable Effectiveness of Property-Based Testing for Validating Formal Specifications #Testing #SoftwareEngineering #FormalMethods
Pokemon compression myth #Games #Performance #Tech
pg_deltax: Apache-licensed time-series extension for PostgreSQL #Databases #PostgreSQL #OpenSource
PinTheft Linux LPE #Linux #Security #Exploit
Better generated branch names with jj #Git #DevTools #Programming
Human Bottlenecks #AI #Tech #Productivity
How we used Quint to find over 10 bugs in SQLite while hardening Turso #Databases #Programming #Security
It's all in the name #Security #Programming #Tech
Type out the code #Programming #Haskell #Code
What would you want from a forge? #OpenSource #DevTools #Community
Under the Hood: Building a Real-Time Chord Recognizer #Programming #Music #AudioTech
The Super Tiny Compiler, but in Ada #Programming #Ada #Compiler
OpenBSD 7.9 released #OpenBSD #BSD #Security
Software's Centaur Era #Software #Programming #Tech
A sparse, compressed bitmap index in C. Is it better than Roaring Bitmaps? #Programming #DataStructures #OpenSource
A self-balancing skip-list (aka "splay-list") library in C #Programming #DataStructures #CLang
Lime, a parser generator that can merge grammars at runtime #Programming #Compilers #OpenSource
My domain got abused on Github Pages #Security #Abuse #DevOps
Noxu DB, a Rust port of Berkeley DB Java Edition #Rust #Databases #OpenSource
The Unreasonable Effectiveness of ProseMirror Model in Rich Text Transformation #WebDev #Programming #TextEditor
The Windows DLL loader lock: how a Rust thread can hang your JVM #Rust #Windows #Java
Holistic Configuration Management at Facebook #Tech #DevOps #OpenSource
How to Write to SSDs #Storage #Databases #Performance
Even More Tagged Union Subsets with Comptime #ZigLang #Programming #OpenSource
End of the semester #Programming #AI #Tech
Using algebra and LLMs to verify a flight-plan bug fix in Lean #Programming #AI #Math
Spork: A posix_spawn you can use as a fork #Programming #OpenSource #Tech
SIMD-accelerated integer-to-string conversion #SIMD #Performance #Programming
Bytecode Interpretation From Scratch in C #Programming #CompSci #Interpreter
Introducing Casuarina Linux: A glibc-Based Chimera Linux Derivative #Linux #OpenSource #Tech
Comprehensive Response to Bambu's AGPLv3 Violations #OpenSource #Software #License
