Soatok’s Informal Guide to Threat Models (via sloanelybutsurely) — discussion

#rant #security

Slint and the Node.js Event Loop (by ogoffart) — discussion

#nodejs #rust

May in Servo: user scripts, mp4 compat, blackboxing in DevTools, and more (via kreeft) — discussion

#browsers

stop asking writers about "AI" (via cgrinds) — discussion

#vibecoding

Waiting for SQL:202y: Stockholm (BMA) meeting report (via kngl) — discussion

#databases

Proving the Fundamental Theorem of Arithmetic in Agda (via abhin4v) — discussion

#formalmethods #math

Diagrams for Penrose Tiles (via adamshaylor) — discussion

#haskell #math

Local Reasoning for Global Properties (by ltratt) — discussion

#programming #rust

Furality Ultra Club A/V Writeup (via unlobito) — discussion

#graphics

jj_tui: terminal user interface to jujutsu focused on speed and clarity (via op) — discussion

#ml #vcs

Platform Support for GNU Extensions to Basic Regular Expressions (by wezm) — discussion

#unix

Investigating Linux graphics (2025) (via matklad) — discussion

#graphics #linux

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