unf — filesystem flight recorder (via mpweiher) — discussion

#osdev

Package Managers à la Carte: A Formal Model of Dependency Resolution (by ryangibb) — discussion

#compsci

Packaging AI/ML models as conda packages (via wolfv) — discussion

#ai

Bootc and OSTree: Modernizing Linux System Deployment (via mpweiher) — discussion

#linux

What's cooking in git.git (Feb 2026, #11) (via runxiyu) — discussion

#vcs

Offlining a Live Game With .NET Native AOT (via jrandomhacker) — discussion

#dotnet #games

An AI agent coding skeptic tries AI agent coding, in excessive detail (via facundoolano) — discussion

#vibecoding

elementary OS 8.1.1 Available Now (via FedericoSchonborn) — discussion

#linux #release

Stop Putting Secrets in .env Files (via gaffneyc) — discussion

#security

Cultivating a robust and efficient quantum-safe HTTPS (via agwa) — discussion

#browsers #cryptography #security

Disrupting malicious uses of our [OpenAI] models (via classichasclass) — discussion

#ai #pdf

Instant LLM Updates with Doc-to-LoRA and Text-to-LoRA (via Yogthos) — discussion

#ai

Please stop using passkeys for encrypting user data (via fanf) — discussion

#cryptography

Bill Text - AB-1043 Age verification signals: software applications and online services (via vaguelytagged) — discussion

#law #privacy

Allocating on the Stack (via cgrinds) — discussion

#go

RetroTick, browser-based Windows emulator (via evmar) — discussion

#retrocomputing #windows

We deserve a better streams API for JavaScript (via bvisness) — discussion

#javascript #web

An update on SVG in GTK (via FedericoSchonborn) — discussion

#graphics

History of the Graphical User Interface: The Rise (and Fall?) of WIMP Design (via abnercoimbre) — discussion

#design

Optimal Caverna Gameplay via Formal Methods (via ehamberg) — discussion

#formalmethods