Maybe by not starting that question using Linux as an example and base for it? :Xhttps://twitter.com/andreasdotorg/status/927943251881086976 …
Of course not. If you scroll down my timeline, I do make fun of smart contracts with undecidable properties too. But memory bugs are such low hanging fruit to fix, and with such disastrous results if vulnerable, I can't even.
-
-
Is it low-hanging fruit, when Microsoft with all their money can't get rid of memory corruption bugs in their OS in over ten years?
-
* Managed code * Singularity * FStar and miTLS At least they know it's a problem and are working hard on getting out of C.
-
I know and that's not what I meant. It's just not low hanging fruit. Getting rid of a huge legacy C/C++ code is obviously very hard.
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.