Mathematics in the Library of Babel (via jo3_l) — discussion

#math #vibecoding

Zero-Copy Pages in Rust: Or How I Learned To Stop Worrying And Love Lifetimes (via vi_mi) — discussion

#databases #linux #rust

Internet Protocol Version 8 (IPv8) (via indigo) — discussion

#networking

C++26: Structured bindings in conditions (via raymii) — discussion

#c++

Arguing With Agents (via asaaki) — discussion

#vibecoding

A sufficiently comprehensive spec is not (necessarily) code (via amw-zero) — discussion

#formalmethods #vibecoding

Cybersecurity Looks Like Proof of Work Now (via zk) — discussion

#security #vibecoding

Multi-Agent gVisor Isolation (via lucasm) — discussion

#linux #security #virtualization

You cannot use the GNU (A)GPL to take software freedom away (via jfred) — discussion

#law

I don’t want a screenshot of your Claude conversation (via uncenter) — discussion

#rant #vibecoding

AI Assistance Reduces Persistence and Hurts Independent Performance (via krig) — discussion

#ai #practices

Let Sleeping CPUs Lie — S0ix (via calvin) — discussion

#freebsd #hardware

Xata: Open source Postgres platform with copy-on-write branching and scale-to-zero (by tsg) — discussion

#databases

Not all elementary functions can be expressed with exp-minus-log (via Corbin) — discussion

#math

Formal typing rules and presentation materials for Swift 6.2's concurrency type system, focusing on Capability and Region (via snej) — discussion

#plt #swift

SDL3 - Add DOS platform support (via linkdd) — discussion

#c #games #programming #retrocomputing

Rewriting Every Syscall in a Linux Binary at Load Time (via emschwartz) — discussion

#linux #security

Direct Win32 API, Weird-Shaped Windows, and Why They Mostly Disappeared (via technetium) — discussion

#windows

Things you didn't know about indexes (by bugsmith) — discussion

#databases

Retrofitting JIT Compilers into C Interpreters (by ltratt) — discussion

#compilers