HN Explorer

aaraujo002

↗ HN profile [ 63.4 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Lean Verified Transformers (srush.github.io)
    1 points 0
  2. Making Startups Powerful (paulgraham.com)
    1 points 10
  3. The KV cache as an agent runtime (research.yandex.com)
    1 points 0
  4. Terence Tao on the Navier-Stokes Equations (mathstodon.xyz)
    3 points 2
  5. Fermat's Last Theorem in Lean 4 (github.com)
    4 points 31
  6. Corporate America Is Getting Hooked on Open-Source A.I (nytimes.com)
    2 points 247
  7. Mark Zuckerberg Wants to Make Sure His Competitors Share His Pain (nytimes.com)
    5 points 9
  8. Improving the Matrix Multiplication Exponent (arxiv.org)
    1 points 0
  9. Mathematics in the Age of AI (arxiv.org)
    1 points 0
  10. As France's Elders Swelter in the Heat, Postal Workers Come to the Rescue (nytimes.com)
    1 points 0
  11. A New Chapter for Reve (blog.reve.com)
    6 points 1
  12. 1 points 0
  13. Meta Delays Rollout of New A.I. Model After Performance Concerns (nytimes.com)
    8 points 1
  14. 1 points 0
  15. We built a browser with GPT-5.2 in Cursor (xcancel.com)
    4 points 0
  16. Trump Clears Sale of More Powerful Nvidia A.I. Chips to China (nytimes.com)
    7 points 1
  17. The Eiffel Tower Llama (huggingface.co)
    2 points 0
  18. Piloting Group Chats in ChatGPT (openai.com)
    1 points 0
  19. Let's Talk About the AI Bubble [video] (youtube.com)
    3 points 0
  20. We Started with Jax but Moved to PyTorch (mlechner.substack.com)
    2 points 0
  21. The Free Transformer (arxiv.org)
    6 points 0
  22. The Problem with Time and Timezones (2013) [video] (youtube.com)
    1 points 0
  23. Is 'Zone 2' the Magic Effort Level for Exercise? (nytimes.com)
    1 points 1
  24. Humanity's Last Exam (agi.safe.ai)
    3 points 0
  25. Can Europe build its first trillion-dollar startup? (ft.com)
    15 points 19