tlockney is now known as tlockney_away
dbuenzli has quit [Quit: dbuenzli]
tlockney_away is now known as tlockney
tlockney is now known as tlockney_away
AndrewX192 has quit [Ping timeout: 240 seconds]
philtor_ has joined #mirage
philtor_ has quit [Ping timeout: 255 seconds]
mcclurmc has quit [Remote host closed the connection]
mcclurmc has joined #mirage
mcclurmc has quit [Remote host closed the connection]
mcclurmc has joined #mirage
mcclurmc has quit [Remote host closed the connection]
<mort___> (yes, i arrive saturday night)
mcclurmc has joined #mirage
AndrewX192 has joined #mirage
mort___ has quit [Quit: Leaving.]
mort___ has joined #mirage
mort___ has quit [Client Quit]
mcclurmc has quit [Remote host closed the connection]
philtor has quit [Ping timeout: 260 seconds]
philtor has joined #mirage
philtor has quit [Ping timeout: 240 seconds]
thomasga has joined #mirage
thomasga has quit [Client Quit]
AltGr has joined #mirage
dsheets has joined #mirage
<bsb> Morning all
avsm has joined #mirage
<bsb> 07
dbuenzli has joined #mirage
jludlam has joined #mirage
jludlam is now known as jonludlam
djs55 has joined #mirage
avsm1 has joined #mirage
avsm has quit [Ping timeout: 240 seconds]
avsm has joined #mirage
avsm1 has quit [Ping timeout: 240 seconds]
bnwr has quit [Ping timeout: 240 seconds]
def` has quit [Ping timeout: 245 seconds]
vbmithr_ has quit [Ping timeout: 255 seconds]
AltGr has quit [Ping timeout: 264 seconds]
vbmithr has joined #mirage
AltGr has joined #mirage
bnwr has joined #mirage
def` has joined #mirage
avsm has quit [Read error: Connection reset by peer]
dbuenzli has quit [Ping timeout: 260 seconds]
dbuenzli has joined #mirage
miragebot has joined #mirage
<miragebot> mirage/master 41f6c4e Dave Scott: Merge pull request #267 from djs55/fork-v2...
<miragebot> [mirage] djs55 pushed 2 new commits to master: http://git.io/zBHorg
miragebot has left #mirage [#mirage]
<miragebot> mirage/master 12f8962 David Scott: Fork V1 types into V2 (no other change yet)...
dbuenzli has quit [Ping timeout: 240 seconds]
dbuenzli has joined #mirage
avsm has joined #mirage
<noddy> avsm: xorg froze, typing via mobile
<noddy> avsm: ( on the issues, that is ). if you want an edit, please commit it. it will just take me too long to get my system back.
<avsm> noddy: yep shortly, just winding my way through a meeting
<noddy> cool
<noddy> avsm: no love for passive voice?
<avsm> mm not for the intro sentence. hard for foreign readers
<avsm> fine for journal papers, less for blog posts :)
<noddy> avsm: oh no, we all thing it's posh
<noddy> avsm: the had to teach me in school to just stop it :D
<noddy> can you pls slightly rephrase the timestamp thing? ".. isnt a problem if the lifetime is *comparatively* short"
<noddy> avsm: ... because now it looks like it needs to terminate in seconds. but it should be fine if it terminates in about a month
<noddy> thx
<avsm> noddy: good pushed
jonludlam has quit [Ping timeout: 240 seconds]
<noddy> avsm: realized i had a bug in crypto tests due to missing bounds check in Cstruct.get_uint8. any progress on that PR?
<avsm> noddy: on the queue, near the top
<noddy> epic
<noddy> i have another round, checking for negatives. should PR that too?
<avsm> yeah do them all and ill look at one go
<noddy> avsm: actually i think you should merge the 1-byte one b/c it doesn't change semantics. the non-negative-indices does.
<avsm> yeah, true, major bump for the latter
<noddy> yeah..
<avsm> some core_bench tests would be v useful to figure out how bad the hit is
<noddy> aha
<noddy> that's why i'm asking about negatives
<noddy> PR #1: 1 byte
<noddy> PR #2: can't escape
<noddy> well, PR #3: ocsp unsafe access b/c bounds are fully checked in cstruct
<noddy> so ultimately it should be the same as before, if we just move all bounds to cstruct and use unsafe access from there.
<noddy> sorry, s/ocsp/ocplib/
mcclurmc has joined #mirage
philtor_ has joined #mirage
<avsm> noddy: merged #1
philtor has joined #mirage
tlockney_away is now known as tlockney
avsm has quit [Ping timeout: 240 seconds]
philtor_ has quit [Ping timeout: 240 seconds]
avsm has joined #mirage
avsm has quit [Ping timeout: 252 seconds]
agarwal1975 has quit [Quit: agarwal1975]
avsm has joined #mirage
philtor_ has joined #mirage
<dbuenzli> gagagazazaza around ?
avsm has quit [Quit: Leaving.]
philtor_ has quit [Ping timeout: 240 seconds]
philtor_ has joined #mirage
philtor has quit [Ping timeout: 245 seconds]
philtor_ has quit [Ping timeout: 240 seconds]
dsheets has quit [Ping timeout: 240 seconds]
djs55 has quit [Quit: Leaving.]
dbuenzli has quit [Ping timeout: 272 seconds]
philtor_ has joined #mirage
AltGr has left #mirage [#mirage]
philtor_ has quit [Ping timeout: 260 seconds]
dbuenzli_ has joined #mirage
tlockney is now known as tlockney_away
philtor_ has joined #mirage
dbuenzli_ has quit [Ping timeout: 260 seconds]
djs55 has joined #mirage
avsm has joined #mirage
dbuenzli_ has joined #mirage
dbuenzli_ has quit [Quit: dbuenzli_]
dbuenzli has joined #mirage
dbuenzli has quit [Client Quit]
dbuenzli has joined #mirage
tlockney_away is now known as tlockney
jludlam has joined #mirage
<hannes> morning
<hannes> avsm: do you have openmirage.org or sth similar running with tls right now (which uses the plain stack, not the randomized variant)?
<avsm> hannes: nope, been meaning to rebuild mirage-www w/ it, but not done yet
<avsm> been fixing arm
<hannes> k.. see mail -- there are some people with tls analyzers who found some version thingies (but running their analyzer against the randomizing stack is rather pointless)
<avsm> hannes: how about changing one of the pool to run it?
<avsm> hannes: in fact, could we use sni to allows tls and tlsX to work?
<avsm> so then one of the pool could not randomize
<hannes> sni would be neat, but unfortunately the certificate is only for tls. (well, and blobs.om and om)
<avsm> oh, i can probably get a full wildcard
<avsm> do we support it in the stack atm (sni) ?
<hannes> avsm: there is sni support, yes... but not fully-featured fully-fledged (server config only contains a single certificate chain, not a list of it)
<avsm> ack
<avsm> interesting version probing results
philtor_ has quit [Ping timeout: 240 seconds]
philtor_ has joined #mirage
djs55 has quit [Quit: Leaving.]
djs55 has joined #mirage
avsm has quit [Quit: Leaving.]
djs55 has quit [Quit: Leaving.]
jerith has quit [*.net *.split]
dezzy has quit [*.net *.split]
hnrgrgr has quit [*.net *.split]
__marius____ has quit [*.net *.split]
def` has quit [*.net *.split]
cebka has quit [*.net *.split]
dezzy has joined #mirage
hnrgrgr has joined #mirage
hnrgrgr is now known as Guest39875
__marius____ has joined #mirage
def` has joined #mirage
cebka has joined #mirage
netsecparano has quit [Remote host closed the connection]
netsecparano has joined #mirage
<jludlam> is tls.openmirage.org running as a unix process or xen kernel?
jerith has joined #mirage
jludlam has quit [Remote host closed the connection]
philtor has joined #mirage
Guest39875 is now known as hnrgrgr
<dbuenzli> unix I think
NoNNaN has quit [Remote host closed the connection]
NoNNaN has joined #mirage