Finding Miscompiles for Fun, Not Profit
20 points
2 days ago
| 2 comments
| newsletter.semianalysis.com
| HN
jlebar
1 hour ago
[-]
Author here; I'm happy to answer questions, take criticism, etc etc.
reply
mNovak
2 hours ago
[-]
Given the $10k price tag for tokens and high rate of bugs (several per minute) they mention, it'd be very interesting to see this experiment run with cheaper models too.

I wonder if we get to a world where a full repo sweep like this is a default Github action after commit.

reply
1over137
18 minutes ago
[-]
Most C/C++ projects I know don't even run tests with ASan/TSan/UBSan before each commit/merge.
reply