Value numbering (via asb) — discussion

#compilers

The Cathedral, the Bazaar, and the Winchester Mystery House (via mpweiher) — discussion

#vibecoding

Mathematical methods and human thought in the age of AI (via ashwinsundar) — discussion

#ai #culture #philosophy

CVA6-CFI: A First Glance at RISC-V Control-Flow Integrity Extensions (via fro) — discussion

#hardware #pdf #security

The nvim-treesitter repository was archived (via rwdf) — discussion

#editors #programming #vim

ASK: Where can I find the old internet? (by kghose)

#ask #culture

Embarrassingly Simple Self-Distillation Improves Code Generation (via mpweiher) — discussion

#ai

Absurd In Production (via facundoolano) — discussion

#databases

Why Lean? (via hongminhee) — discussion

#plt

Legibility is Ruining You (via banana_oatmeal) — discussion

#culture

The Feature That Has Never Worked · A broken auto-live poller, and what perceived urgency does to Claude Code (by cmeiklejohn) — discussion

#ai

Your code is worthless (via dhruvp) — discussion

#programming

Functional Algorithms, Verified (via nextos) — discussion

#formalmethods #pdf #plt

c89cc.sh - standalone C89/ELF64 compiler in pure portable shell (via olliej) — discussion

#plt

Private Open Source (via robey) — discussion

#culture #philosophy

A Proposal for Voluntary AI Disclosure in OCaml Code (via cjr) — discussion

#ml #vibecoding

Rails on the BEAM (via soulcutter) — discussion

#elixir #javascript #ruby

DSTs Are Just Polymorphically Compiled Generics (via FedericoSchonborn) — discussion

#plt #rust #swift

Early observations from Interviews with Engineering Teams Adopting AI (by jonathannen) — discussion

#vibecoding

I Made a Keyboard Nobody Asked For: My Experience Making TapType (via ubernostrum) — discussion

#a11y #android #mobile