My obituary for programming (via nolan) — discussion

#vibecoding

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

High performance policy routed IPsec mesh SD-WAN (by ysun) — discussion

#networking

A New Way to Think About Borrow Checking (In Reverse) (by Verdagon) — discussion

#compilers

ARP! Tell your network to explain itself (by benj) — discussion

#networking

Algorithmic Sound Design with L-Systems and Granular Synthesis (via chrisl) — discussion

#art #programming

ASK: It's enough - vibecoding tag crossed from useless to harmful (by viraptor)

#meta

Un-hanging the HP Envy 17-DA0013dx for OpenBSD (via zk) — discussion

#hardware #openbsd

Does moving a GPU server's request loop into the kernel save CPU? (via rohanadwankar) — discussion

#ai #linux

It's time to talk about TEEs (via zk) — discussion

#hardware #security

The Brain Sandwich (via ani) — discussion

#vibecoding

Making Hybrid Images (2014) (via zk) — discussion

#graphics #math

Abolish AI! Manifesto (via janus) — discussion

#ai #culture

PwnEscape: Guest-to-Host KVM Escape (CVE-2026-99999) (via munksgaard) — discussion

#linux #security #virtualization

poddub, make something worth listening to (by gesposito) — discussion

#mobile #show #web