#mirage on 2015-03-22 — irc logs at freenode.irclog.whitequark.org

2014-11-12 23:09 avsm changed the topic of #mirage to: mirage 2 released! party on!

00:00 brson has quit [Quit: leaving]

00:00 brson has joined #mirage

00:31 brson has quit [Quit: leaving]

00:43 rgrinberg has joined #mirage

00:48 rgrinberg has quit [Ping timeout: 265 seconds]

01:20 thomasga1 has joined #mirage

01:22 thomasga has quit [Ping timeout: 246 seconds]

02:11 rgrinberg has joined #mirage

02:33 rgrinberg has quit [Ping timeout: 245 seconds]

03:07 dsheets has quit [Ping timeout: 265 seconds]

03:30 rgrinberg has joined #mirage

03:35 rgrinberg has quit [Ping timeout: 252 seconds]

03:48 larhat has quit [Read error: Connection reset by peer]

03:48 larhat1 has joined #mirage

04:12 rgrinberg has joined #mirage

05:27 dobson has quit [Ping timeout: 245 seconds]

05:28 dobson has joined #mirage

06:12 rgrinberg has quit [Ping timeout: 265 seconds]

06:18 rgrinberg has joined #mirage

07:22 rgrinberg has quit [Ping timeout: 250 seconds]

07:34 rgrinberg has joined #mirage

07:40 rgrinberg has quit [Ping timeout: 264 seconds]

08:01 dsheets has joined #mirage

08:34 andreas1 has joined #mirage

08:35 rgrinberg has joined #mirage

08:40 rgrinberg has quit [Ping timeout: 265 seconds]

08:56 larhat1 has quit [Quit: Leaving.]

09:14 avsm has joined #mirage

09:55 rgrinberg has joined #mirage

10:00 rgrinberg has quit [Ping timeout: 256 seconds]

10:08 avsm has quit [Quit: Leaving.]

10:34 yomimono has quit [Ping timeout: 264 seconds]

10:42 avsm has joined #mirage

10:43 avsm has quit [Client Quit]

11:44 rgrinberg has joined #mirage

11:48 rgrinberg has quit [Ping timeout: 252 seconds]

12:19 larhat has joined #mirage

13:07 avsm has joined #mirage

13:29 rgrinberg has joined #mirage

13:34 rgrinberg has quit [Ping timeout: 245 seconds]

13:57 yomimono has joined #mirage

15:18 rgrinberg has joined #mirage

15:19 yomimono has quit [Ping timeout: 252 seconds]

15:23 rgrinberg has quit [Ping timeout: 252 seconds]

15:30 vanila has joined #mirage

15:30 <vanila> hello

15:32 <vanila> Can I use the mirage/ocaml SSL stuff (rather than openssl) with another webserver?

15:35 dsheets has quit [Read error: Connection reset by peer]

15:38 rgrinberg has joined #mirage

15:39 avsm has quit [Quit: Leaving.]

16:09 dsheets has joined #mirage

16:18 boogie has joined #mirage

16:18 dsheets has quit [Remote host closed the connection]

16:47 mort___ has joined #mirage

17:21 mort___ has quit [Quit: Leaving.]

17:21 dsheets has joined #mirage

17:26 boogie has quit [Remote host closed the connection]

17:29 boogie has joined #mirage

17:30 boogie has quit [Remote host closed the connection]

18:07 rgrinberg has quit [Ping timeout: 246 seconds]

18:22 larhat has quit [Quit: Leaving.]

18:35 avsm has joined #mirage

18:51 <avsm> vanila: working on that now — a unikernel that just does TLS<->TCP like stunnel or stud

18:51 <avsm> that should work with another webserver

18:51 <avsm> (the unix compilation of that doesnt even need xen)

18:52 <vanila> that's exciting! looking forward to giving it a go :)

18:52 brson has joined #mirage

19:14 mort___ has joined #mirage

19:15 avsm has quit [Quit: Leaving.]

19:33 rgrinberg has joined #mirage

20:21 vanila has quit [Quit: Leaving]

20:34 brson has quit [Ping timeout: 256 seconds]

20:40 thomasga1 has quit [Quit: Leaving.]

20:41 thomasga has joined #mirage

20:46 seangrove has quit [Remote host closed the connection]

21:15 mort___ has quit [Quit: Leaving.]

21:18 thomasga has quit [Quit: Leaving.]

21:19 thomasga has joined #mirage

21:25 andreas2 has joined #mirage

21:29 andreas1 has quit [Ping timeout: 256 seconds]

21:36 andreas1 has joined #mirage

21:38 andreas3 has joined #mirage

21:38 andreas2 has quit [Ping timeout: 250 seconds]

21:41 andreas1 has quit [Ping timeout: 252 seconds]

21:59 thomasga has quit [Quit: Leaving.]

22:00 thomasga has joined #mirage

22:22 kdef has joined #mirage

22:25 kamalmarhubi__ is now known as kamalmarhubi

22:37 boogie has joined #mirage

22:43 boogie has quit [Remote host closed the connection]

22:44 boogie has joined #mirage

22:51 thomasga has quit [Quit: Leaving.]

22:54 kdef has quit [Quit: Leaving]

22:54 thomasga has joined #mirage

22:55 kdef has joined #mirage

23:20 yomimono has joined #mirage

23:34 avsm has joined #mirage

23:40 seangrove has joined #mirage