I think it’s safe to say C should NOT be used for new encryption software
-
-
Replying to @andreasdotorg
@andreasdotorg@bascule it's OCaml-TLS https://github.com/mirleft/ocaml-tls … (works with mirage OS http://openmirage.org ) also https://github.com/hannesm/ocaml-otr … :)1 reply 0 retweets 1 like -
Replying to @h4nnes
@h4nnes@andreasdotorg but doesn't ocaml require embedding a GC/runtime?2 replies 0 retweets 0 likes -
Replying to @bascule
@bascule@andreasdotorg yes, we unfortunately still have some OCaml runtime in C... but apart from that we're pretty well off :)1 reply 0 retweets 0 likes -
Replying to @h4nnes
@h4nnes@andreasdotorg any success embedding in another GC'd runtime? My experience with that has been this: https://i.imgur.com/CVcaqkl.png1 reply 0 retweets 0 likes -
Replying to @bascule
@bascule@andreasdotorg why should I embed it into another GC'd runtime? Mirage OS runs raw on Xen hypervisor. all my code is in OCaml :)1 reply 0 retweets 0 likes
@h4nnes @andreasdotorg the dream of Java is alive in OCaml? ;)
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.