1. Inside a 1980s filter chip that uses switched capacitors view 1 comments
2. The 2D physics prototype behind GTA’s vehicles view 1 comments
3. Kiesel Devlog #15: Release 0.4.0 view 3 comments
4. Hacking the Eufy Doorbell and Base Station view 1 comments
5. No Man Is an Island view 15 comments
6. Iframes that finally fit their content view 2 comments
7. Why 'externalized' proofs of cyclic trait impls does not work view 1 comments
8. SNTPings, draw on a canvas using ICMPv6 view 2 comments
9. JSON Tiles: Fast Analytics on Semi-Structured Data (2021) view 0 comments
10. Byte Language Models: Scaling, Emergent Abstractions, and Information Allocation view 0 comments
11. What really happened to the software on the Mars Pathfinder spacecraft? view 7 comments
12. A tale of four theorem provers, or: A (reasonably) opinionated comparison of Isabelle/HOL, Lean, HOL4, and Agda view 21 comments
13. culpert - rust heap profiling with span awareness and regression tooling view 0 comments
14. Python 3.15.0 view 5 comments
15. There's little that's "inevitable" about AI view 17 comments
16. Programming Isn’t Special view 48 comments
17. Unison Cloud is now open source view 4 comments
18. 1-click MMI execution in Android view 1 comments
19. Why Are Coding Agents So Dumb? view 22 comments
20. Voxlocal: a minimal voice agent written in Rust view 1 comments
21. Cloudflare shutting down Deno is news, not just PR view 12 comments
22. Adding Go's defer to the TypeScript Compiler view 6 comments
23. Lifeguard: A static analyzer for Python lazy imports compatibility view 0 comments
24. Branches in branch-free code view 0 comments
25. There are many themes, but this one is yours view 7 comments

More