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

00:11 cr409 has quit [Ping timeout: 265 seconds]

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

00:21 agarwal1975 has joined #mirage

00:23 tlockney is now known as tlockney_away

01:19 agarwal1975 has quit [Quit: agarwal1975]

01:27 philtor has joined #mirage

01:31 boogie has quit [Remote host closed the connection]

02:35 yomimono has joined #mirage

02:36 rgrinberg has quit [Quit: Leaving.]

02:51 yomimono has quit [Quit: Leaving]

03:36 rgrinberg has joined #mirage

04:09 philtor_ has joined #mirage

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

04:40 philtor_ has quit [Ping timeout: 240 seconds]

04:42 tlockney_away is now known as tlockney

04:43 rgrinberg has joined #mirage

04:59 boogie has joined #mirage

05:03 boogie has quit [Remote host closed the connection]

05:03 boogie has joined #mirage

05:03 cebka has quit [Ping timeout: 240 seconds]

05:04 cebka has joined #mirage

05:15 rgrinberg has quit [*.net *.split]

05:15 boogie has quit [*.net *.split]

05:15 tizoc has quit [*.net *.split]

05:15 philtor has quit [*.net *.split]

05:15 bsb has quit [*.net *.split]

05:15 rektide has quit [*.net *.split]

05:15 cantstanya has quit [*.net *.split]

05:15 hnrgrgr has quit [*.net *.split]

05:15 dezzy has quit [*.net *.split]

05:15 yastero has quit [*.net *.split]

05:15 smondet has quit [*.net *.split]

05:15 cebka has quit [*.net *.split]

05:15 def` has quit [*.net *.split]

05:15 jonludlam has quit [*.net *.split]

05:15 tlockney has quit [*.net *.split]

05:15 hannes has quit [*.net *.split]

05:15 bnwr has quit [*.net *.split]

05:28 cebka has joined #mirage

05:28 boogie has joined #mirage

05:28 rektide has joined #mirage

05:28 bsb has joined #mirage

05:28 rgrinberg has joined #mirage

05:28 def` has joined #mirage

05:28 tizoc has joined #mirage

05:28 cantstanya has joined #mirage

05:28 tlockney has joined #mirage

05:28 hnrgrgr has joined #mirage

05:28 bnwr has joined #mirage

05:28 dezzy has joined #mirage

05:28 jonludlam has joined #mirage

05:28 yastero has joined #mirage

05:28 hannes has joined #mirage

05:28 smondet has joined #mirage

05:28 philtor has joined #mirage

05:28 rgrinberg has quit [*.net *.split]

05:28 boogie has quit [*.net *.split]

05:28 tizoc has quit [*.net *.split]

05:28 philtor has quit [*.net *.split]

05:28 bsb has quit [*.net *.split]

05:28 rektide has quit [*.net *.split]

05:28 cantstanya has quit [*.net *.split]

05:28 hnrgrgr has quit [*.net *.split]

05:28 dezzy has quit [*.net *.split]

05:28 yastero has quit [*.net *.split]

05:28 smondet has quit [*.net *.split]

05:28 cebka has quit [*.net *.split]

05:28 def` has quit [*.net *.split]

05:28 jonludlam has quit [*.net *.split]

05:28 tlockney has quit [*.net *.split]

05:28 hannes has quit [*.net *.split]

05:28 bnwr has quit [*.net *.split]

05:34 boogie has joined #mirage

05:34 cebka has joined #mirage

05:34 tizoc has joined #mirage

05:34 rgrinberg has joined #mirage

05:34 bnwr has joined #mirage

05:34 tlockney has joined #mirage

05:34 dezzy has joined #mirage

05:34 yastero has joined #mirage

05:34 rektide has joined #mirage

05:34 jonludlam has joined #mirage

05:34 hannes has joined #mirage

05:34 smondet has joined #mirage

05:34 def` has joined #mirage

05:34 bsb has joined #mirage

05:34 cantstanya has joined #mirage

05:34 hnrgrgr has joined #mirage

06:01 boogie has quit [Remote host closed the connection]

06:06 mcclurmc_ has quit [Read error: Connection reset by peer]

06:07 mcclurmc has joined #mirage

06:31 tlockney is now known as tlockney_away

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

07:40 hannes has quit [Quit: Coyote finally caught me]

07:43 AltGr has joined #mirage

07:48 hannes has joined #mirage

08:15 djs55 has joined #mirage

08:29 avsm has joined #mirage

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

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

09:31 djs551 has joined #mirage

09:38 djs551 is now known as djs55

09:38 djs55 has quit [Quit: Leaving.]

09:38 djs55 has joined #mirage

10:00 avsm has joined #mirage

10:06 <avsm> hannes: i had a cunning plan about the release process for tls — will find you this afternoon

10:06 <avsm> (am in College atm)

10:06 amirmc has joined #mirage

10:06 <hannes> avsm: I'm in my office (FS18) at CL

10:07 <avsm> ack

10:07 <hannes> and will be around there for quite some time..

10:14 dsheets has joined #mirage

10:16 <amirmc> hannes: fyi, I'm looking at the ocaml 2014 abstract and forming a blog post. Just checking you haven't already done this.

10:16 <hannes> amirmc: I've not done this

10:16 <amirmc> hannes: cool, will put a draft somewhere for you to look at just before lunch

10:20 <hannes> amirmc: cool, thanks!

10:28 <avsm> amirmc: hannes: check in with me on the release plans this afternoon

10:29 * avsm does a quick release of tcp

10:31 <amirmc> I suggested a release on Monday, not today.

10:31 <amirmc> Might as well try and catch a news cycle

10:32 <hannes> avsm, amirmc: monday sounds reasonable for us.

10:33 <avsm> amirmc: hannes: lets chat this afternoon. i'd like to gate the release with a purpose (capturing traces)

10:34 <hannes> avsm: same here.

10:34 noddy has joined #mirage

10:34 <amirmc> ack

10:35 <hannes> (using conditional compilation, and thus also deferring to monday (to have some time to get it up and running)

10:46 <avsm> optcomp?

10:53 <noddy> avsm: to be seen. it's needed to avoid computing trace elements if no tracing is needed. with optcomp, this would take three horrific lines per trace-site.

10:53 * noddy looks to camlp4 in fear

10:53 <avsm> noddy: oh lwt has a logger that does this

10:53 <avsm> iirc

10:53 <noddy> but we're not in lwt in the core :)

10:53 <avsm> yeah

10:53 <avsm> hang on, i'm sure i have a repo lying aorund

10:53 * noddy looks to camlp4 with growing fear

10:54 <noddy> if oasis had ppx that would work

10:54 <avsm> ooooh yeah

10:54 <avsm> https://github.com/avsm/ocaml-fbt-trace

10:54 <avsm> this one's hardcore — it does function boundary tracing via camlp4 :)

10:54 <noddy> yeah, baby!

10:55 <avsm> i guess you could do a ppx one

10:55 <noddy> i stayed away from ppx because oasis

10:55 <noddy> or does it support it now?

10:55 <avsm> mm

10:55 <avsm> probably not

10:55 <noddy> :(

10:55 <avsm> hrm

10:55 <avsm> main issue is 4.01 support

10:55 <avsm> which mirage needs

10:55 <avsm> camlp4 is ok for now

10:56 * noddy starts accepting his camlp4 fate

10:56 <avsm> its not too bad

10:57 <avsm> but, have you considered just doing it first-class?

10:57 <avsm> pass a closure in

10:57 <noddy> Lazy.t

10:57 <avsm> yeah

10:57 <avsm> or closure

10:57 <noddy> yes, that's the fallback if i fumble p4

10:57 <avsm> i'd recommend that over p4 initially

10:57 <noddy> it still allocs

10:57 <avsm> since it can be turned on/off, and provided tracing hooks

10:57 <noddy> but yeah, that's second best

10:57 <avsm> aye, but this release isnt about performance

10:57 <noddy> yup

10:57 <avsm> almost explicitly so

10:57 <noddy> hahaha

10:58 <noddy> well we're not _against_ performance, even though at moments it might look so :)

10:58 <avsm> tracing though: can you serialize ssl info easily atm?

10:58 <noddy> no

10:59 <noddy> but will obviously

10:59 <noddy> maybe a generic printer somewhere?

10:59 <noddy> .... that's not sexplib?

10:59 <hannes> why not sexplib?

11:00 <hannes> +1 for lazy.t

11:00 <noddy> sexplib wants core, no?

11:00 <dsheets> no, just camlp4

11:00 <noddy> oh!

11:01 <dsheets> i had the same impression because they use it so pervasively but it predates core

11:01 * noddy bangs head against wall: should have started sexp-ing values long ago, then

11:30 <amirmc> to ppl in CL. Lunch?

11:30 <hannes> ack

11:30 * hannes will come over to FW

11:30 <amirmc> k, will gather ppl

11:30 <amirmc> afk

11:40 amirmc has quit [Quit: Leaving.]

11:47 mort___ has joined #mirage

11:59 avsm has quit [Quit: Leaving.]

12:00 dsheets has quit [Ping timeout: 252 seconds]

12:25 amirmc has joined #mirage

12:39 agarwal1975 has joined #mirage

12:45 <amirmc> avsm: hannes: mailing list for ocaml-tls?

12:46 <hannes> amirmc: if you can setup one, that'd be great

12:49 <amirmc> hannes: Yup, we can. I had issues last time I did this with lists.ocaml.org so wanted to check with avsm in case they're still present.

12:50 <amirmc> hannes: 'cept avsm isn't here. booooo!

12:53 avsm has joined #mirage

12:54 dsheets has joined #mirage

13:01 <amirmc> avsm: mailing list for ocaml-tls?

13:04 <avsm> mirage

13:35 rgrinberg has joined #mirage

13:43 <avsm> hannes: noddy: wanna nip into fw16 to chat ssl?

13:44 amirmc has quit [Quit: Leaving.]

13:45 amirmc has joined #mirage

13:57 <hannes> on my way

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

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

14:22 amirmc has joined #mirage

14:28 avsm has joined #mirage

14:30 avsm has quit [Client Quit]

14:33 tlockney_away is now known as tlockney

15:01 avsm has joined #mirage

15:16 amirmc has quit [Quit: Leaving.]

15:24 rgrinberg has quit [Quit: Leaving.]

15:25 rgrinberg has joined #mirage

15:32 tlockney is now known as tlockney_away

15:58 amirmc has joined #mirage

16:14 <avsm> noddy: hrm, the obvious fix clashes with type_conv, danr

16:14 <avsm> shift conflict

16:15 <avsm> im going to try

16:15 <avsm> cenum { FOO } as uint64,sexp

16:15 <avsm> not ideal

16:20 <noddy> avsm: sounds acceptable

16:21 <noddy> what you get to append to a `cenum` is not externally extensible anyway, so i guess it's ok to go with whichever syntax

16:26 mcclurmc has quit [Remote host closed the connection]

16:34 AltGr has left #mirage [#mirage]

16:34 boogie has joined #mirage

16:37 philtor has joined #mirage

16:39 mort___ has quit [Ping timeout: 255 seconds]

16:47 amirmc has quit [Quit: Leaving.]

16:51 boogie has quit [Remote host closed the connection]

16:52 boogie has joined #mirage

16:53 agarwal1975 has quit [Quit: agarwal1975]

16:57 avsm1 has joined #mirage

16:57 avsm has quit [Read error: Connection reset by peer]

16:58 philtor has quit [Ping timeout: 260 seconds]

17:04 avsm1 has quit [Quit: Leaving.]

17:13 rgrinberg has quit [Quit: Leaving.]

17:16 agarwal1975 has joined #mirage

17:18 dsheets has quit [Ping timeout: 240 seconds]

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

17:47 rgrinberg has joined #mirage

17:53 philtor_ has joined #mirage

18:11 philtor_ has quit [Ping timeout: 265 seconds]

18:44 philtor has joined #mirage

18:49 tlockney_away is now known as tlockney

19:20 djs55 has joined #mirage

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

19:59 rgrinberg has joined #mirage

20:01 IbnFirnas has quit [Ping timeout: 454 seconds]

20:01 philtor has quit [Ping timeout: 258 seconds]

20:02 IbnFirnas has joined #mirage

20:14 rgrinberg has quit [Quit: Leaving.]

20:21 rgrinberg has joined #mirage

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

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