Reading the code does not mean you understand the code. One lesson that experience in software gave me: I never understood the code. You think it works a certain way, until you find out that it doesn't.
What LLMs make possible is for me to say: find out all the ways this thing works. Analyze the different ways we can run this software, build a fuzzer, build property tests, and run this software in every scenario possible. Log full traces. Log all the outputs. Now, analyze each scenario for bugs. You can't do that by hand.
If we are committed to it, if we put the resources towards it and dedicate the time to it (and we could do this just by saying: it will take half as long as it used to take!), software built by llms in healthcare, finance, automotive, defense, power plans, aviation, manufacturing can all be made MORE reliable and better with LLMs... without ever reading a single line of code. The LLMS are very good at logic, by the way.
Anyway all of this reads like someone who is not actually using LLMs to build software or hasn't tried them in a while. I felt the same way in 2025. I've written 100s of thousands of lines of difficult code. You, the person reading this, has probably interacted with software I've written. For a time you would've interacted with it every time you made a debit card transaction in the united states, for example. I understand code, and care about quality, and that's why I'm all in on LLMs for code.
> What LLMs make possible is for me to say: find out all the ways this thing works.
Except it absolutely doesn't do that and it's absolutely problematic that you think it does.
The state space for a program is ridiculously vast, you couldn't even properly test two 64 bit values' all combinations.
And we already had formal verification for a subset of programming where we can actually verify our assumptions with 100% accuracy. Or there is stuff like TLA+ to actually go over every possible state combination.
I'm absolutely not saying that LLMs are bad, in fact they are pretty good at writing proofs for formal verification languages.
efficax · · focus · HN ↗
What LLMs make possible is for me to say: find out all the ways this thing works. Analyze the different ways we can run this software, build a fuzzer, build property tests, and run this software in every scenario possible. Log full traces. Log all the outputs. Now, analyze each scenario for bugs. You can't do that by hand.
If we are committed to it, if we put the resources towards it and dedicate the time to it (and we could do this just by saying: it will take half as long as it used to take!), software built by llms in healthcare, finance, automotive, defense, power plans, aviation, manufacturing can all be made MORE reliable and better with LLMs... without ever reading a single line of code. The LLMS are very good at logic, by the way.
Anyway all of this reads like someone who is not actually using LLMs to build software or hasn't tried them in a while. I felt the same way in 2025. I've written 100s of thousands of lines of difficult code. You, the person reading this, has probably interacted with software I've written. For a time you would've interacted with it every time you made a debit card transaction in the united states, for example. I understand code, and care about quality, and that's why I'm all in on LLMs for code.
gf000 · · focus · HN ↗
Except it absolutely doesn't do that and it's absolutely problematic that you think it does.
The state space for a program is ridiculously vast, you couldn't even properly test two 64 bit values' all combinations.
And we already had formal verification for a subset of programming where we can actually verify our assumptions with 100% accuracy. Or there is stuff like TLA+ to actually go over every possible state combination.
I'm absolutely not saying that LLMs are bad, in fact they are pretty good at writing proofs for formal verification languages.