1. Lean proved this program was correct; then I found a bug view 10 comments
2. Servo 0.1.0 (first LTS version) is now available on crates.io view 4 comments
3. Did you notice the command error exit in the shell? view 20 comments
4. All elementary functions from a single binary operator view 7 comments
5. What are you doing this week? view 26 comments
6. Configuration flags are where software goes to rot view 3 comments
7. The peril of laziness lost view 13 comments
8. Little LaTeX Pearls view 2 comments
9. Hybrid Constructions: The Post-Quantum Safety Blanket view 0 comments
10. 48 hours ago lobste.rs surpassed 20,000 users view 26 comments
11. Debloat your async Rust view 0 comments
12. How I run multiple $10K MRR companies on a $20/month tech stack view 34 comments
13. The Business Case for Vanilla JS view 10 comments
14. Recovering a Lost Document: Habitat Anecdotes (1988) view 1 comments
15. Forgejo monthly report - March 2026 view 3 comments
16. Autoscaling Forgejo Runner view 0 comments
17. Bring Back Idiomatic Design view 17 comments
18. A Dumb Introduction to z3 view 1 comments
19. How to make Firefox builds 17% faster view 1 comments
20. App Store Reviews are Busted view 4 comments
21. Programming used to be free view 12 comments
22. DuckLake v1.0 – The Lightweight Lakehouse Format Reaches Production-Readiness view 0 comments
23. LLM Reviews in cargo-crev view 17 comments
24. Native Raspberry Pi 3b version of the Oberon System 3 view 0 comments
25. Malleable Software view 2 comments

More