Programming Language Theory has a public relations problem (via ucirello) — discussion

#plt

Exploiting All Google kernelCTF Instances And Debian 12 With A 0-Day For $82k: A RBTree Family Drama (Part One) (via fro) — discussion

#linux #security

Linux Kernel Pipapo Set Double Free LPE (via fro) — discussion

#linux #security

Apple Trace Cache (via kwas) — discussion

#hardware

Haiku Activity & Contract Report, June 2025 (via rjzak) — discussion

#osdev

The missing guide to Dataflow Analysis in MLIR (via ursachec) — discussion

#compilers

Notes on Graham's ANSI Common Lisp (via veqq) — discussion

#lisp

Algorithms for making interesting organic simulations (via creature) — discussion

#graphics #visualization

detour: A detour through the Linux dynamic linker (via aminom) — discussion

#c #linux

Bringing Virtualization to the x86 Architecture with the Original VMware Workstation (2012) (via calvin) — discussion

#historical #pdf #virtualization

Let me pay for Firefox (via pvinis) — discussion

#browsers

Local Chatbot RAG with FreeBSD Knowledge (via 0mp) — discussion

#freebsd #osdev #vibecoding

perldelta - what is new for perl v5.42.0 (via makishimu) — discussion

#perl #release

dict-unpacking-at-home: can we have dict unpacking in python? (via BiteCode) — discussion

#python

The Design and Implementation of Extensible Records for Rust in CGP (by soareschen) — discussion

#plt #rust

Migrating my NAS from CoreOS/Flatcar Linux to NixOS (by stapelberg) — discussion

#nix

constrained languages are easier to optimize (via calvin) — discussion

#plt

How I found a bypass in Google's big anti-adblock update (via technetium) — discussion

#web

Hacking coroutines into C (via jmillikin) — discussion

#c

Zig's New Async I/O (via jparise) — discussion

#zig