Thread

1. audunw · 1790978193 · focus · HN ↗

   Would recommend checking out the Zig state of the (tagged) union as well.

   <a href="https:&#x2F;&#x2F;youtu.be&#x2F;zwi5b5xSsKA?is=PTjJJjSnVMdRuZag" rel="nofollow">https:&#x2F;&#x2F;youtu.be&#x2F;zwi5b5xSsKA?is=PTjJJjSnVMdRuZag

   It may surprise some people here to see that Andrew is warming up to using LLMs to discover bugs (inspired by results from SQLlite) and considers it a tool on the path to getting to bug free software.

   1. saghm · 1790978685 · focus · HN ↗

      &gt; It may surprise some people here to see that Andrew is warming up to using LLMs to discover bugs (inspired by results from SQLlite) and considers it a tool on the path to getting to bug free software.

      Someone in the thread below says their bug was closed because of mentioning that they use AI to confirm the bug they had encountered. Is he going to go back and reopen all of those now that he learned what pretty much everyone else already knew?

      1. mjburgess · 1790978908 · focus · HN ↗

         There&#x27;s a difference between Opus 4.5 and Astra 6

         1. f33d5173 · 1790979099 · focus · HN ↗

            With regards to whether when it finds a legitimate bug, it should be given weight?

            1. mjburgess · 1790981705 · focus · HN ↗

               With regards to whether a blanket ban has a payoff

               1. physicallyIllfr · 1790982572 · focus · HN ↗

                  [dead]

Unofficial Hacker News client; not affiliated with Y Combinator.