Post #4174458

@simon@fedi.simonwillison.net "the entire software industry needs to up its security game." I have for a while pondered if it isn't provably secure/formally verified development that needs to replace what we have now. Enormously complicated and expensive ... if humans do it.