yurug

4 ms·

1. 1.▲
   by yurug 5mo ago

   At some point, some people will rebuild an entire stack (all layers, from OS to applications) with proof carrying code upgrades. Proof-code co-design and co-construction is the only way to execute code that you can trust.
2. 2.▲
   The OCaml MOOC is back for a 4th edition(fun-mooc.fr)

   2 points by yurug 7y ago|0 comments
3. 3.▲
   Register now to the third edition of the OCaml MOOC(fun-mooc.fr)

   3 points by yurug 8y ago|0 comments