3 ms·
The rate at which AI is capable of producing code is intractable for humans to deal with. Right now the bottleneck is human reviewers. If AI ever becomes effect
by xlbuttplug2 1y ago
The rate at which AI is capable of producing code is intractable for humans to deal with. Right now the bottleneck is human reviewers. If AI ever becomes effective at generating provably correct code, it's joever.
- Nevermark 1y agoBut will humans understand the proofs? Oh…
- xlbuttplug2 1y agoThe proofs are not meant for human consumption. It's for the AI to know to try again rather than spit out hallucinations. Of course there's a leap of faith somewhere here.
- yencabulator 1y agoThe proof either passes the SAT solver in a reasonable amount of time, or it doesn't.
- kamaal 1y agoSomebody will have to write proof verifier, and that in many ways will be harder than writing some CRUD app that they want proof verifier to validate. We might even end up increasing the demand and pay for devs if this happens to pass.
- yencabulator 1y agoWe have many of those that are perfectly fine. Writing proofs is still quite hard, especially proofs that actually say something about your program.
- kamaal 1y agoProving something is correct is a far harder exercise, than writing a broken but acceptable version of that thing.
- more_corn 1y agoThe good news is there are several thousand newly unemployed software engineers on the market…
- joquarky 1y agoIt's also likely that there are thousands who aren't hustle-culture oriented who have been looking for so long that they don't even count as unemployed anymore. Or maybe I'm just projecting.