@dlitchfield @ivanristic @bascule yes please, all those "provably secure" VMs and their JITs bypassing the proofs.
-
-
@bascule@dlitchfield@ivanristic too old to believe shock & awe, sorry. -
@cynicalsecurity@dlitchfield@ivanristic better living through functional programming -
@bascule@dlitchfield@ivanristic yeah, I still remember the faces of those studying Miranda in the early 90s… -
@cynicalsecurity@dlitchfield@ivanristic I think Rust stands a good chance of actually succeeding, and it fills the same roles as C/C++ -
@bascule@dlitchfield@ivanristic let's hope… the Miranda bloke was so proud and I got the girls while he got a SparcStation 2 at night. -
@cynicalsecurity@dlitchfield@ivanristic FWIW, unlike Miranda Rust is impure and strictly evaluated -
@bascule@dlitchfield@ivanristic ah, that is positive difference. Should I look now? - 1 more reply
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.