HN Explorer

asparagui

↗ HN profile [ 73.4 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Erdős problem #870 solved with ChatGPT-5.5-Pro and Lean (twitter.com)
    3 points 0
  2. Show HN: Verified Deep Learning with Lean 4 (brettkoonce.github.io)
    6 points 1
  3. Image Recognition with Lean 4 (github.com)
    5 points 0
  4. Mnist-Lean4 (github.com)
    2 points 0
  5. DJI is >96% of RemoteID usage in the US [video] (youtube.com)
    4 points 0
  6. Towards Robust Mathematical Reasoning [pdf] (aclanthology.org)
    1 points 0
  7. ROCm 7.0 (rocm.docs.amd.com)
    7 points 0
  8. Google loses appeal in antitrust battle with Fortnite maker (japantoday.com)
    2 points 0
  9. A Search for Planet Nine with IRAS and Akari Data (arxiv.org)
    3 points 0
  10. Trump to Rescind Chip Curbs After Debate over AI Rules (investing.businessweek.com)
    1 points 0
  11. AI Avatars Escape the Uncanny Valley (a16z.com)
    27 points 69
  12. Trump administration can avoid a strategic misstep in the AI race (blogs.microsoft.com)
    3 points 2
  13. Project Stargate (politico.com)
    4 points 0
  14. A neuroscientist who taught rats to drive (theconversation.com)
    3 points 0
  15. MLPerf v4.1 Results (mlcommons.org)
    1 points 0
  16. John Ousterhout: My Favorite Sayings (web.stanford.edu)
    3 points 0
  17. AMD Instinct MI325X in Q4 2024, 288GB of HBM3E (ir.amd.com)
    82 points 52
  18. 2080ti 22G (2080ti22g.com)
    1 points 0
  19. AMD Ryzen Threadripper 7000 Series: <=96 Cores, DDR5 Rdimm, Pro and HEDT (phoronix.com)
    20 points 3
  20. AMD adds support for PyTorch development on select RDNA 3 GPUs with ROCm 5.7 (community.amd.com)
    65 points 8
  21. PyTorch 1.13 (pytorch.org)
    73 points 19
  22. Cirq 1.0 (opensource.googleblog.com)
    1 points 0
  23. WWDC 2022 (developer.apple.com)
    2 points 0
  24. MLPerf 2.0 (mlcommons.org)
    1 points 0
  25. Jetson Orin (nvidia.com)
    2 points 0