My obituary for programming (via nolan) — discussion
#vibecoding
Lobsters
Articles that appear on the front page of lobste.rs
Ghidra + CBMC = Assembly Model Checker (via asb) — discussion
#formalmethods
The Problem with C++ Safety: Why “It Works” Isn’t Good Enough (via raymii) — discussion
#c++
Using timers to perform weekly tasks (via 7tehdt3cnw6kir6o) — discussion
#emacs
