asparagui's submissions

1.		Show HN: Verified Deep Learning with Lean 4 (brettkoonce.github.io)
		6 points by asparagui 3 days ago \| past \| discuss
2.		Image Recognition with Lean 4 (github.com/brettkoonce)
		5 points by asparagui 14 days ago \| past
3.		Mnist-Lean4 (github.com/brettkoonce)
		2 points by asparagui 36 days ago \| past
4.		DJI is >96% of RemoteID usage in the US [video] (youtube.com)
		4 points by asparagui 49 days ago \| past
5.		Towards Robust Mathematical Reasoning [pdf] (aclanthology.org)
		1 point by asparagui 5 months ago \| past
6.		ROCm 7.0 (amd.com)
		7 points by asparagui 7 months ago \| past
7.		Google loses appeal in antitrust battle with Fortnite maker (japantoday.com)
		2 points by asparagui 8 months ago \| past
8.		A Search for Planet Nine with IRAS and Akari Data (arxiv.org)
		3 points by asparagui 11 months ago \| past
9.		Trump to Rescind Chip Curbs After Debate over AI Rules (businessweek.com)
		1 point by asparagui 11 months ago \| past
10.		AI Avatars Escape the Uncanny Valley (a16z.com)
		27 points by asparagui on April 8, 2025 \| past \| 62 comments
11.		Trump administration can avoid a strategic misstep in the AI race (blogs.microsoft.com)
		3 points by asparagui on Feb 27, 2025 \| past
12.		Project Stargate (politico.com)
		4 points by asparagui on Jan 21, 2025 \| past
13.		A neuroscientist who taught rats to drive (theconversation.com)
		3 points by asparagui on Nov 17, 2024 \| past
14.		MLPerf v4.1 Results (mlcommons.org)
		1 point by asparagui on Nov 13, 2024 \| past
15.		John Ousterhout: My Favorite Sayings (stanford.edu)
		3 points by asparagui on Oct 20, 2024 \| past
16.		AMD Instinct MI325X in Q4 2024, 288GB of HBM3E (amd.com)
		82 points by asparagui on June 3, 2024 \| past \| 50 comments
17.		2080ti 22G (2080ti22g.com)
		1 point by asparagui on Feb 15, 2024 \| past
18.		AMD Ryzen Threadripper 7000 Series: <=96 Cores, DDR5 Rdimm, Pro and HEDT (phoronix.com)
		20 points by asparagui on Oct 19, 2023 \| past \| 3 comments
19.		AMD adds support for PyTorch development on select RDNA 3 GPUs with ROCm 5.7 (amd.com)
		65 points by asparagui on Oct 16, 2023 \| past \| 8 comments
20.		PyTorch 1.13 (pytorch.org)
		73 points by asparagui on Oct 28, 2022 \| past \| 18 comments
21.		Cirq 1.0 (googleblog.com)
		1 point by asparagui on July 19, 2022 \| past
22.		WWDC 2022 (developer.apple.com)
		2 points by asparagui on May 3, 2022 \| past
23.		MLPerf 2.0 (mlcommons.org)
		1 point by asparagui on April 6, 2022 \| past
24.		Jetson Orin (nvidia.com)
		2 points by asparagui on March 22, 2022 \| past
25.		Nvidia H100 (nvidia.com)
		19 points by asparagui on March 22, 2022 \| past \| 3 comments
26.		Harvester – open-source Hyperconverged Infrastructure (harvesterhci.io)
		2 points by asparagui on Nov 5, 2021 \| past
27.		Kubeflow 1.4 (kubeflow.org)
		13 points by asparagui on Oct 19, 2021 \| past \| 3 comments
28.		MLCommons Releases MLPerf Inference v1.1 Results (mlcommons.org)
		3 points by asparagui on Sept 22, 2021 \| past
29.		TPC-Clang Compiler (github.com/habanaai)
		2 points by asparagui on Sept 10, 2021 \| past
30.		Epic is shutting down Houseparty (theverge.com)
		4 points by asparagui on Sept 9, 2021 \| past \| 1 comment
		More

HN For You