5 ms·
Add OCaml Labs (at Cambridge) to that list; their work is helping to remove some of the big gripes with OCaml whilst Mirage is genuinely interesting new (I thin
by CHY872 11y ago
Add OCaml Labs (at Cambridge) to that list; their work is helping to remove some of the big gripes with OCaml whilst Mirage is genuinely interesting new (I think) work.
- nickpsecurity 11y agoOh yeah: they rock! Especially Mirage. That project combines a number of lessons learned from robust systems in the past while adding Ocaml to the mix. Add a robust middleware, a separation kernel, and certifying compiler with the right security checks/defaults to make MirageOS a bad-to-the-bone hosting solution.