Hacker Newsnew | past | comments | ask | show | jobs | submit | DarenWatson's submissions login

1. Proving Laderman's 3x3 Matrix Multiplication Is Locally Optimal via SMT Solvers (zenodo.org) 1 point by DarenWatson 38 days ago | past 2. Why AlphaTensor Failed at 3x3 Matrix Multiplication: The Anchor Barrier (zenodo.org) 1 point by DarenWatson 38 days ago | past 3. Show HN: Dropstone – A Self-Learning AI IDE That Improves with Your Workflow (dropstone.io) 5 points by DarenWatson 5 months ago | past 4. I found a tool which takes the first step towards AGI in Coding (dropstone.io) 2 points by DarenWatson 5 months ago | past

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact Search: