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

The making of a very fast SPI flasher (via 7tehdt3cnw6kir6o) — discussion

#hardware #rust

Telegram Desktop: one-click account takeover via IPC injection (via ni5arga) — discussion

#security

Programming Isn’t Special (via hugoarnal) — discussion

#art

Reducing undefined behavior in the C language (via fanf) — discussion

#c

en-html.org is a Scam Site (via edwintorok) — discussion

#security #web

Deeper dive: Keyboard differences between Windows and Macs (via seb) — discussion

#mac #windows

Demoting i686 Windows targets to std-only (via madsmtm) — discussion

#rust #windows