1. Programming Isn’t Special view 37 comments
2. No Man Is an Island view 2 comments
3. A tale of four theorem provers, or: A (reasonably) opinionated comparison of Isabelle/HOL, Lean, HOL4, and Agda view 6 comments
4. oh, apparently it's not possible to portably check for string-to-float conversion errors in standard c view 0 comments
5. Python 3.15.0 view 3 comments
6. Why Are Coding Agents So Dumb? view 16 comments
7. Unison Cloud is now open source view 2 comments
8. Cloudflare shutting down Deno is news, not just PR view 8 comments
9. Branches in branch-free code view 0 comments
10. Adding Go's defer to the TypeScript Compiler view 1 comments
11. Lifeguard: A static analyzer for Python lazy imports compatibility view 0 comments
12. There are many themes, but this one is yours view 5 comments
13. Deepthi Sigireddi from Supabase view 1 comments
14. "Robot" Is A Social Construct: Why Your Dishwasher Is Not A Robot view 5 comments
15. What are you doing this weekend? view 29 comments
16. Vectorized CLZ and CTZ view 0 comments
17. 1-click MMI execution in Android view 0 comments
18. A minimal kernel in Swift, running in QEMU view 1 comments
19. Spinlocks Considered Harmful (2020) view 1 comments
20. Bevy 0.20 view 2 comments
21. HIP and ROCm as first-class citizens in Guix view 0 comments
22. The importance of communities around software view 0 comments
23. Equality Saturation: An “Incomplete” Project view 0 comments
24. The Missing Piece in Rust Error Handling view 23 comments
25. 64-Day Certificate Lifetimes Coming Feb 2027 view 20 comments

More