RISC-V is sloooow (via raymii) — discussion

#linux

What's My JND? (via outervale) — discussion

#design

LLMs are bad at vibing specifications (by hwayne) — discussion

#formalmethods #vibecoding

I built a programming language using Claude Code (via abhin4v) — discussion

#plt #vibecoding

Load-Bearing Walls (by sonicrocketman) — discussion

#historical #philosophy #practices

Tony Hoare (1934-2026) (via hwayne) — discussion

#person

Source-available projects and their AI contribution policies (by eatonphil) — discussion

#vibecoding

Rebasing in Magit (via fanf) — discussion

#emacs #vcs

Amazon holds engineering meeting about GenAI based outages (via dustyweb) — discussion

#vibecoding

Madblog: Turn a Markdown folder into a federated blog (by blacklight) — discussion

#networking #python #web

Two Years of Emacs Solo: 35 Modules, Zero External Packages, and a Full Refactor (via sjamaan) — discussion

#emacs

Too Much Color (via polywolf) — discussion

#graphics #web

nominal types in webassembly (via flockofbirbs) — discussion

#wasm

TCXO failure analysis (via gerikson) — discussion

#hardware

Redox OS has adopted a Certificate of Origin policy and a strict no-LLM policy (via linkdd) — discussion

#osdev #rust

troubleshooting BSD TCP network performance: part 2 (fixing NetBSD) (via jummo) — discussion

#netbsd #networking

Working to Decentralize FedCM (via erlend_sh) — discussion

#browsers #web

Lambda Calculus Explorer (via ocramz) — discussion

#compilers #formalmethods

EVi, a hard-fork of Vim (via krig) — discussion

#vim

Dependency Tacking is Hard (via dhruvp) — discussion

#security