Notes by djb on using Fil-C (2025) (via eatonphil) — discussion

#c #security

Thinking About Thinking With LLMs (by davish) — discussion

#vibecoding

Moving tables across PostgreSQL instances (via dryya) — discussion

#databases

Using FreeBSD to make self-hosting fun again (via cve) — discussion

#freebsd

How I Use Every Claude Code Feature (via mpweiher) — discussion

#vibecoding

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