Human Bottlenecks (via puhsu) — discussion

#ai

pg_deltax: Apache-licensed time-series extension for PostgreSQL (by tsg) — discussion

#databases

PinTheft Linux LPE (via dzwdz) — discussion

#linux #security

ASK: What would you want from a forge? (by runxiyu)

#ask #design #vcs

How we used Quint to find over 10 bugs in SQLite while hardening Turso (via typesanitizer) — discussion

#databases #formalmethods

Under the Hood: Building a Real-Time Chord Recognizer (via soulcutter) — discussion

#programming

It’s all in the name (via gerikson) — discussion

#security #vibecoding

Type out the code (by Gabriella439) — discussion

#programming

The Super Tiny Compiler, but in Ada (by tomekw) — discussion

#plt #programming

My domain got abused on Github Pages (via lalitm) — discussion

#security

OpenBSD 7.9 released (via utzig) — discussion

#openbsd

Software's Centaur Era (via carlana) — discussion

#vibecoding

The Unreasonable Effectiveness of ProseMirror Model in Rich Text Transformation (by smoores) — discussion

#web

How to Write to SSDs (via typesanitizer) — discussion

#databases #pdf #performance

The Windows DLL loader lock: how a Rust thread can hang your JVM (via jmillikin) — discussion

#debugging #java #rust #windows

Holistic Configuration Management at Facebook (via typesanitizer) — discussion

#pdf #practices

Even More Tagged Union Subsets with Comptime (by sinclairtarget) — discussion

#zig

Using algebra and LLMs to verify a flight-plan bug fix in Lean (by jameshh) — discussion

#formalmethods #math #vibecoding

Spork: A posix_spawn you can use as a fork (via orib) — discussion

#osdev #pdf

The just-say-no engineer was a ZIRP phenomenon (via cjoly) — discussion

#practices