4 ms·
IT industry "we cannot use formal methods to create software out of programmable constraints, it would use too much computational power" also IT industry: "it
by avereveard 3y ago
IT industry
"we cannot use formal methods to create software out of programmable constraints, it would use too much computational power"
also IT industry:
"it takes 1T flop to compute each token of this program and the result is so unstable that to converge it we need layer and layer of controls over each token group, also obtained by asking the same 1T parameter model."
- wredue 3y agoYou are the first person I’ve ever seen use that argument against formal methods. Most people would point to the large dev time increase, and the massive refactoring impairment.
- YeGoblynQueenne 3y agoTo be fair I can't think of any reason to prefer LLMs to formal methods: overall cost, reliability, comprehensibility, whatever you choose to compare, other than natural language generation, formal methods are just way ahead. But I guess it's not what's pushed by the top industry players and people just follow whatever trends on twitter and linkedin. I have a feeling that the situation is pretty different in the semiconductor industry where the stakes are much higher and where I understand model checking to be a standard thing to do, but I'm not an expert.
- deleted 3y ago[deleted]