lairv
- Karma
- 2,780
- Created
- 4 years ago
Recent Submissions
- 1. ▲ Certified State Reductions and Semantics of Conjecture-Checking Turing Machines (github.com)
- 2. ▲ Google's Chief Scientist Is Leaving After 27 Years–To Start His Own AI Company (wsj.com)
- 3. ▲ Hark Handoff (hark.com)
- 4. ▲ Nvidia Bets on Ilya Sutskever's New AI Lab to Expand Compute Reach (wsj.com)
- 5. ▲ Open Weights and American AI Leadership [pdf] (images.nvidia.com)
- 6. ▲ General Intuition's $2.3B bet that video games can train AI agents (techcrunch.com)
- 7. ▲ Khronos Announces glTF Gaussian Splatting Extension (khronos.org)
- 8. ▲ Why Robots That Don't Understand Physics Are Winning (yage.ai)
- 9. ▲ Day 1 of ARC-AGI-3 (symbolica.ai)
- 10. ▲ ARC-AGI-3 (arcprize.org)