@bascule Check out Mirage TLS.
-
-
-
@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 … :) -
@h4nnes@andreasdotorg but doesn't ocaml require embedding a GC/runtime? -
@bascule@andreasdotorg yes, we unfortunately still have some OCaml runtime in C... but apart from that we're pretty well off :) -
@h4nnes@andreasdotorg any success embedding in another GC'd runtime? My experience with that has been this: https://i.imgur.com/CVcaqkl.png -
@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 :) -
@h4nnes@andreasdotorg the dream of Java is alive in OCaml? ;)
End of conversation
New conversation -
-
-
@bascule There are very few people that should be trusted to write secure C; at least half have the initials DJB. -
@adamcaudill djb uses qhasm to write his C
End of conversation
New conversation -
-
-
@bascule@FiloSottile I have a lot of sympathy with the mitls project - anyone tried it in any real-world application? -
@hanno@FiloSottile cool idea but F# isn’t a great candidate for embedding in other languages
End of conversation
New conversation -
-
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@bascule Now that most chips support the AES instruction set we can *finally* go back to x86 assembler!Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Since new guys treat it condescendingly,C is better RT
@bascule: I think it’s safe to say C should NOT be used for new encryption softwareThanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.