logoalt Hacker News

audunw • yesterday at 9:54 PM • 2 replies • view on HN

They don’t, at least not any more. Andrew Kelley has explicitly stated that he sees the value of using LLMs to uncover bugs. Inspired by sqllite project.

https://youtu.be/zwi5b5xSsKA?is=PTjJJjSnVMdRuZag

They may just be taking the slow route of rejecting by default until they can be sure that the usage of LLMs provides long term value. I don’t see anything wrong with that. If you’re writing robust software, using LLMs at this stage is a bit of a gamble. We don’t fully know the long term effects on code quality yet.


Replies

csande17 • today at 1:33 AM

He sees the value of using LLMs... only after performing NASA-level verification and fully comprehensive fuzzing using traditional tools. Since Zig has not done those things, LLM-generated bugs are still banned.

saghm • yesterday at 10:07 PM

Ah, so yet another language in the long line of "I'm smart enough to use this but you the user are not"

➕ show 2 replies