I rather think about really verifiable, formally correct, openly available (maybe similar to how SQLite is governed - open source but closed to external contrib

I rather think about really verifiable, formally correct, openly available (maybe similar to how SQLite is governed - open source but closed to external contributions). This would take so much more effort to build and maintain this software, but would bring a reliability and trust that we don't have today. Lifespan of a typical software is very short, it's more like build and throw out mostly (data from institute of making things up - it's just my general observation over the years). We could pivot into having narrow set of specialized and trusted software. It wouldn't prevent anyone from building their own stuff. I just mean that something provably trusted would change how our systems can work (from untrusted shaky stuff to the infra we really rely on)