No Man Is an Island (via facundoolano) — discussion

#philosophy #vibecoding

A Practical Guide to “Plug&Pwn” for Pentesters and Defenders (via 7tehdt3cnw6kir6o) — discussion

#security

Equality Saturation: An “Incomplete” Project (via dbremner) — discussion

#compilers

ASK: Cloudflare shutting down Deno is news, not just PR (by conartist6)

#meta

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