sumi.news
Search
Following
Sign in
← Back to news
L
Lobsters
RSS Feed
lobste.rs
lobste.rs/rss
Follow
Latest
Thu Oct 8
Wed Oct 7
Bevy 0.20
2w
L
Rolling the Root Key (Update)
2w
L
Demoting i686 Windows targets to std-only
2w
L
64-Day Certificate Lifetimes Coming Feb 2027
2w
L
Composition over Inheritance Explained using Retro Games
2w
L
Navier-Stokes lost in translation: Why Lean verification of AI autoformalisation does not guarantee correct natural language proofs
2w
L
The history of the Hetzner Cloud network stack
2w
L
Beauty in DVD Menus
2w
L
The Missing Piece in Rust Error Handling
2w
L
Extending Guix
2w
L
Ending the Casuarina Linux Experiment
2w
L
Thinking will become a hobby
2w
L
`specialArgs` considered harmful
2w
L
The Performance Cost of RwLock in Our Read-Heavy Workload
2w
L
Shopify went back to native. I think the bigger shift is formal verification
2w
L
SPA vs. Hypermedia: A Collaborative Kanban Board Measured Against PLANKA
2w
L
Migrating Git repos to SHA-256
2w
L
Gentoo infrastructure sponsors wanted
2w
L
Beyond the &
2w
L
jujutsu (jj) 0.46.0
2w
L
The Goose Programming Language
2w
L
Property Testing with Agent Swarms
2w
L
The people holding up the internet
2w
L
I've Been Deindexed by Google
2w
L
How can undefined opcodes ud0 and ud1 have parameters?
2w
L
A rant about APIs
2w
L
Clojure in the Age of Language Models
2w
L
Monte-Carlo simulations
2w
L
On using AI as a writing assistant
2w
L
