Stories by asparagui

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

Show HN: Verified Deep Learning with Lean 4

Image Recognition with Lean 4

Mnist-Lean4

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

Towards Robust Mathematical Reasoning [pdf]

ROCm 7.0

Google loses appeal in antitrust battle with Fortnite maker

A Search for Planet Nine with IRAS and Akari Data

Trump to Rescind Chip Curbs After Debate over AI Rules

AI Avatars Escape the Uncanny Valley

Trump administration can avoid a strategic misstep in the AI race

Project Stargate

A neuroscientist who taught rats to drive

MLPerf v4.1 Results

John Ousterhout: My Favorite Sayings

AMD Instinct MI325X in Q4 2024, 288GB of HBM3E

2080ti 22G

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

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

1 2 3 4