Finding Miscompiles for Fun, Not Profit

(newsletter.semianalysis.com)

24 points | by tmoertel 2 days ago

3 comments

  • jlebar 1 hour ago
    Author here; I'm happy to answer questions, take criticism, etc etc.
  • 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.

    • 1over137 56 minutes ago
      Most C/C++ projects I know don't even run tests with ASan/TSan/UBSan before each commit/merge.
  • jalospinoso 23 minutes ago
    [flagged]