hax: A Rust verification tool (via jado) — discussion

#formalmethods #rust

But Our Devenv Is In Another Repo (via domenkozar) — discussion

#nix

Shrubbery syntax for Racket (via azhenley) — discussion

#lisp

Linux latency measurements and compositor tuning (via Aks) — discussion

#linux

Steady Hand EEPROM Programmer (via dzwdz) — discussion

#hardware

An interactive introduction to the terrific experience of rendering Arabic typography and its technical debt (by lr0) — discussion

#graphics

Rebuilding my blog with machines, for machines · (by lvmbdv) — discussion

#vibecoding #web

AI agent runs amok in Fedora and elsewhere (via lollipopman) — discussion

#linux #vibecoding

Static types and shovels (2026) (by 0x2ba22e11) — discussion

#programming

Nontrailing separators do not spark joy (via fanf) — discussion

#plt

The Tao of Datastar (via andersmurphy) — discussion

#web

The Jqwik Anti-AI Affair (via polywolf) — discussion

#culture

Bootstrapping Rust Considered Harmful (via calvin) — discussion

#rant #rust

A human in control (via jturner) — discussion

#security #vibecoding

Local first & portable CI with Pixi (by wolfv) — discussion

#release #testing

AI ate my role! What's next? - Ajey Gore (via samebchase) — discussion

#vibecoding

I Hate (Most) Keyboard ‘Fn’ Keys (via gerikson) — discussion

#hardware

Trojaned OpenSSH (in 2002) (via LeahNeukirchen) — discussion

#openbsd #security

Elixir for a Bluesky DataPlane: the choice we didn't expect (via sloanelybutsurely) — discussion

#elixir #rust

macOS container tool v1.0.0 released (via dullmirror) — discussion

#mac #virtualization