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. mwkaufma · 1790982127 · focus · HN ↗

      Warming up to LLMS... explicitly _after_ full branch-coverage and fuzzing.

      1. gre · 1790984539 · focus · HN ↗

         He&#x27;ll reevaluate the LLM bug-finding situation in a few years.

         <a href="https:&#x2F;&#x2F;youtu.be&#x2F;zwi5b5xSsKA?si=w6zZN6AtIvJS9MxP&amp;t=2084" rel="nofollow">https:&#x2F;&#x2F;youtu.be&#x2F;zwi5b5xSsKA?si=w6zZN6AtIvJS9MxP&amp;t=2084

Unofficial Hacker News client; not affiliated with Y Combinator.