Hacker News new | past | comments | ask | show | jobs | submit login
Functional Operating System and Security Protocol Engineering (openmirage.org)
115 points by mrry on Dec 27, 2014 | hide | past | favorite | 9 comments



There's also a series of blog posts from earlier in the year.

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


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.


A lot of interesting articles coming up? Sounds good to me!


How do I open that m3u8 file?



On iOS it just started playing but the webpage suggests using VLC.


An interview with two of the core developers.

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.


That's one of the core developers (on the left). The other was a guest who was part of the interview.


Is it just me? this seem like it is a big deal.




Consider applying for YC's Spring batch! Applications are open till Feb 11.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: