Elektrine lite

← Feed

ohad

ohad@mathstodon.xyz

<p>I&#39;m not sarcastic.<br />Don&#39;t read between the lines. If I didn&#39;t write it, I didn&#39;t mean it. Best to ask if I meant it!</p>

Posts

  • Post #2531600

    RE: https://fediscience.org/@jameshowell/116535968565347233 This is your periodic reminder that we already know how to write large swathes of unhackable software. We have known how to do it for more than a decade, and we learn how to cover more kinds of software year by year. This includes, eg, control software for smart cars and autonomous drones. The small print? 1. It is even more expensive than ordinary software. 2. Writing a new piece of unhackable software may take arbitrarily long time,...