asparagui

Recent Submissions

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