#mirage on 2014-12-04 — 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 rgrinberg has joined #mirage

00:08 AltGr has joined #mirage

00:32 manud has joined #mirage

00:36 manud has quit [Ping timeout: 255 seconds]

00:53 thomasga has quit [Quit: Leaving.]

00:58 rgrinberg has quit [Read error: Connection reset by peer]

01:33 manud has joined #mirage

01:37 manud has quit [Ping timeout: 250 seconds]

02:02 manud has joined #mirage

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

02:48 brson has quit [Ping timeout: 250 seconds]

04:03 manud has quit [Quit: Be back later ...]

05:40 brson has joined #mirage

06:29 MrScout_ has joined #mirage

06:32 MrScout has quit [Ping timeout: 252 seconds]

06:33 MrScout_ has quit [Ping timeout: 240 seconds]

07:00 MrScout has joined #mirage

07:04 MrScout has quit [Ping timeout: 244 seconds]

07:45 manud has joined #mirage

08:00 chambart has joined #mirage

08:01 MrScout has joined #mirage

08:05 MrScout has quit [Ping timeout: 255 seconds]

08:16 brson has quit [Read error: Connection reset by peer]

08:21 brson has joined #mirage

08:39 jonludlam has quit [Quit: Coyote finally caught me]

08:39 chambart has quit [Ping timeout: 272 seconds]

08:39 chambart has joined #mirage

08:45 brson has quit [Ping timeout: 245 seconds]

08:48 manud has quit [Quit: Lingo: www.lingoirc.com]

08:53 larhat has quit [Quit: Leaving.]

09:01 MrScout has joined #mirage

09:02 avsm has joined #mirage

09:05 MrScout has quit [Ping timeout: 250 seconds]

09:12 chambart has quit [Ping timeout: 255 seconds]

09:16 thomasga has joined #mirage

09:25 avsm has quit [Quit: Leaving.]

09:31 dsheets_ has joined #mirage

09:37 dsheets_ has quit [Ping timeout: 258 seconds]

09:41 jonludlam has joined #mirage

09:47 larhat has joined #mirage

10:00 MrScout has joined #mirage

10:05 MrScout has quit [Ping timeout: 240 seconds]

10:06 AltGr has left #mirage [#mirage]

10:11 djs551 has joined #mirage

10:11 djs551 has quit [Client Quit]

10:41 chambart has joined #mirage

11:29 planetlarg has joined #mirage

12:04 MrScout has joined #mirage

12:08 MrScout has quit [Ping timeout: 244 seconds]

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

12:38 avsm has joined #mirage

12:39 <avsm> hannes: https://github.com/mirage/ocaml-conduit/pull/32/files ok by you? can cut the release if so

12:45 <hannes> avsm: [reading] are you interested in the cohttp client + server examples using it (I can PR https://github.com/hannesm/ocaml-cohttp/tree/client-lwt-example)

12:45 <avsm> hannes: yep, please...

12:46 <avsm> hannes: having an 'mlcurl' would be handy

12:46 <hannes> conduit looks good to me

12:47 <hannes> https://github.com/mirage/ocaml-cohttp/pull/209

12:48 <hannes> yeah, but hannes is busy writing a cli (alpha hopefully tomorrow)...

13:29 thomasga has joined #mirage

13:41 <avsm> hannes: woot to cli!

13:42 <avsm> hannes: ouch, no way to check hostname in Lwt_ssl afaics

13:42 <hannes> any imagemagick experts around? can I tell `import` to record multiple screenshots and produce an animated gif?

13:45 <hannes> avsm: when creating the ssl context, you can pass a verification callback https://github.com/savonet/ocaml-ssl/blob/master/src/ssl.mli#L254

13:48 <avsm> hannes: aha, and set_client_SNI_hostname

13:49 <avsm> hannes: not used im in > a decade sadly! :)

13:50 <hannes> avsm: you're using irc -- which is sort of im, isn't it? (.oO(is there an irc implementation in caml?))

13:50 <avsm> im => imagemagick

13:51 <hannes> ah, gotcha

13:55 larhat has quit [Quit: Leaving.]

14:02 thomasga has quit [Quit: Leaving.]

14:09 planetlarg has quit [Remote host closed the connection]

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

14:20 avsm has joined #mirage

14:22 thomasga has joined #mirage

14:57 avsm has quit [Quit: Leaving.]

15:06 avsm has joined #mirage

15:06 MrScout has joined #mirage

15:11 MrScout has quit [Ping timeout: 265 seconds]

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

16:07 MrScout has joined #mirage

16:11 MrScout has quit [Ping timeout: 250 seconds]

16:12 thomasga1 has joined #mirage

16:14 tlockney_away is now known as tlockney

16:16 thomasga1 has quit [Client Quit]

16:16 jerith_ has joined #mirage

16:18 thomasga has quit [Ping timeout: 265 seconds]

16:18 mekaj_ has quit [Ping timeout: 265 seconds]

16:18 jerith has quit [Ping timeout: 265 seconds]

16:19 mekaj has joined #mirage

16:46 dsheets_ has joined #mirage

16:59 thomasga has joined #mirage

17:01 boogie has joined #mirage

17:07 MrScout has joined #mirage

17:12 MrScout has quit [Ping timeout: 258 seconds]

17:21 brson has joined #mirage

17:37 brson has quit [Quit: leaving]

17:37 brson has joined #mirage

17:40 jonludlam has quit [Ping timeout: 256 seconds]

17:43 brson has quit [Quit: leaving]

17:43 brson has joined #mirage

17:44 avsm has joined #mirage

17:45 jonludlam has joined #mirage

17:47 jonludlam has quit [Client Quit]

17:51 brson has quit [Ping timeout: 264 seconds]

17:58 brson has joined #mirage

18:06 thomasga has quit [Ping timeout: 265 seconds]

18:08 MrScout has joined #mirage

18:13 MrScout has quit [Ping timeout: 258 seconds]

18:23 avsm has quit [Quit: Leaving.]

18:25 MrScout has joined #mirage

18:30 MrScout has quit [Ping timeout: 244 seconds]

18:40 jonludlam has joined #mirage

18:44 chambart has quit [Ping timeout: 272 seconds]

19:07 MrScout has joined #mirage

19:54 jonludlam has quit [Ping timeout: 244 seconds]

20:05 thomasga has joined #mirage

20:08 dsheets_ has quit [Ping timeout: 256 seconds]

20:09 manud has joined #mirage

20:14 jonludlam has joined #mirage

20:19 brson has quit [Ping timeout: 264 seconds]

20:20 hhugo has quit [Ping timeout: 255 seconds]

20:57 chambart has joined #mirage

20:57 brson has joined #mirage

21:42 brson has quit [Quit: leaving]

21:42 brson has joined #mirage

21:47 brson has quit [Ping timeout: 264 seconds]

22:01 MrScout_ has joined #mirage

22:04 MrScout__ has joined #mirage

22:04 MrScout has quit [Ping timeout: 272 seconds]

22:05 MrScout_ has quit [Read error: Connection reset by peer]

22:10 brson has joined #mirage

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

23:03 brson has quit [Ping timeout: 240 seconds]

23:15 MrScout__ has quit [Remote host closed the connection]

23:16 MrScout has joined #mirage

23:21 manud has quit [Quit: Lingo: www.lingoirc.com]

23:38 chambart has quit [Ping timeout: 258 seconds]

23:39 chambart has joined #mirage

23:40 brson has joined #mirage

23:56 nojb has joined #mirage

23:58 nojb has quit [Client Quit]