#mirage on 2018-07-24 — irc logs at freenode.irclog.whitequark.org

2018-07-11 15:40 hannes changed the topic of #mirage to: https://mirage.io - bug cleaning day every first friday in month (14:00 UTC - late, next: Aug 3rd) - next call July 25th 16:00 BST https://github.com/mirage/mirage-www/wiki/Call-Agenda - retreat 3rd-10th October http://retreat.mirage.io - this channel is logged at http://irclog.whitequark.org/mirage/ - MirageOS 3.1 is released - happy hacking!

01:19 adrianl_ has quit [Remote host closed the connection]

02:16 demonimin has quit [Remote host closed the connection]

02:21 demonimin has joined #mirage

03:44 pagurus has quit [Ping timeout: 240 seconds]

03:45 pagurus has joined #mirage

07:41 Guest65784 has joined #mirage

07:45 Guest65784 has quit [Read error: Connection reset by peer]

07:46 TheRuralJuror has joined #mirage

08:24 TheRuralJuror is now known as Haudegen

09:20 adrianl_ has joined #mirage

09:21 adrianl__ has joined #mirage

09:24 adrianl_ has quit [Ping timeout: 256 seconds]

09:25 adrianl__ has quit [Ping timeout: 256 seconds]

09:43 argent_smith has joined #mirage

10:16 mort___ has joined #mirage

10:46 mort___ has quit [Quit: Leaving.]

11:19 adrianl_ has joined #mirage

11:48 mort___ has joined #mirage

12:05 mort___ has quit [Ping timeout: 268 seconds]

12:13 Haudegen has quit [Remote host closed the connection]

12:44 <hannes> kit_ty_kate: I don't know much about cohttp, but yes, conduit has in certain scenarios tls support using ocaml-tls, and if you end up with such a conduit, you can use cohttp on top of that and get a https server

13:41 mort___ has joined #mirage

13:54 Haudegen has joined #mirage

16:43 adrianl__ has joined #mirage

16:47 adrianl_ has quit [Ping timeout: 256 seconds]

16:55 mort___ has quit [Ping timeout: 260 seconds]

18:21 Haudegen has quit [Remote host closed the connection]

19:25 Haudegen has joined #mirage

19:29 Haudegen has quit [Ping timeout: 244 seconds]

19:32 Haudegen has joined #mirage

20:19 jnavila has joined #mirage

20:33 jnavila has quit [Remote host closed the connection]

20:39 adrianl__ has quit [Remote host closed the connection]

20:40 adrianl_ has joined #mirage

20:41 mort___ has joined #mirage

20:41 adrianl__ has joined #mirage

20:44 adrianl_ has quit [Ping timeout: 256 seconds]

20:56 mort___ has left #mirage [#mirage]

20:59 adrianl__ has quit [Remote host closed the connection]

20:59 adrianl_ has joined #mirage

21:04 adrianl_ has quit [Ping timeout: 256 seconds]

21:34 mort___ has joined #mirage

22:06 karmi has joined #mirage

22:06 karmi has quit [Client Quit]

22:06 karmi has joined #mirage

22:07 karmi has quit [Client Quit]

22:07 mort___ has quit [Quit: Leaving.]

22:15 Haudegen has quit [Remote host closed the connection]

22:18 argent_smith1 has joined #mirage

22:21 argent_smith has quit [Ping timeout: 268 seconds]

22:21 argent_smith has joined #mirage

22:22 argent_smith2 has joined #mirage

22:24 argent_smith1 has quit [Ping timeout: 256 seconds]

22:25 argent_smith has quit [Ping timeout: 256 seconds]

22:28 argent_smith2 has quit [Quit: Leaving.]

22:31 mort___ has joined #mirage

22:53 mort___ has quit [Quit: Leaving.]