cr409 has quit [Ping timeout: 265 seconds]
avsm has quit [Quit: Leaving.]
agarwal1975 has joined #mirage
tlockney is now known as tlockney_away
agarwal1975 has quit [Quit: agarwal1975]
philtor has joined #mirage
boogie has quit [Remote host closed the connection]
yomimono has joined #mirage
rgrinberg has quit [Quit: Leaving.]
yomimono has quit [Quit: Leaving]
rgrinberg has joined #mirage
philtor_ has joined #mirage
rgrinberg has quit [Quit: Leaving.]
philtor_ has quit [Ping timeout: 240 seconds]
tlockney_away is now known as tlockney
rgrinberg has joined #mirage
boogie has joined #mirage
boogie has quit [Remote host closed the connection]
boogie has joined #mirage
cebka has quit [Ping timeout: 240 seconds]
cebka has joined #mirage
rgrinberg has quit [*.net *.split]
boogie has quit [*.net *.split]
tizoc has quit [*.net *.split]
philtor has quit [*.net *.split]
bsb has quit [*.net *.split]
rektide has quit [*.net *.split]
cantstanya has quit [*.net *.split]
hnrgrgr has quit [*.net *.split]
dezzy has quit [*.net *.split]
yastero has quit [*.net *.split]
smondet has quit [*.net *.split]
cebka has quit [*.net *.split]
def` has quit [*.net *.split]
jonludlam has quit [*.net *.split]
tlockney has quit [*.net *.split]
hannes has quit [*.net *.split]
bnwr has quit [*.net *.split]
cebka has joined #mirage
boogie has joined #mirage
rektide has joined #mirage
bsb has joined #mirage
rgrinberg has joined #mirage
def` has joined #mirage
tizoc has joined #mirage
cantstanya has joined #mirage
tlockney has joined #mirage
hnrgrgr has joined #mirage
bnwr has joined #mirage
dezzy has joined #mirage
jonludlam has joined #mirage
yastero has joined #mirage
hannes has joined #mirage
smondet has joined #mirage
philtor has joined #mirage
rgrinberg has quit [*.net *.split]
boogie has quit [*.net *.split]
tizoc has quit [*.net *.split]
philtor has quit [*.net *.split]
bsb has quit [*.net *.split]
rektide has quit [*.net *.split]
cantstanya has quit [*.net *.split]
hnrgrgr has quit [*.net *.split]
dezzy has quit [*.net *.split]
yastero has quit [*.net *.split]
smondet has quit [*.net *.split]
cebka has quit [*.net *.split]
def` has quit [*.net *.split]
jonludlam has quit [*.net *.split]
tlockney has quit [*.net *.split]
hannes has quit [*.net *.split]
bnwr has quit [*.net *.split]
boogie has joined #mirage
cebka has joined #mirage
tizoc has joined #mirage
rgrinberg has joined #mirage
bnwr has joined #mirage
tlockney has joined #mirage
dezzy has joined #mirage
yastero has joined #mirage
rektide has joined #mirage
jonludlam has joined #mirage
hannes has joined #mirage
smondet has joined #mirage
def` has joined #mirage
bsb has joined #mirage
cantstanya has joined #mirage
hnrgrgr has joined #mirage
boogie has quit [Remote host closed the connection]
mcclurmc_ has quit [Read error: Connection reset by peer]
mcclurmc has joined #mirage
tlockney is now known as tlockney_away
rgrinberg has quit [Quit: Leaving.]
hannes has quit [Quit: Coyote finally caught me]
AltGr has joined #mirage
hannes has joined #mirage
djs55 has joined #mirage
avsm has joined #mirage
avsm has quit [Quit: Leaving.]
djs55 has quit [Quit: Leaving.]
djs551 has joined #mirage
djs551 is now known as djs55
djs55 has quit [Quit: Leaving.]
djs55 has joined #mirage
avsm has joined #mirage
<avsm> hannes: i had a cunning plan about the release process for tls — will find you this afternoon
<avsm> (am in College atm)
amirmc has joined #mirage
<hannes> avsm: I'm in my office (FS18) at CL
<avsm> ack
<hannes> and will be around there for quite some time..
dsheets has joined #mirage
<amirmc> hannes: fyi, I'm looking at the ocaml 2014 abstract and forming a blog post. Just checking you haven't already done this.
<hannes> amirmc: I've not done this
<amirmc> hannes: cool, will put a draft somewhere for you to look at just before lunch
<hannes> amirmc: cool, thanks!
<avsm> amirmc: hannes: check in with me on the release plans this afternoon
* avsm does a quick release of tcp
<amirmc> I suggested a release on Monday, not today.
<amirmc> Might as well try and catch a news cycle
<hannes> avsm, amirmc: monday sounds reasonable for us.
<avsm> amirmc: hannes: lets chat this afternoon. i'd like to gate the release with a purpose (capturing traces)
<hannes> avsm: same here.
noddy has joined #mirage
<amirmc> ack
<hannes> (using conditional compilation, and thus also deferring to monday (to have some time to get it up and running)
<avsm> optcomp?
<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.
* noddy looks to camlp4 in fear
<avsm> noddy: oh lwt has a logger that does this
<avsm> iirc
<noddy> but we're not in lwt in the core :)
<avsm> yeah
<avsm> hang on, i'm sure i have a repo lying aorund
* noddy looks to camlp4 with growing fear
<noddy> if oasis had ppx that would work
<avsm> ooooh yeah
<avsm> this one's hardcore — it does function boundary tracing via camlp4 :)
<noddy> yeah, baby!
<avsm> i guess you could do a ppx one
<noddy> i stayed away from ppx because oasis
<noddy> or does it support it now?
<avsm> mm
<avsm> probably not
<noddy> :(
<avsm> hrm
<avsm> main issue is 4.01 support
<avsm> which mirage needs
<avsm> camlp4 is ok for now
* noddy starts accepting his camlp4 fate
<avsm> its not too bad
<avsm> but, have you considered just doing it first-class?
<avsm> pass a closure in
<noddy> Lazy.t
<avsm> yeah
<avsm> or closure
<noddy> yes, that's the fallback if i fumble p4
<avsm> i'd recommend that over p4 initially
<noddy> it still allocs
<avsm> since it can be turned on/off, and provided tracing hooks
<noddy> but yeah, that's second best
<avsm> aye, but this release isnt about performance
<noddy> yup
<avsm> almost explicitly so
<noddy> hahaha
<noddy> well we're not _against_ performance, even though at moments it might look so :)
<avsm> tracing though: can you serialize ssl info easily atm?
<noddy> no
<noddy> but will obviously
<noddy> maybe a generic printer somewhere?
<noddy> .... that's not sexplib?
<hannes> why not sexplib?
<hannes> +1 for lazy.t
<noddy> sexplib wants core, no?
<dsheets> no, just camlp4
<noddy> oh!
<dsheets> i had the same impression because they use it so pervasively but it predates core
* noddy bangs head against wall: should have started sexp-ing values long ago, then
<amirmc> to ppl in CL. Lunch?
<hannes> ack
* hannes will come over to FW
<amirmc> k, will gather ppl
<amirmc> afk
amirmc has quit [Quit: Leaving.]
mort___ has joined #mirage
avsm has quit [Quit: Leaving.]
dsheets has quit [Ping timeout: 252 seconds]
amirmc has joined #mirage
agarwal1975 has joined #mirage
<amirmc> avsm: hannes: mailing list for ocaml-tls?
<hannes> amirmc: if you can setup one, that'd be great
<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.
<amirmc> hannes: 'cept avsm isn't here. booooo!
avsm has joined #mirage
dsheets has joined #mirage
<amirmc> avsm: mailing list for ocaml-tls?
<avsm> mirage
rgrinberg has joined #mirage
<avsm> hannes: noddy: wanna nip into fw16 to chat ssl?
amirmc has quit [Quit: Leaving.]
amirmc has joined #mirage
<hannes> on my way
amirmc has quit [Quit: Leaving.]
avsm has quit [Quit: Leaving.]
amirmc has joined #mirage
avsm has joined #mirage
avsm has quit [Client Quit]
tlockney_away is now known as tlockney
avsm has joined #mirage
amirmc has quit [Quit: Leaving.]
rgrinberg has quit [Quit: Leaving.]
rgrinberg has joined #mirage
tlockney is now known as tlockney_away
amirmc has joined #mirage
<avsm> noddy: hrm, the obvious fix clashes with type_conv, danr
<avsm> shift conflict
<avsm> im going to try
<avsm> cenum { FOO } as uint64,sexp
<avsm> not ideal
<noddy> avsm: sounds acceptable
<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
mcclurmc has quit [Remote host closed the connection]
AltGr has left #mirage [#mirage]
boogie has joined #mirage
philtor has joined #mirage
mort___ has quit [Ping timeout: 255 seconds]
amirmc has quit [Quit: Leaving.]
boogie has quit [Remote host closed the connection]
boogie has joined #mirage
agarwal1975 has quit [Quit: agarwal1975]
avsm1 has joined #mirage
avsm has quit [Read error: Connection reset by peer]
philtor has quit [Ping timeout: 260 seconds]
avsm1 has quit [Quit: Leaving.]
rgrinberg has quit [Quit: Leaving.]
agarwal1975 has joined #mirage
dsheets has quit [Ping timeout: 240 seconds]
djs55 has quit [Quit: Leaving.]
rgrinberg has joined #mirage
philtor_ has joined #mirage
philtor_ has quit [Ping timeout: 265 seconds]
philtor has joined #mirage
tlockney_away is now known as tlockney
djs55 has joined #mirage
rgrinberg has quit [Quit: Leaving.]
rgrinberg has joined #mirage
IbnFirnas has quit [Ping timeout: 454 seconds]
philtor has quit [Ping timeout: 258 seconds]
IbnFirnas has joined #mirage
rgrinberg has quit [Quit: Leaving.]
rgrinberg has joined #mirage
djs55 has quit [Quit: Leaving.]
rgrinberg has quit [Quit: Leaving.]