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

Bournegol (2014) (via icefox) — discussion

#historical #plt

Introducing Casuarina Linux: A glibc-Based Chimera Linux Derivative (by wezm) — discussion

#linux

Comprehensive Response to Bambu's AGPLv3 Violations (via susanthenerd) — discussion

#law

CISA Admin Leaked AWS GovCloud Keys on Github (via kngl) — discussion

#security

Programming as Theory Building (1985) (via natfu) — discussion

#pdf #practices #programming

The Fil-C Optimized Calling Convention (via typesanitizer) — discussion

#plt

cargo-crap: Finding Untested Complexity in AI-Generated Rust Code (via mark) — discussion

#rust

Running ‘Doom’ on E. coli cells… very, very slowly (via yashgarg) — discussion

#games #science