alt Hacker News> Are we going to be too many developers / software engineers ? What will happen for the rests of us?
I propose that we should raise the bar for the quality of software now.
> Are we going to be too many developers / software engineers ? What will happen for the rests of us?
I propose that we should raise the bar for the quality of software now.
Yes, certainly agree. A few days ago here there was this blog claiming how formal verification would become widely more used with AI. The author claiming that AI will help us with the difficulty barrier to write formal proofs.