RISC-V is sloooow (via raymii) — discussion
#linux
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