user profile

DarenWatson

58karma·34submissions·January 14, 2025

recent activity (34 total)

1 pts

Proving Laderman's 3x3 Matrix Multiplication Is Locally Optimal via SMT Solvers(zenodo.org)

6mo ago·discuss

1 pts

Why AlphaTensor Failed at 3x3 Matrix Multiplication: The Anchor Barrier(zenodo.org)

6mo ago·discuss

5 pts

Show HN: Dropstone – A Self-Learning AI IDE That Improves with Your Workflow(dropstone.io)

10mo ago·discuss

2 pts

I found a tool which takes the first step towards AGI in Coding(dropstone.io)

10mo ago·discuss