3 ms·

Maybe in the future we will agree on using only standardized, verified, shared software so we can really trust software?

• lazide 2y ago
  Thank god I’ll have NSA certified chat apps to trust in the future!
  • yu3zhou4 2y ago
    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)
    • lazide 2y ago
      The FBI et al have been lobbying against even basic crypto for decades, and for backdoors. Do you think they’d be okay with that?
• deleted 2y ago
  [deleted]