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

00:01 tlockney is now known as tlockney_away

00:01 thomasga has joined #mirage

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

00:41 philtor_ has quit [Ping timeout: 245 seconds]

00:45 philtor has quit [Ping timeout: 255 seconds]

00:51 dsheets_ has quit [Ping timeout: 245 seconds]

00:55 brson has quit [Ping timeout: 264 seconds]

01:10 mcclurmc has quit [Remote host closed the connection]

01:32 jprakash has quit [Quit: leaving]

02:59 mcclurmc has joined #mirage

03:38 tlockney_away is now known as tlockney

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

04:19 rgrinberg has joined #mirage

04:22 mcclurmc has quit [Remote host closed the connection]

04:24 mcclurmc has joined #mirage

04:48 tlockney is now known as tlockney_away

05:09 rgrinberg has quit [Quit: Leaving.]

05:13 rgrinberg has joined #mirage

06:25 rgrinberg has quit [Quit: Leaving.]

06:37 rgrinberg has joined #mirage

07:31 djs55 has joined #mirage

07:34 AltGr has joined #mirage

08:16 djs55 has quit [Quit: Leaving.]

08:29 dsheets_ has joined #mirage

08:42 thomasga has joined #mirage

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

08:56 <vbmithr> hannes: noddy: Ok, so wss://echo.websocket.org does not want to speak to ocaml-tls

08:57 <vbmithr> it shuts down the communication just after Client hello

08:57 <vbmithr> Perhaps it is normal to refuse to communicate with an endpoint that does not support enough security for you

08:57 <vbmithr> or sth like that

09:03 <vbmithr> Their implementation sucks because they close the connection without any notification

09:03 andreas has joined #mirage

09:28 dbuenzli has joined #mirage

09:28 dsheets_ has quit [Ping timeout: 240 seconds]

09:47 <hannes> vbmithr: master uses only perfect-forward secure ciphers by default, which echo.websocket.org does not like (switching to ciphers:Config.ciphers.supported lets you talk to the websocket server)

09:48 dsheets_ has joined #mirage

09:50 dsheets_ is now known as dsheets

09:53 <jonludlam> vbmithr: heh, I believe you're right about that bug in opam :-)

09:56 <vbmithr> hannes: interesting.

09:56 <vbmithr> hannes: Now I think I'll release my ocaml-tls powered websocket lib

09:58 <hannes> vbmithr: I'm not yet sure whether the next release will use pfs only or all supported -- considering the amount of trouble the current pfs set has (mainly due to lack of ecdhe, which is proposed by lots of servers, instead of dhe)

09:59 <vbmithr> hannes: thanks for the explanation. I'll just use Config.ciphers.supported :)

10:01 <hannes> vbmithr: I also https://github.com/mirleft/ocaml-tls/issues/188 to not forget about it

10:02 <vbmithr> cool

10:02 <vbmithr> I hope you'll manage to add client auth soonish

10:02 <vbmithr> I really need this feature

10:04 andreas has quit [Ping timeout: 245 seconds]

10:06 <hannes> vbmithr: btw can https://github.com/mirleft/ocaml-tls/issues/184 be closed?

10:06 <hannes> if so, do it :)

10:08 stonecoldralphin is now known as bsb

10:10 <vbmithr> done

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

10:14 djs55 has joined #mirage

10:35 thomasga has joined #mirage

10:46 andreas has joined #mirage

10:46 andreas has quit [Client Quit]

10:46 andreas has joined #mirage

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

11:10 djs55 has joined #mirage

11:52 dbuenzli has quit [Ping timeout: 255 seconds]

12:01 miragebot has joined #mirage

12:01 <miragebot> [mirage] avsm pushed 6 new commits to master: http://git.io/Js5xLg

12:01 <miragebot> mirage/master a81cbcd David Scott: Bug fixes in generated .xe shell script...

12:01 miragebot has left #mirage [#mirage]

12:01 <miragebot> mirage/master 496b6f7 David Scott: Generate a .xe shell script which can upload to a xapi host/ XenServer...

12:01 <miragebot> mirage/master 14ee1c7 David Scott: chmod name.xe to 0o755...

12:21 dbuenzli has joined #mirage

13:07 tty57 has joined #mirage

13:13 englishm has joined #mirage

13:27 tty57 has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]

13:34 tty57 has joined #mirage

14:17 thomasga has quit [Read error: Connection reset by peer]

14:17 thomasga has joined #mirage

15:14 philtor_ has joined #mirage

15:20 Estivate has joined #mirage

15:35 tlockney_away is now known as tlockney

15:42 jprakash has joined #mirage

15:49 philtor_ has quit [Ping timeout: 250 seconds]

15:51 englishm has quit [Remote host closed the connection]

15:51 philtor_ has joined #mirage

15:51 englishm has joined #mirage

15:52 dbuenzli has quit [Ping timeout: 260 seconds]

16:00 <thomasga> def`: https://github.com/samoht/assemblage/pull/111

16:05 <def`> thomasga: nice :)

16:06 <def`> thomasga: merlin2 allows _build/** as a short-hand, but it's not yet published

16:07 <thomasga> def`: merlin-iedit-occurences is only in merlin2 ?

16:08 <def`> yes

16:09 <thomasga> def`: https://twitter.com/avsm/status/502433603993616385

16:10 dbuenzli has joined #mirage

16:10 <hannes> hi dbuenzli!

16:11 <dbuenzli> hello

16:11 philtor_ has quit [Ping timeout: 246 seconds]

16:11 <def`> not sure if twitter can handle that, but the demo is here: http://yawdp.com/~def/rename.webm

16:12 <dsheets> def`, that's rad

16:12 <dsheets> dude

16:12 <def`> rad?

16:12 <def`> radical :P

16:12 <def`> But I don't remember the reference

16:15 brson has joined #mirage

16:17 andreas has quit [Quit: Leaving.]

16:31 rgrinberg has joined #mirage

16:33 tty57 has quit [Quit: Textual IRC Client: www.textualapp.com]

16:51 Estivate has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]

16:51 Estivate has joined #mirage

17:22 AltGr has left #mirage [#mirage]

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

17:25 englishm has joined #mirage

17:36 mcclurmc has quit [Remote host closed the connection]

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

17:50 philtor_ has joined #mirage

18:04 thomasga has quit [Ping timeout: 250 seconds]

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

18:08 dbuenzli has quit [Ping timeout: 260 seconds]

18:16 rgrinberg has joined #mirage

18:19 thomasga has joined #mirage

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

18:30 dsheets has quit [Ping timeout: 250 seconds]

18:30 thomasga has joined #mirage

18:39 dbuenzli has joined #mirage

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

18:44 philtor_ has quit [Ping timeout: 240 seconds]

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

18:45 rgrinberg has joined #mirage

18:48 Estivate has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]

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

18:50 thomasga has joined #mirage

19:16 philtor_ has joined #mirage

19:20 jprakash has quit [Ping timeout: 255 seconds]

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

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

19:23 thomasga has joined #mirage

19:34 mcclurmc has joined #mirage

19:45 brson has joined #mirage

19:53 philtor_ has quit [Ping timeout: 272 seconds]

19:57 andreas has joined #mirage

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

20:23 Estivate has joined #mirage

20:46 jprakash has joined #mirage

20:47 dsheets has joined #mirage

20:51 seangrove has joined #mirage

21:22 brson has quit [Quit: Lost terminal]

21:28 philtor_ has joined #mirage

21:30 djs55 has joined #mirage

21:46 mcclurmc has quit [Ping timeout: 245 seconds]

21:50 philtor_ has quit [Ping timeout: 260 seconds]

21:50 mcclurmc has joined #mirage

21:50 <seangrove> Hey all, I'm looking on some information on using Irmin from other languages, specifically Clojure - wondering if there's any documentation on that, or if it'd be a crazy thing to try at this point

22:03 brson has joined #mirage

22:03 thomasga has joined #mirage

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

22:19 englishm has quit [Remote host closed the connection]

22:20 englishm has joined #mirage

22:24 englishm has quit [Ping timeout: 246 seconds]

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

22:59 thomasga has joined #mirage

23:03 rgrinberg has joined #mirage

23:11 thomasga has quit [Quit: Leaving.]

23:16 rgrinberg has quit [Quit: Leaving.]

23:17 thomasga has joined #mirage

23:18 rgrinberg has joined #mirage

23:41 <seangrove> I know it's a slightly silly question, but wondering if perhaps there's an http/etc interface that could be used

23:45 thomasga has quit [Quit: Leaving.]

23:46 rgrinberg has quit [Quit: Leaving.]

23:47 thomasga has joined #mirage

23:48 tlockney is now known as tlockney_away

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

23:55 rgrinberg has joined #mirage