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

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