FAQ on Microsoft’s topological qubit thing (via rrampage) — discussion

#compsci

Five Kinds of Nondeterminism (via eBPF) — discussion

#plt

A Retrospective Interview w/Leonard Richardson (of RMM fame) (by 1cg) — discussion

#web

sapf: - a Forth-like language for audio synthesis using lazy lists and APL-like auto-mapping (via ahobson) — discussion

#apl #art

TRAVERTINE (CVE-2025-24118): Race condition in XNU (via Shorden) — discussion

#mac #security

AI vs. an extra minute in the shower (via amundmr) — discussion

#ai

PgBouncer is useful, important, and fraught with peril (via amw-zero) — discussion

#databases #performance

The IPv6 transition (via bitfield) — discussion

#networking

Meshtastic: decentralized communication with low-power devices (via joed) — discussion

#hardware #networking

The Raspberry Pi RP2040 Gets a Surprise Speed Boost, Unlocks an Official 200MHz Mode (via Vaelatern) — discussion

#hardware

Demystifying monads in Rust through property-based testing (by sunshowers) — discussion

#rust #testing

What I Saw at the Evolution of Plan 9 (via adi_onl) — discussion

#unix

Knight TV resurrection (via jfloren) — discussion

#hardware #lisp #retrocomputing

Build your own SQLite in Rust, Part 5: Evaluating queries (by sevender) — discussion

#rust

ASK: We trust you have received the usual lecture from the local System Administrator (by silby)

#ask #unix

Practical Alloy: A hands-on guide to formal software design (via hwayne) — discussion

#book #formalmethods

Typst 0.13 is out now: Experimental HTML export, semantic paragraphs, and more (via isuffix) — discussion

#release

modview: Effortlessly visualize mod graph with all external dependencies for your Go projects (via ucirello) — discussion

#go

GymTok: Breaking TLS Using the Alt-Svc Header (via freddyb) — discussion

#networking #security #web

When Imperfect Systems are Good, Actually: Bluesky’s Lossy Timelines (via rrampage) — discussion

#databases #distributed