A native graphical shell for SSH (via kehn) — discussion

#browsers #unix

Memory Safe Context Switching (via fanf) — discussion

#c

Revisiting Yliluoma’s ordered dither algorithm (via bitshift) — discussion

#graphics

The end of the AArch64 desktopexperiment (via Vaelatern) — discussion

#hardware

Spindle's new microVM engine (via j3s) — discussion

#devops #linux #vcs

What's wrong with EU age verification? (Nothing) (by vrypan) — discussion

#privacy

The AT-URI Syntax Mess (via hongminhee) — discussion

#web

Unprivileged root via a use-after-free in DRM GEM change_handle (CVE-2026-46215) (via fro) — discussion

#linux #security

Solod v0.2: Networking, new targets, friendlier interop (via dstelow) — discussion

#go #plt

You Don’t Know Jack About Formal Verification (via eatonphil) — discussion

#formalmethods

ipv6_frag_escape: Linux LPE - Reliable Jail/Container Escape (via eyberg) — discussion

#devops #security

Type-checked non-empty strings (via pushcx) — discussion

#haskell

What is `std::pin::Pin` in Rust? (by vrongmeal) — discussion

#rust

WATaBoy: JIT-ing Game Boy Instructions to Wasm Beats a Native Interpreter (via jaredkrinke) — discussion

#wasm

Pystd standard library, similar-ish functionality with a fraction of the compile time (via FedericoSchonborn) — discussion

#c++

Longinus: 2 Boundaries in One Bug, Piercing Chrome’s Renderer and V8 Sandbox with a Single Vulnerability, CVE-2026-6307 (via devgianlu) — discussion

#security #web

My First Encounter with a Political Spambot (by wils124) — discussion

#ai

Evaluation order and nontermination in query languages (by rntz) — discussion

#databases #plt

Loko Scheme 0.13.0 (via FedericoSchonborn) — discussion

#lisp #release

Typst: Designing for Incrementality (via isuffix) — discussion

#plt #video