Maybe the new software should not have any errors. I know, I have higher expectations than the average commercial software customer.

▲

Jean-Papoulos 5 hours ago | parent [-]

Of course, why didn't anyone think of that ? I bet if someone started to ship software that has no errors they'll make a huge amount of money, especially from all the people that are security-minded !

Please grow a brain.

	▲	leonidasrup 2 hours ago \| parent [-]
		There is currently only method to prove absence of errors, this method is not LLMs, it's formal verification methods. Currently only very little formal verification is used in software industry, static type checking.