Y Hacker News new | ask | show | jobs

user: asparagui created: 2011-11-13 karma: 936 brettkoonce.com submissions: 0 points | 0 comments 0 points | 0 comments Show HN: Verified Deep Learning with Lean 4 6 points | 0 comments Image Recognition with Lean 4 5 points | 0 comments Mnist-Lean4 2 points | 0 comments DJI is >96% of RemoteID usage in the US [video] 4 points | 0 comments 0 points | 0 comments 0 points | 0 comments Towards Robust Mathematical Reasoning [pdf] 1 points | 0 comments ROCm 7.0 7 points | 0 comments Google loses appeal in antitrust battle with Fortnite maker 2 points | 0 comments A Search for Planet Nine with IRAS and Akari Data 3 points | 0 comments Trump to Rescind Chip Curbs After Debate over AI Rules 1 points | 0 comments AI Avatars Escape the Uncanny Valley 27 points | 62 comments Trump administration can avoid a strategic misstep in the AI race 3 points | 0 comments 0 points | 0 comments Project Stargate 4 points | 0 comments A neuroscientist who taught rats to drive 3 points | 0 comments MLPerf v4.1 Results 1 points | 0 comments John Ousterhout: My Favorite Sayings 3 points | 0 comments 0 points | 0 comments AMD Instinct MI325X in Q4 2024, 288GB of HBM3E 82 points | 50 comments 2080ti 22G 1 points | 0 comments AMD Ryzen Threadripper 7000 Series: <=96 Cores, DDR5 Rdimm, Pro and HEDT 20 points | 3 comments AMD adds support for PyTorch development on select RDNA 3 GPUs with ROCm 5.7 65 points | 8 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments