The importance of communities around software (via stilic) — discussion

#culture

Lifeguard: A static analyzer for Python lazy imports compatibility (by zem) — discussion

#python

How To Write Shared Libraries (2011) (via calvin) — discussion

#pdf #programming

Branches in branch-free code (via rrampage) — discussion

#assembly #c #compilers #rust #zig

Vectorized CLZ and CTZ (via fanf) — discussion

#performance

Two Futures for LLMs in Mathematics (by dga) — discussion

#math #vibecoding

Python 3.15.0 (via kaycebasques) — discussion

#python #release

Unison Cloud is now open source (via bontaq) — discussion

#release

"Robot" Is A Social Construct: Why Your Dishwasher Is Not A Robot (via icefox) — discussion

#philosophy

A tale of four theorem provers, or: A (reasonably) opinionated comparison of Isabelle/HOL, Lean, HOL4, and Agda (by blueberrywren) — discussion

#design #plt

Spinlocks Considered Harmful (2020) (via Qyriad) — discussion

#performance

Why Are Coding Agents So Dumb? (by mtlynch) — discussion

#vibecoding

Deepthi Sigireddi from Supabase (by eatonphil) — discussion

#databases #person

Deno is joining Cloudflare (via andrewchou) — discussion

#javascript

HIP and ROCm as first-class citizens in Guix (via untrusem) — discussion

#nix

ASK: What are you doing this weekend? (by caius)

#ask #programming

On modern hardware, who handles what bit of hardware state can be unclear (via lr0) — discussion

#hardware

A minimal kernel in Swift, running in QEMU (via hashemi) — discussion

#osdev #swift

There are many themes, but this one is yours (by mitsuhiko) — discussion

#a11y #design

Reverse Engineer Anything (via chobeat) — discussion

#reversing #vibecoding