Tarides
@tarides_
We’re an international software company that helps people and organisations use #OCaml to build safer & faster code. #OCaml #FunctionalProgramming #MirageOS 🐫
ID:912676345817288705
https://tarides.com 26-09-2017 13:52:52
1,0K Tweets
1,5K Followers
227 Following
Hyeseong Kim We released a naked pointer checker a couple of years ago: discuss.ocaml.org/t/ann-a-dynami…. Might still be worth giving it a spin if you suspect that there are more naked pointers in the code.
Spoke about Sai Venkata Krishnan's work on running baremetal OCaml MirageOS unikernels on a security-hardened Shakti RISC-V processor.
Slides are here: ifip-wg28.github.io/42-utrecht-202…
Have you tried Merlin? Check out @Pixie's blog post sharing some of the magic behind the #OCaml editor. #OpenSource #SoftwareEditor eu1.hubs.ly/H08HHrH0