aaraujo002
- Karma
- 1,135
- Created
- 4 years ago
Recent Submissions
- 1. ▲ How Did Big Tech Get So Big? [video] (youtube.com)
- 2. ▲ Simons Foundation launches $15M effort to help mathematicians navigate AI era (simonsfoundation.org)
- 3. ▲ Lean Verified Transformers (srush.github.io)
- 4. ▲ Making Startups Powerful (paulgraham.com)
- 5. ▲ The KV cache as an agent runtime (research.yandex.com)
- 6. ▲ Terence Tao on the Navier-Stokes Equations (mathstodon.xyz)
- 7. ▲ Fermat's Last Theorem in Lean 4 (github.com)
- 8. ▲ Corporate America is getting hooked on open-source AI (nytimes.com)
- 9. ▲ Mark Zuckerberg Wants to Make Sure His Competitors Share His Pain (nytimes.com)
- 10. ▲ Improving the Matrix Multiplication Exponent (arxiv.org)