Their programs lead fast and dangerous lives. For example, the notorious "worm" that paralyzed the Internet in 1988 exploited the UNIX TM operating system's failure to check whether the input buffer has overflowed in the finger daemon.
-
-
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Maybe a partial reason the
#InternetOfThings is so easily broken? -
This is kind of partly whay I hold out hope for people coming into the field by way of making. If your software doesn’t work all the time, your drone crashes, or your reflow oven melts down, or things burst into flame, ... Physical computing has advantages.
End of conversation
New conversation -
-
-
Better: Lift those checks into static proofs. SICP shows its age here
#imho -
We need better interaction between compilers and programmers to do that well. Implicitly proving what's possible, and silently checking the rest won't compete well on performance with unchecked. Explicit proofs everywhere can't compete on ergonomics
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.