Navier-Stokes lost in translation: Why Lean verification of AI autoformalisation does not guarantee correct natural language proofs (via Corbin) — discussion

#formalmethods #math #pdf #reversing #vibecoding

The history of the Hetzner Cloud network stack (via eatonphil) — discussion

#networking

The Missing Piece in Rust Error Handling (via snej) — discussion

#rust

Ending the Casuarina Linux Experiment (via FedericoSchonborn) — discussion

#linux

The Performance Cost of RwLock in Our Read-Heavy Workload (via ohrv) — discussion

#performance #rust

Extending Guix (via tusharhero) — discussion

#nix

Thinking will become a hobby (via adamo) — discussion

#ai #philosophy

`specialArgs` considered harmful (by ysun) — discussion

#nix

Beyond the & (via gignico) — discussion

#rust

SPA vs. Hypermedia: A Collaborative Kanban Board Measured Against PLANKA (via TeddyDD) — discussion

#web

Gentoo infrastructure sponsors wanted (via gmem) — discussion

#linux

Shopify went back to native. I think the bigger shift is formal verification (by martinald) — discussion

#vibecoding

Migrating Git repos to SHA-256 (via FedericoSchonborn) — discussion

#vcs

jujutsu (jj) 0.46.0 (via kingmob) — discussion

#release #vcs

Clojure in the Age of Language Models (via silcoon) — discussion

#ai #clojure

Property Testing with Agent Swarms (via ettolrach) — discussion

#testing #vibecoding

The people holding up the internet (via eaj) — discussion

#historical #web

How can undefined opcodes ud0 and ud1 have parameters? (via abareplace) — discussion

#assembly #hardware

I've Been Deindexed by Google (via brn) — discussion

#practices

New gTLD Program: 2026 Round applications (via robalex) — discussion

#networking