HNHacker News
TopNewBestAskShowJobs

asparagui

938 karma · joined November 13, 2011

brettkoonce.com
submissionscomments

Erdős problem #870 solved with ChatGPT-5.5-Pro and Lean

twitter.com·3 pts·asparagui·
0

Show HN: Verified Deep Learning with Lean 4

brettkoonce.github.io·6 pts·asparagui·
0

Image Recognition with Lean 4

github.com·5 pts·asparagui·
0

Mnist-Lean4

github.com·2 pts·asparagui·
0

DJI is >96% of RemoteID usage in the US [video]

youtube.com·4 pts·asparagui·
0

Towards Robust Mathematical Reasoning [pdf]

aclanthology.org·1 pts·asparagui·
0

ROCm 7.0

rocm.docs.amd.com·7 pts·asparagui·
0

Google loses appeal in antitrust battle with Fortnite maker

japantoday.com·2 pts·asparagui·
0

A Search for Planet Nine with IRAS and Akari Data

arxiv.org·3 pts·asparagui·
0

Trump to Rescind Chip Curbs After Debate over AI Rules

investing.businessweek.com·1 pts·asparagui·
0

AI Avatars Escape the Uncanny Valley

a16z.com·27 pts·asparagui·
62

Trump administration can avoid a strategic misstep in the AI race

blogs.microsoft.com·3 pts·asparagui·
0

Project Stargate

politico.com·4 pts·asparagui·
0

A neuroscientist who taught rats to drive

theconversation.com·3 pts·asparagui·
0

MLPerf v4.1 Results

mlcommons.org·1 pts·asparagui·
0

John Ousterhout: My Favorite Sayings

web.stanford.edu·3 pts·asparagui·
0

AMD Instinct MI325X in Q4 2024, 288GB of HBM3E

ir.amd.com·82 pts·asparagui·
50

2080ti 22G

2080ti22g.com·1 pts·asparagui·
0

AMD Ryzen Threadripper 7000 Series: <=96 Cores, DDR5 Rdimm, Pro and HEDT

phoronix.com·20 pts·asparagui·
3

AMD adds support for PyTorch development on select RDNA 3 GPUs with ROCm 5.7

community.amd.com·65 pts·asparagui·
8

PyTorch 1.13

pytorch.org·73 pts·asparagui·
18

Cirq 1.0

opensource.googleblog.com·1 pts·asparagui·
0

WWDC 2022

developer.apple.com·2 pts·asparagui·
0

MLPerf 2.0

mlcommons.org·1 pts·asparagui·
0

Jetson Orin

nvidia.com·2 pts·asparagui·
0

Nvidia H100

nvidia.com·19 pts·asparagui·
3

Harvester – open-source Hyperconverged Infrastructure

docs.harvesterhci.io·1 pts·asparagui·
0

Kubeflow 1.4

blog.kubeflow.org·13 pts·asparagui·
3

MLCommons Releases MLPerf Inference v1.1 Results

mlcommons.org·3 pts·asparagui·
0

TPC-Clang Compiler

github.com·2 pts·asparagui·
0
Page 1 of 4Next →