Debloat your async Rust
Lean proved this program was correct; then I found a bug #security #formalmethods #plt
App Store Reviews are Busted #mobile #ios
Autoscaling Forgejo Runner #devops #vcs
Configuration flags are where software goes to rot #programming
Apps and programming: two accidental tyrannies #programming #transcript
Recovering a Lost Document: Habitat Anecdotes (1988) #games #historical
Malleable Software #linux #vibecoding
Servo 0.1.0 (first LTS version) is now available on crates.io #browsers #release #web
Little LaTeX Pearls #math
Point cloud allemansrätten #visualization
Show: /digest – a Claude Code skill for daily dev news digest #show #ai #vibecoding
Past, Present, Future: The PHPUnit Story #php #pdf #slides
Reflecting on deserialization. Why you should explicitly decode your JSON #practices
What are you doing this week? #programming #ask
All elementary functions from a single binary operator #math
Live++: A Bag of Tricks #pdf #slides #c
xtrace — Command-line CPU Profiling for macOS as a skill #vibecoding
Programming used to be free #culture #vibecoding
A Dumb Introduction to z3 #logiclangs
curl DNS 2026 #networking
Did you notice the command error exit in the shell? #linux
The Global API Injection Pattern #testing #c
Introduction to Spherical Harmonics for Graphics Programmers #graphics
SQL Has Problems. We Can Fix Them: Pipe Syntax In SQL (2024) #pdf #databases
Native Raspberry Pi 3b version of the Oberon System 3 #retrocomputing
An undocumented bug in the Apollo 11 guidance computer code #testing
Mark’s Magic Multiply #assembly
I want a better [build] action graph serialization #programming
The Business Case for Vanilla JS #javascript
48 hours ago lobste.rs surpassed 20,000 users #meta
The peril of laziness lost #vibecoding
Forgejo monthly report - March 2026 #vcs
LLM Reviews in cargo-crev #security #rust #ai
Speeding up access to OpenStreetMap vector tiles #performance
The Technical Irrational #philosophy #culture
An Introduction to Icon Animation Techniques (2016) #design #graphics
Bring Back Idiomatic Design #design
How I run multiple $10K MRR companies on a $20/month tech stack #practices
What is a property? #haskell #plt