1. oh, apparently it's not possible to portably check for string-to-float conversion errors in standard c view 12 comments
2. No Man Is an Island view 13 comments
3. There's little that's "inevitable" about AI view 9 comments
4. Iframes that finally fit their content view 1 comments
5. The Lightbulb Computer: Reimagining Spatial & Ambient Computing with Projectors view 1 comments
6. A tale of four theorem provers, or: A (reasonably) opinionated comparison of Isabelle/HOL, Lean, HOL4, and Agda view 17 comments
7. Python 3.15.0 view 5 comments
8. Programming Isn’t Special view 47 comments
9. Mars Pathfinder Priority Inversion Bug: What Really Happened view 2 comments
10. SNTPings, draw on a canvas using ICMPv6 view 0 comments
11. culpert - rust heap profiling with span awareness and regression tooling view 0 comments
12. Kiesel Devlog #15: Release 0.4.0 view 0 comments
13. Unison Cloud is now open source view 3 comments
14. Why 'externalized' proofs of cyclic trait impls does not work view 0 comments
15. Why Are Coding Agents So Dumb? view 19 comments
16. Cloudflare shutting down Deno is news, not just PR view 12 comments
17. 1-click MMI execution in Android view 1 comments
18. Adding Go's defer to the TypeScript Compiler view 5 comments
19. Branches in branch-free code view 0 comments
20. Lifeguard: A static analyzer for Python lazy imports compatibility view 0 comments
21. Voxlocal: a minimal voice agent written in Rust view 1 comments
22. "Robot" Is A Social Construct: Why Your Dishwasher Is Not A Robot view 8 comments
23. There are many themes, but this one is yours view 5 comments
24. What are you doing this weekend? view 49 comments
25. Reporting vulnerabilities to Estonian companies view 0 comments

More