Visopsys single developer "Visual Operating System" (via classichasclass) — discussion

#osdev

Attacking macOS XPC helpers: Protocol reverse engineering and interface analysis (via jmillikin) — discussion

#mac #reversing #security

Program-ing Finger Trees in Coq (2007) (via calvin) — discussion

#pdf #plt

De-escalating Tailscale CGNAT conflict (by ysun) — discussion

#go #linux #networking

X.Org Security Advisory: multiple security issues X.Org X server and Xwayland (via janus) — discussion

#security #unix

Linux Kernel Ported To WebAssembly - Demo Lets You Run It In Your Web Browser (via manuel) — discussion

#linux #wasm

Claude Code Can Debug Low-level Cryptography (via telemachus) — discussion

#cryptography #go #vibecoding

Text rendering and effects using GPU-computed distances (via tgfrerer) — discussion

#graphics #math

Open-Source Ada: From Gateware to Application (via jmiven) — discussion

#hardware #programming

A deep dive into deeply recursive Go (via runxiyu) — discussion

#go

The Tailscale Fall Update in under 8 minutes (via diktomat) — discussion

#networking #security #video

Hard Rust requirements from May onward (via gioele) — discussion

#rust

On the purported benefits of effect systems (by typesanitizer) — discussion

#plt

Computer Says No: Error Reporting for LTL (via typesanitizer) — discussion

#formalmethods

Intent to Deprecate and Remove: Deprecate and remove XSLT (via jmillikin) — discussion

#browsers

Your URL Is Your State (via abhin4v) — discussion

#web

Rethinking Data Discovery for Libraries and Digital Humanities (via danlamanna) — discussion

#databases

How We Found 7 TiB of Memory Just Sitting Around (via knl) — discussion

#debugging #devops

wasm-adventure (via veqq) — discussion

#lisp #wasm

Changelog: introducing nix nario (via diktomat) — discussion

#linux #nix