| user: | matt_d |
| created: | April 21, 2014 |
| karma: | 22.1k |
| 1. | |
| 2. | |
| 3. | Can Agents Design Libraries for Agents?(gabeorlanski.github.io) |
| 4. | pldb: programming languages papers(pldb.kirancodes.me) |
| 5. | |
| 6. | |
| 7. | |
| 8. | Bi-directional Typing – Conor McBride [video](youtube.com) |
| 9. | |
| 10. | Lightweight Resilient Recursive Parsing(andraskovacs.github.io) |
| 11. | |
| 12. | PTXBench: What about just CUDA-PTX?(zhang677.github.io) |
| 13. | |
| 14. | |
| 15. | How Not to Build a Shading Language – BCON26 [video](youtube.com) |
| 16. | 2026 in LLMs (so far)(simonwillison.net) |
| 17. | |
| 18. | |
| 19. | |
| 20. | |
| 21. | |
| 22. | |
| 23. | The internet discovers TLA+. Now what?(reasonable.io) |
| 24. | What Happens When Formalization Becomes Cheap?(yangky11.github.io) |
| 25. | A Lean Proof Printing Python Union Find(philipzucker.com) |
| 26. | |
| 27. | |
| 28. | VeriTile: Formal Verification for Triton Kernels(lizn-zn.github.io) |
| 29. | ServingStudio: Simulating, Analyzing, and Optimizing LLM Serving Systems(syfi-servingstudio.github.io) |
| 30. | SWE-Serve: Benchmarking Agentic Engineering for Production Inference Serving(research.nvidia.com) |