Would recommend checking out the Zig state of the (tagged) union as well.<a href="https://youtu.be/zwi5b5xSsKA?is=PTjJJjSnVMdRuZag" rel="nofollow">https://youtu.be/zwi5b5xSsKA?is=PTjJJjSnVMdRuZagIt 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.
It boggles the mind that people believe anyone that thinks differently from them is automatically utterly stupid.Actually, on second thought, it really doesn't. Indoctrination and herd mentality are quite the things.
audunw · · focus · HN ↗
<a href="https://youtu.be/zwi5b5xSsKA?is=PTjJJjSnVMdRuZag" rel="nofollow">https://youtu.be/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.
kasajian · · focus · HN ↗
[dead]
tinfoilhatter · · focus · HN ↗
Actually, on second thought, it really doesn't. Indoctrination and herd mentality are quite the things.