asparagui

Recent Submissions

1. 1. ▲ Erdős problem #870 solved with ChatGPT-5.5-Pro and Lean (twitter.com) 3 points · 1 month ago · 0 comments
2. 2. ▲ Show HN: Verified Deep Learning with Lean 4 (brettkoonce.github.io) 6 points · 3 months ago · 0 comments
3. 3. ▲ Image Recognition with Lean 4 (github.com) 5 points · 3 months ago · 0 comments
4. 4. ▲ Mnist-Lean4 (github.com) 2 points · 4 months ago · 0 comments
5. 5. ▲ DJI is >96% of RemoteID usage in the US [video] (youtube.com) 4 points · 4 months ago · 0 comments
6. 6. ▲ Towards Robust Mathematical Reasoning [pdf] (aclanthology.org) 1 point · 9 months ago · 0 comments
7. 7. ▲ ROCm 7.0 (rocm.docs.amd.com) 7 points · 10 months ago · 0 comments
8. 8. ▲ Google loses appeal in antitrust battle with Fortnite maker (japantoday.com) 2 points · 1 year ago · 0 comments
9. 9. ▲ A Search for Planet Nine with IRAS and Akari Data (arxiv.org) 3 points · 1 year ago · 0 comments
10. 10. ▲ Trump to Rescind Chip Curbs After Debate over AI Rules (investing.businessweek.com) 1 point · 1 year ago · 0 comments