@dlitchfield @ivanristic @bascule yes please, all those "provably secure" VMs and their JITs bypassing the proofs.
@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? -
@bascule@dlitchfield@ivanristic challenge accepted :)
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.