Switch to Jujutsu already: a tutorial (via keybits) — discussion

#vcs

Sharp Bilinear Filters: Big Clean Pixels for Pixel Art (via asb) — discussion

#graphics

Three ways "formally verified" can go wrong (via rbr) — discussion

#formalmethods

ksmbd - Exploiting CVE-2025-37947 (via fro) — discussion

#linux #security

LineageOS 23 released (via timschumi) — discussion

#android

Tinymist is an integrated language service for Typst (via jado) — discussion

#programming

Testing two 18 TB white label SATA hard drives from datablocks.dev (via lproven) — discussion

#hardware

Burrows-Wheeler Transform (BWT) (via cgc373) — discussion

#math #science

Less is More: Recursive Reasoning with Tiny Networks (via lacker) — discussion

#ai

Let's Take Esoteric Programming Languages Seriously (via veqq) — discussion

#culture #plt

WSL-For-FreeBSD: Experimental project to FreeBSD in WSL2 (via linkdd) — discussion

#freebsd #virtualization #windows

Vibing a Non-Trivial Ghostty Feature (via gmem) — discussion

#vibecoding

Monument Engine: Jx (via veqq) — discussion

#apl

The European Accessibility Act will make the Web Better for Everyone (via rbr) — discussion

#a11y #law #web

Async Rust with Tokio I/O Streams: Backpressure, Concurrency, and Ergonomics (via robinhundt) — discussion

#rust

Synthetic aperture radar autofocus and calibration (via fanf) — discussion

#hardware #math #science

Dijkstra on the foolishness of natural language programming (1978) (via facundoolano) — discussion

#ai #historical

Liquid Glass Is Cracked, and Usability Suffers in iOS 26 (via knl) — discussion

#design #mac

On the Health Effects of Electromagnetic Radiation (by rikhuijzer) — discussion

#science

Eon - an Effects-based OCaml Nameserver (via op) — discussion

#ml #web