3 ms·

I fear that the economics as they are will settle for "worse software, significantly quicker". Not sure formal methods will save us either way. But making it m

I fear that the economics as they are will settle for "worse software, significantly quicker". Not sure formal methods will save us either way. But making it more accessible might just trigger enough people's "I don't want to push out absolute garbage if I can avoid it" buttons. That's why I was wondering if there are already mainstream-accessible examples/explanations. It seems your search yielded the same results mine did :)

Ericson2314 2y ago
Eh, I think it is hard to get around the need for maintaining software, no matter how "worse is better" you are. > But making it more accessible might just trigger enough people's "I don't want to push out absolute garbage if I can avoid it" buttons. Yes, there is that too. Simple love of the craft. > That's why I was wondering if there are already mainstream-accessible examples/explanations. It seems your search yielded the same results mine did :) Just keep watching Lean. Now it is dominated by pure math, but people will be writing more programs over time also.