3 ms·
One factor is that we struggled for a long time under proprietary tooling, and don't want to go back there.
by analog31 2mo ago
One factor is that we struggled for a long time under proprietary tooling, and don't want to go back there.
- bird0861 2mo agoIrrelevant. Open models are competent code generators. No you don't need millions of H100 hours to build them.
- deleted 2mo ago[deleted]
- fithisux 2mo agoNot 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.