The Fediverse deserves a dumb graphical client
The thrilling adventures of Lovelace and Babbage
Object oriented programming in Ada
It's NOT OK to compare floating-points using epsilons
KeePassχ - a KeePassXC fork
jemalloc 5.3.1 released
Zig 0.16.0 Release Notes
Faith-based computing versus the unnatural science
Ark VCS - Version Control For Games
POLA Would Have Prevented the Event-Stream Incident (2018)
A collection of small, low stakes and low effort tools
Modifying FileZilla to Workaround Bambu 3D Printer's FTP Issue
Embed You a ponyc for Great Good
The ultimate SO_LINGER page, or: why is my tcp not reliable (2009)
Dependency cooldowns turn you into a free-rider
Rust should have stable tail calls
120+ Icons and Counting
NetBSD Installation with Disk Encryption
Claude Code's Source: 3,167-Line Function, Regex Sentiment
sem: Semantic version control CLI
5NF and Database Design
Our evaluation of Claude Mythos Preview’s cyber capabilities
Razor1911 – Razor1911
TESSERA — A pixel-wise earth observation foundation model
MoonBit 0.9: Introducing First-Class Formal Verification
Someone Bought 30 WordPress Plugins and Planted a Backdoor in All of Them
Tracking down a 25% Regression on LLVM RISC-V
No one can force me to have a secure website
Microsoft exec suggests AI agents will need to buy software licenses, just like employees
GitHub Stacked PRs
How to make Firefox builds 17% faster
DuckLake v1.0 – The Lightweight Lakehouse Format Reaches Production-Readiness
Can we finally use C++ Modules in 2026?
Introducing Brunost: The Nynorsk Programming Language
Everything Should Be Typed: Scalar Types Are Not Enough
Hybrid Constructions: The Post-Quantum Safety Blanket
NetBSD/MacPPC 9.4 Installation on a QEMU emulated PowerPC Macintosh
Running the first program
Debloat your async Rust
Lean proved this program was correct; then I found a bug #security #formalmethods #plt
