1. Programming Isn’t Special view 36 comments
2. A tale of four theorem provers, or: A (reasonably) opinionated comparison of Isabelle/HOL, Lean, HOL4, and Agda view 6 comments
3. Why Are Coding Agents So Dumb? view 14 comments
4. Unison Cloud is now open source view 2 comments
5. Python 3.15.0 view 1 comments
6. Cloudflare shutting down Deno is news, not just PR view 7 comments
7. There are many themes, but this one is yours view 5 comments
8. Lifeguard: A static analyzer for Python lazy imports compatibility view 0 comments
9. Deepthi Sigireddi from Supabase view 1 comments
10. Branches in branch-free code view 0 comments
11. What are you doing this weekend? view 26 comments
12. "Robot" Is A Social Construct: Why Your Dishwasher Is Not A Robot view 4 comments
13. Vectorized CLZ and CTZ view 0 comments
14. A minimal kernel in Swift, running in QEMU view 1 comments
15. Bevy 0.20 view 2 comments
16. No Man Is an Island view 0 comments
17. HIP and ROCm as first-class citizens in Guix view 0 comments
18. Spinlocks Considered Harmful (2020) view 1 comments
19. The Missing Piece in Rust Error Handling view 23 comments
20. 64-Day Certificate Lifetimes Coming Feb 2027 view 20 comments
21. The importance of communities around software view 0 comments
22. Equality Saturation: An “Incomplete” Project view 0 comments
23. The people holding up the internet view 27 comments
24. A Practical Guide to “Plug&Pwn” for Pentesters and Defenders view 0 comments
25. Ending the Casuarina Linux Experiment view 5 comments

More