#mirage on 2014-08-20 — irc logs at freenode.irclog.whitequark.org

00:00 rgrinberg1 has joined #mirage

00:03 rgrinberg has quit [Ping timeout: 246 seconds]

00:43 rgrinberg1 has quit [Quit: Leaving.]

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

00:54 rgrinberg has joined #mirage

01:03 algoriddle has quit [Quit: Connection closed for inactivity]

01:53 rgrinberg has quit [Quit: Leaving.]

02:48 rgrinberg has joined #mirage

03:12 gperetin has quit [Ping timeout: 240 seconds]

03:15 gperetin has joined #mirage

04:06 philtor has quit [Read error: No route to host]

04:09 tlockney_away is now known as tlockney

04:49 tlockney is now known as tlockney_away

06:57 <vbmithr_> :)

07:07 andreas has joined #mirage

07:11 rgrinberg has quit [Quit: Leaving.]

07:12 rgrinberg has joined #mirage

07:33 AltGr has joined #mirage

08:14 jonludlam has quit [Remote host closed the connection]

08:30 jonludlam has joined #mirage

08:31 rgrinberg has quit [Quit: Leaving.]

08:38 djs55 has joined #mirage

08:50 <vbmithr_> I think I found my issue

08:50 <vbmithr_> when tls complain wrong TLS version, the other end is probably not using TLS at all

09:11 thomasga has joined #mirage

09:13 <djs55> heh, that's a good one

09:14 <vbmithr_> it was sort of obvious

09:14 <vbmithr_> that the problem was this

09:14 <vbmithr_> well, easy to think that afterwards

09:14 <vbmithr_> I found issues in opam as well

09:15 <vbmithr_> each time I'm reinstalling opam, I find issues in it :p

09:15 <vbmithr_> s/I'm reinstallating/I reinstall

09:16 <djs55> :)

09:19 <vbmithr_> The last one is that I suspect OPAM to think there is changes in git repositories, even where there is not

09:19 <vbmithr_> Does it happens to you that OPAM wants to recompile git packages even though they did not change ?

09:21 dsheets has joined #mirage

09:49 andreas1 has joined #mirage

09:52 andreas has quit [Ping timeout: 250 seconds]

10:26 thomasga has quit [Quit: Leaving.]

11:02 dsheets has quit [Ping timeout: 272 seconds]

11:06 djs55 has quit [Quit: Leaving.]

11:18 dsheets has joined #mirage

11:33 lpw25 has joined #mirage

11:35 dsheets has quit [Ping timeout: 255 seconds]

11:38 dsheets has joined #mirage

11:55 dsheets has quit [Ping timeout: 255 seconds]

12:39 thomasga has joined #mirage

12:45 dsheets has joined #mirage

12:46 dsheets has quit [Remote host closed the connection]

12:46 dsheets_ has joined #mirage

12:59 djs55 has joined #mirage

12:59 djs55 has quit [Client Quit]

12:59 djs55 has joined #mirage

13:05 tlockney_away has quit [Ping timeout: 250 seconds]

13:06 tlockney_away has joined #mirage

13:06 tlockney_away is now known as tlockney

13:13 englishm has joined #mirage

14:02 mort___ has joined #mirage

14:22 yomimono has joined #mirage

14:23 yomimono has left #mirage [#mirage]

14:36 yomimono has joined #mirage

14:43 yomimono has quit [Ping timeout: 260 seconds]

14:55 amirmc has joined #mirage

15:00 yomimono has joined #mirage

15:01 <amirmc> djs55: poke

15:03 talex5 has joined #mirage

15:05 <mort___> is call on? (skyping family, will join ina a min or two if so)

15:05 <amirmc> It should be but can't reach Dave. Texted him 15mins ago to double-check

15:06 <amirmc> If I don;t here back, we're swithcing to Hangout

15:06 <amirmc> (also - turns out I can't spell)

15:06 <mort___> k will sign in

15:06 <mort___> speeling is merely a social construct

15:06 <talex5> Maybe we should use the hangout always?

15:06 <mort___> no bohter

15:06 <mort___> ;)

15:06 <mort___> (+1)

15:07 <amirmc> Ok, switching to hangout — will send a link in just a moment

15:07 <amirmc> https://plus.google.com/hangouts/_/grf2vgkqchgyf3u6j3tdpzkyyqa

15:20 <djs55> ooh sorry

15:20 <djs55> not again

15:23 <djs55> talex5: I think you should use the hangout always — I'm clearly not any good at this!

15:41 <amirmc> We'll look into a GTM account that doesn't depend on just one person:)

15:43 <amirmc> The dial-in feature has been useful if wifi is bad (e.g while travelling) and hangouts wont support that.

15:43 brson has joined #mirage

15:43 avsm has joined #mirage

15:43 <amirmc> Anyway, I'll get the notes in shape and submit a PR shortly

15:43 <avsm> this wifi is the suckiest in the history of wifi

15:45 <mort___> i've missed the sigcomm wireless session now - presumably it was all fixed in that

15:45 <amirmc> avsm: Also, I think you have a dodgy mic too - was bad last time too and you were in the CL then

15:50 jprakash has joined #mirage

15:50 <avsm> amirmc: groan. lunchtime, then work

15:50 philtor_ has joined #mirage

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

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

15:57 talex5 has quit [Quit: Saliendo]

15:58 AltGr has left #mirage [#mirage]

16:00 yomimono has quit [Ping timeout: 240 seconds]

16:05 <jonludlam> hrm, why is it that opam decided to install cohttp 0.9.6!?

16:06 <jonludlam> and then when I say install 0.11.2, there's no problem. Nothing seems to depend upon the older version

16:06 <jonludlam> grr

16:07 philtor_ has quit [Ping timeout: 260 seconds]

16:09 <vbmithr_> haha

16:09 <vbmithr_> I have the solution

16:09 brson has quit [Quit: leaving]

16:09 brson has joined #mirage

16:09 <vbmithr_> There is a bug in the default criteria of OPAM

16:10 <vbmithr_> it is merged now

16:10 <vbmithr_> just install opam HEAD

16:10 <vbmithr_> https://github.com/ocaml/opam/commit/7366c90d6c18ce9bdf33e0687993bd264f2db67e

16:11 <vbmithr_> Was cohttp a dependency of something or did you install it directly ?

16:20 rgrinberg has joined #mirage

16:21 rgrinberg has quit [Client Quit]

16:22 rgrinberg has joined #mirage

17:14 amirmc has quit [Quit: Leaving.]

17:16 englishm has quit [Remote host closed the connection]

17:17 englishm has joined #mirage

17:18 lpw25 has quit [Remote host closed the connection]

17:35 englishm has quit [Remote host closed the connection]

17:35 englishm has joined #mirage

17:41 djs55 has quit [Quit: Leaving.]

17:44 tlockney is now known as tlockney_away

17:50 tlockney_away is now known as tlockney

17:55 <vbmithr_> hannes: noddy: I have ported ocaml-websocket to ocaml-tls

17:55 <vbmithr_> For some reason, wss://echo.websocket.org does not want to talk to ocaml-tls

17:55 <vbmithr_> If you want to investigate…

18:23 philtor has joined #mirage

18:24 miragebot has joined #mirage

18:24 <miragebot> mirage/master 0a0c857 Thomas Gazagnaire: Merge pull request #288 from moonlightdrive/patch-1...

18:24 <miragebot> [mirage] samoht pushed 2 new commits to master: http://git.io/9lN3AQ

18:24 <miragebot> mirage/master 24688ef Jyotsna Prakash: escape quotes (apostrophes)...

18:24 miragebot has left #mirage [#mirage]

18:47 rgrinberg has quit [Quit: Leaving.]

18:49 brson has quit [Ping timeout: 250 seconds]

18:53 rgrinberg has joined #mirage

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

19:04 rgrinberg has quit [Quit: Leaving.]

19:15 dsheets_ has quit [Ping timeout: 260 seconds]

19:15 tg has joined #mirage

19:37 philtor has quit [Read error: Connection reset by peer]

19:42 dsheets_ has joined #mirage

19:54 philtor has joined #mirage

19:59 philtor_ has joined #mirage

20:04 andreas1 has quit [Quit: Leaving.]

20:06 andreas has joined #mirage

20:07 andreas has quit [Client Quit]

20:09 brson has joined #mirage

20:15 philtor_ has quit [Ping timeout: 240 seconds]

20:32 dbuenzli has joined #mirage

20:33 dbuenzli has quit [Client Quit]

20:37 rgrinberg has joined #mirage

20:40 djs55 has joined #mirage

20:45 englishm has quit [Remote host closed the connection]

20:46 englishm has joined #mirage

20:50 englishm has quit [Ping timeout: 245 seconds]

21:08 bsb is now known as circus

21:09 circus is now known as mtoecker

21:12 mtoecker is now known as stonecoldralphin

22:21 philtor_ has joined #mirage

23:19 djs55 has quit [Quit: Leaving.]

23:23 mcclurmc has quit [Remote host closed the connection]

23:24 brson has quit [Ping timeout: 250 seconds]

23:26 brson has joined #mirage

23:49 mcclurmc has joined #mirage

23:54 vbmithr has joined #mirage

23:54 vbmithr_ has quit [Ping timeout: 244 seconds]