5 ms·

Functional Operating System and Security Protocol Engineering

• amirmc 12y ago
  There's also a series of blog posts from earlier in the year. http://openmirage.org/blog/introducing-ocaml-tls http://openmirage.org/blog/introducing-ocaml-tls Edit: The ccc video is also up now. See it at (skip to 15mins in): http://vod.c3voc.de/relive/6443/index.m3u8 http://vod.c3voc.de/relive/6443/index.m3u8
  • davorb 12y ago
    There are a lot of interesting talkings at CCC right now. I feel like we're going to be seeing a new entry on the front page after every single one.
    • voidz 12y ago
      A lot of interesting articles coming up? Sounds good to me!
  • ufo 12y ago
    How do I open that m3u8 file?
    • amirmc 12y ago
      On iOS it just started playing but the webpage suggests using VLC.
    • sebaziad 12y ago
      http://188.165.220.116:8081/str/ner/playlist.m3u8 http://188.165.220.116:8081/str/ner/playlist.m3u8
• pushedx 12y ago
  An interview with two of the core developers. https://www.youtube.com/watch?v=jgJwA73uqTg https://www.youtube.com/watch?v=jgJwA73uqTg Truly amazing work here, statically compiling an application as an OS to be run on Xen. This project also sparked development of a pure OCaml implementation of TLS.
  • amirmc 12y ago
    That's one of the core developers (on the left). The other was a guest who was part of the interview.
• spdegabrielle 12y ago
  Is it just me? this seem like it is a big deal.