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

So you want better debug info? (via mqudsi) — discussion

#debugging #rust

Multiple Vulnerabilities in U-Boot (via freddyb) — discussion

#security

A collection of code examples from prominent open-source projects (2021) (via ztoz) — discussion

#education

The secret maze of Debian images (via calvin) — discussion

#linux

An open source FPGA toolchain for a large European space-grade FPGA (via pbsds) — discussion

#hardware #release

Testing concurrent code with testing/synctest - The Go Programming Language (via cgrinds) — discussion

#go #testing

Relaxed Radix Balanced Trees | Peter Horne-Khan (via jasonjmcghee) — discussion

#plt

Greg Kroah-Hartman Makes A Compelling Case For New Linux Kernel Drivers To Be Written In Rust (via lonami) — discussion

#linux #rust

HTTP3, 2, 1 (by maxm) — discussion

#go #networking #web

Being a happy Nixer on a Mac (by zupo) — discussion

#mac #nix

The Pain Of Linear Types In Rust [2017] (via stip) — discussion

#plt #rust