| user: | matt_d |
| created: | April 21, 2014 |
| karma: | 19.8k |
| 1. | KV Cache Is Becoming the Memory Hierarchy of Inference(touchdown-labs.com) |
| 2. | |
| 3. | How to Write to SSDs [pdf](vldb.org) |
| 4. | |
| 5. | The agent principal-agent problem(crawshaw.io) |
| 6. | FrontierSmith: Synthesizing Open-Ended Coding Problems at Scale(frontier-cs.org) |
| 7. | |
| 8. | |
| 9. | |
| 10. | |
| 11. | Let AI Agents Write Your Serving Stack with VibeServe(syfi.cs.washington.edu) |
| 12. | |
| 13. | TorchLean: Verified Neural Networks in Lean(robertj1.com) |
| 14. | |
| 15. | Dynamic Persistent Tile Scheduling w/ Cluster Launch Control (CLC) on Blackwell(research.colfax-intl.com) |
| 16. | |
| 17. | |
| 18. | |
| 19. | PyTorch DevLog(docs.pytorch.org) |
| 20. | |
| 21. | Aurora: A Leverage-Aware Optimizer for Rectangular Matrices(blog.tilderesearch.com) |
| 22. | The Two Abstractions of System Design: Hide or Reduce(muratbuffalo.blogspot.com) |
| 23. | |
| 24. | |
| 25. | Capsules: Compile-time lock discipline in OxCaml(kcsrk.info) |
| 26. | Data Race Freedom in OxCaml(kcsrk.info) |
| 27. | |
| 28. | A case study with Aeneas and jxl-rs(jonathan.protzenko.fr) |
| 29. | Finite Functional Programming(arxiv.org) |
| 30. |