Comment by analog31
1 day ago
One factor is that we struggled for a long time under proprietary tooling, and don't want to go back there.
1 day ago
One factor is that we struggled for a long time under proprietary tooling, and don't want to go back there.
Irrelevant. Open models are competent code generators. No you don't need millions of H100 hours to build them.
Not for everyone. Not all of us (especially unemployed) have the big bucks to buy the machines required.
But you can download gcc in a cheap laptop and create a theorem prover e.g.