Skip to content

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

asparagui

937 karmajoined November 13, 2011On HN

brettkoonce.com

Recent submissions

Erdős problem #870 solved with ChatGPT-5.5-Pro and Lean twitter.com
3asparagui2modiscuss
Show HN: Verified Deep Learning with Lean 4 brettkoonce.github.io
6asparagui4modiscuss
Image Recognition with Lean 4 github.com/brettkoonce
5asparagui5modiscuss
Mnist-Lean4 github.com/brettkoonce
2asparagui5modiscuss
DJI is >96% of RemoteID usage in the US [video]youtube.com
4asparagui6modiscuss
Towards Robust Mathematical Reasoning [pdf]aclanthology.org
1asparagui10modiscuss
ROCm 7.0 rocm.docs.amd.com
7asparagui11modiscuss
Google loses appeal in antitrust battle with Fortnite maker japantoday.com
2asparagui1ydiscuss
A Search for Planet Nine with IRAS and Akari Data arxiv.org
3asparagui1ydiscuss
Trump to Rescind Chip Curbs After Debate over AI Rules investing.businessweek.com
1asparagui1ydiscuss
AI Avatars Escape the Uncanny Valley a16z.com
27asparagui1y62 comments
Trump administration can avoid a strategic misstep in the AI race blogs.microsoft.com
3asparagui1ydiscuss
Project Stargate politico.com
4asparagui1ydiscuss
A neuroscientist who taught rats to drive theconversation.com
3asparagui1ydiscuss
MLPerf v4.1 Results mlcommons.org
1asparagui1ydiscuss
John Ousterhout: My Favorite Sayings web.stanford.edu
3asparagui1ydiscuss
AMD Instinct MI325X in Q4 2024, 288GB of HBM3E ir.amd.com
82asparagui2y50 comments
2080ti 22G 2080ti22g.com
1asparagui2ydiscuss
AMD Ryzen Threadripper 7000 Series: <=96 Cores, DDR5 Rdimm, Pro and HEDT phoronix.com
20asparagui2y3 comments
AMD adds support for PyTorch development on select RDNA 3 GPUs with ROCm 5.7 community.amd.com
65asparagui2y8 comments
PyTorch 1.13 pytorch.org
73asparagui3y18 comments
Cirq 1.0 opensource.googleblog.com
1asparagui4ydiscuss
WWDC 2022 developer.apple.com
2asparagui4ydiscuss
MLPerf 2.0 mlcommons.org
1asparagui4ydiscuss
Jetson Orin nvidia.com
2asparagui4ydiscuss
Nvidia H100 nvidia.com
19asparagui4y3 comments
Harvester – open-source Hyperconverged Infrastructure docs.harvesterhci.io
1asparagui4ydiscuss
Kubeflow 1.4 blog.kubeflow.org
13asparagui4y3 comments
MLCommons Releases MLPerf Inference v1.1 Results mlcommons.org
3asparagui4ydiscuss
TPC-Clang Compiler github.com/HabanaAI
2asparagui5ydiscuss

All submissions and comments on Hacker News.

AboutSource Built by g1lg1l

Hackerly is an independent reader for Hacker News, built on the public HN API. Not affiliated with Y Combinator.