stuff I did not know

https://www.cs.rochester.edu/u/scott/papers/2004_DISC_dual_DS.pdf 

Ok, tried to read it. Does not look serious. Nice discussion, but no theory. Just waving hands. Could apply pi-calculus, and then it could be strict. Kind of. "total functions". "returning error code". C programmers, my ass.

learn rust

https://doc.rust-lang.org/book 

secure programming

> rustc -version
error: Unrecognized option: 'e'