13:11 <maker> noddy2OOO, DrWhax: is any of you two going to the hackathon of MirageOS?

13:17 <DrWhax> it sounds cool, but I never did any ocaml.

13:19 <DrWhax> maker: ^

13:21 <hannes> DrWhax: I'm sure you'll contribute to the whole project if you turn up, discuss and join the hackathon!

13:23 <maker> DrWhax: oh me too :P

13:23 <maker> hannes: ohai!

13:25 <maker> hannes: I am seriously evaluating the idea of coming to the hackathon, mostly because I am super-interested in formal proofs for the security of some protocols, and with coq I bet there's something I could do.

13:25 <maker> hannes: this sounds a lot like a phd project; will you be at 32c3, so that maybe we can have a little chat about this?

13:25 <DrWhax> hannes: :)

13:25 <hannes> maker: yes. please do. I've done some formal mehods (using a higher-order separation logic (in coq) to formally verify the functional correctness of imperative (oo) code)

13:26 <hannes> maker: i'll be at 32c3. mainly at the espresso bicycle, top floor facing south (next to the tea house), coffeenerds

13:27 <DrWhax> i'll swing by as well :)

13:27 <DrWhax> Cool, i'll consider going :)

13:29 <maker> DrWhax: oh please let me know. It would be nice to have some "known" faces there.

13:29 <maker> hannes: haha, I remember from past year. Wonderful!

13:29 <maker> hannes: btw, are you looking for phd students

13:29 <maker> ?

13:30 <DrWhax> maker: will certainly do :)

13:30 <hannes> maker: I personally don't know. but if there's interest, I'm sure we can sort sth out at university of cambridge!

13:31 <maker> hannes: I am with the cryptography group in bristol for a while now

13:31 <maker> so it's not even that far to drop by and have a tea

13:32 <hannes> nice. yep. let's talk at 32c3 (since i'm really bad with faces, remind me of this discussion :)

13:32 <maker> but here I'm mostly doing multi-party-computation and spotting gchq employees

13:32 <DrWhax> also sounds like fun

13:35 <maker> good.

13:35 <maker> consummatum est, have a nice we.

20:06 <reynir> I found out that the hackathon coincides *exactly* with the company ski trip :/

22:39 <hannes> reynir: that's too bad :( unfortunately this is the only time in march where the hostel is available...

22:40 <Drup> hannes: btw, how are the founding options ?

22:40 <hannes> Drup: send a mail and we'll try to sort something out...

22:43 <Drup> ok