Typechecking Is Undecidable When 'Type' Is a Type (via zem) — discussion

#plt

Artificial Intelligence and the Linux Community (via theelx) — discussion

#linux #vibecoding

What does AI testing done right look like? (via amw-zero) — discussion

#ai #distributed #testing #vibecoding

This Was Not Really Quite Simple: Building a Redstone Calculator in Minecraft (via eBPF) — discussion

#games #hardware #video

KernelScript: DSL for eBPF-Centric Development (via vulcan) — discussion

#linux #plt

2025 Stack Overflow Developer Survey (via kamila) — discussion

#practices #programming

A pretty nice web framwork (by blaix) — discussion

#web

Printing a Book at Home with Minimal Equipment (by rikhuijzer) — discussion

#education #historical #show

Advanced Rust macros with derive-deftly (via fanf) — discussion

#rust

Raspberry Pi RP2350 A4 stepping fixes E9 GPIO Erratum, glitching bugs, introduces 2MB flash variants - CNX Software (via snej) — discussion

#hardware

rules_derive: deriving using macro_rules (via itamarst) — discussion

#release #rust

Ethersync: Peer-to-peer collaborative editing of local text files (by blinry) — discussion

#vim #vscode

I'm never going back to Matrix (via mtlynch) — discussion

#rant

Debugging the Pixel 8 kernel via KGDB (via timschumi) — discussion

#android #debugging

Loading credentials from Bitwarden with direnv (via cgrinds) — discussion

#security

The Useless useCallback (via frontsideair) — discussion

#javascript

Make Your Own Backup System – Part 2: Forging the FreeBSD Backup Stronghold (by draga79) — discussion

#freebsd

Weather Model based on ADS-B (via eBPF) — discussion

#hardware #visualization

Contraction Hierarchies: HMC Clinic Project Recap (by drmorr) — discussion

#distributed #math

No more Erlang manuals (by nato) — discussion

#erlang