This brilliant article argues that current computing problems (such as Spectre and Meltdown) are caused by modern CPUs exposing a fundamentally different abstract machine than the actual computing architecture, mostly to satisfy the complacency desires of C traditionalists.https://twitter.com/CompSciFact/status/991687650389233664 …
-
-
Definitely already true, for many interesting problems, and many languages. But the fundamental problem of the processor pretending to be something it’s not is not going away. Even one of the “post-C” designs from the paper (ARM vectors) lies to FP programs, too.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.