| user: | asparagui |
| created: | November 13, 2011 |
| karma: | 936 |
| about: | brettkoonce.com |
| 1. | Show HN: Verified Deep Learning with Lean 4(brettkoonce.github.io) |
| 2. | Image Recognition with Lean 4(github.com) |
| 3. | Mnist-Lean4(github.com) |
| 4. | DJI is >96% of RemoteID usage in the US [video](youtube.com) |
| 5. | Towards Robust Mathematical Reasoning [pdf](aclanthology.org) |
| 6. | ROCm 7.0(rocm.docs.amd.com) |
| 7. | Google loses appeal in antitrust battle with Fortnite maker(japantoday.com) |
| 8. | |
| 9. | Trump to Rescind Chip Curbs After Debate over AI Rules(investing.businessweek.com) |
| 10. | AI Avatars Escape the Uncanny Valley(a16z.com) |
| 11. | Trump administration can avoid a strategic misstep in the AI race(blogs.microsoft.com) |
| 12. | Project Stargate(politico.com) |
| 13. | A neuroscientist who taught rats to drive(theconversation.com) |
| 14. | MLPerf v4.1 Results(mlcommons.org) |
| 15. | John Ousterhout: My Favorite Sayings(web.stanford.edu) |
| 16. | AMD Instinct MI325X in Q4 2024, 288GB of HBM3E(ir.amd.com) |
| 17. | 2080ti 22G(2080ti22g.com) |
| 18. | |
| 19. | AMD adds support for PyTorch development on select RDNA 3 GPUs with ROCm 5.7(community.amd.com) |