avsm changed the topic of #mirage to: mirage 2 released! party on!
AltGr has joined #mirage
tlockney is now known as tlockney_away
florinandrei has quit [Quit: My God, it's full of stars!...]
brson has quit [Quit: leaving]
manud_ has joined #mirage
tlockney_away is now known as tlockney
MrScout has quit [Ping timeout: 258 seconds]
mcclurmc has quit []
mcclurmc has joined #mirage
manud_ has quit [Quit: Lingo: www.lingoirc.com]
rektide has quit [Ping timeout: 245 seconds]
rektide has joined #mirage
kdef has joined #mirage
AltGr has left #mirage [#mirage]
AltGr has joined #mirage
chambart has joined #mirage
nojb has joined #mirage
kdef has quit [Quit: peace]
MrScout has joined #mirage
MrScout has quit [Remote host closed the connection]
MrScout has joined #mirage
MrScout has quit [Ping timeout: 240 seconds]
tlockney is now known as tlockney_away
nojb has quit [Quit: nojb]
thomasga has joined #mirage
seangrove has joined #mirage
AltGr has left #mirage [#mirage]
AltGr has joined #mirage
nojb has joined #mirage
chambart has quit [Ping timeout: 264 seconds]
nojb has quit [Quit: nojb]
nojb has joined #mirage
nojb has quit [Quit: nojb]
nojb has joined #mirage
nojb has quit [Quit: nojb]
nojb has joined #mirage
planetlarg has joined #mirage
jonludlam has joined #mirage
planetlarg has quit [Client Quit]
nojb has quit [Quit: nojb]
planetlarg has joined #mirage
thomasga has quit [Quit: Leaving.]
thomasga has joined #mirage
chambart has joined #mirage
dsheets_ has joined #mirage
nojb has joined #mirage
AltGr has left #mirage [#mirage]
andreas1 has joined #mirage
jonludlam has quit [Ping timeout: 250 seconds]
thomasga has quit [Quit: Leaving.]
jonludlam has joined #mirage
nojb has quit [Quit: nojb]
thomasga has joined #mirage
thomasga has quit [Quit: Leaving.]
thomasga has joined #mirage
andreas1 has quit [Ping timeout: 264 seconds]
vbmithr has quit [Quit: leaving]
vbmithr has joined #mirage
jonludlam has quit [Ping timeout: 272 seconds]
jonludlam has joined #mirage
avsm has joined #mirage
mort___ has joined #mirage
avsm has quit [Quit: Leaving.]
avsm has joined #mirage
avsm has quit [Client Quit]
avsm has joined #mirage
seangrove has quit [Read error: Connection reset by peer]
seangrov` has joined #mirage
<avsm> thomasga: whats the syntax for opam install with constraints?
<thomasga> avsm: "opam install foo>=1.2"
<avsm> aha thanks; no space allowed
<avsm> thomasga: wouldnt thomas leonard's objection be fixed if we just added upper bounds
<avsm> to known incompatible libraries
<thomasga> which objection?
<avsm> "Once a program is consigned to contraint
<avsm> hell, there's no easy way to update it incrementally to the new APIs."
<thomasga> I think he's right
<avsm> we could specify 'old network stack' which has the upper bounds
<avsm> yes of course, definitely is right
<avsm> not sure of the solution though
<thomasga> I need some time to digest the thread and to think about the various options
<thomasga> but I don't have that time :-(
<thomasga> I quite like the "we move all the combinators in the libraries where they are implemented"
<avsm> yeah, dont worry — i'll chew through it
<thomasga> but that means we need to know before hand which opam package to install
<avsm> yeah i like that, and see a lot of churn :)
<avsm> indeed
<hannes> I think it is a question what is the goal here? do we really think that we want to use FS-v1 and TCP/IP-v2 in the same application?
<thomasga> which makes things complicated for new users
<avsm> hannes: yeah thats what thomas wants
<thomasga> and I think that makes sense
<avsm> hannes: because i have a working website, and i want to try the new tcp stack
<thomasga> the various parts of mirage grows at different speed
<avsm> with the current scheme, a working unikernel breaks
<avsm> and rot at different speed :)
<thomasga> we can also have mirage-type-net and mirage-type-fs though
<hannes> avsm: I believe that buys than in into a lot of boilerplate. I'd answer my question with "no" for the moment and in 5 years a 'maybe yes'
<avsm> the problem there is that mirage/mirage will then depend on all the libs
<thomasga> but well, so many options and so many code pain for each of these :)
<avsm> hannes: right, sort of. we want to ensure we dont wall ourselves in now
<avsm> thomasga and i have a rich history of screwing up upgrades in production software :)
<hannes> and if it is urgent, someone hopefully has ported/adapted FS-v1 to the new v2 interface (as daniel mentioned, it is about adapters)
<avsm> V2 V1 is definitely not useful
<hannes> aha. sounds like you two should then discuss + finalise that piece *scnr*
<avsm> I'm going to push a changeset to kill that now I thin
<avsm> question is: what's the minimum we need now to let a reasonable body of code grow without requiring a massive code shift every time we upgrade something
<avsm> you'll find that's the case with xmpp and tls too
<hannes> really, backwards compat is once we have big slow moving companies as users..
<avsm> mmm it's not backwards compat though. it's about modularity
<hannes> avsm: tls-0.1 matched mirage-1, tls-0.2 mirage-2. absolutely fine with me
<avsm> right, but if there's a solution in here that gives us modular blocks, then that's better and fits in with the ethos
<thomasga> hannes: we start to have a growing codebase and still a limited amount of people developping/maintaining it
<avsm> we have modular interfaces, and modular functors — why not modular configuration?
<thomasga> we are slow
<thomasga> moving
<hannes> avsm: agreed. if we find a good modular solution, I'm all in.
<thomasga> the idea is to make us fast moving :p
<thomasga> to be more precise: we are starting to be slow moving
* hannes is moving fast.. well not today, still everything hurts from stage diving + punk concert on monday evening
<thomasga> but modular conf sounds good, I just want to understand all that it implies before moving to that
<thomasga> avsm: can start moving some of the configuration to some dev repo for prototyping
<thomasga> (well, not this week)
<avsm> thomasga: ok tell you what. i'll eliminate V2 immediately
<avsm> it's a bad idea
<avsm> trunk will have a V1 that's different
<avsm> with ipv6
<hannes> +1
<thomasga> good
<avsm> and then we can figure out the details of confgiuration next week
<avsm> i want trunk to have a working tls asap
<thomasga> and we can add upper-bound for backward compat if needed
<hannes> avsm: expect lwt-tls-conduit PR to be finished by the end of the week (currently busy with another text on mirage for netzpolitik.org - some 10 year old german blog about net politics)
<hannes> if someone would deal with entropy + vchan from dom0, that'd speed up mirage+tls
<avsm> hannes: it's worth dropping a line to the list with that specific question to see if any vchan hackers could write a dom0 proxy as a quick thing
<avsm> i'll forward/prod to see if anyone's got time
<avsm> im busy merging, merging, merging
<hannes> ah right discussion was on some other mailing list... will mail to mirageos-dev
thomasga has quit [Quit: Leaving.]
tlockney_away is now known as tlockney
thomasga has joined #mirage
tlockney is now known as tlockney_away
<avsm> hannes: hurrah for nojb!
avsm has quit [Quit: Leaving.]
chambart has quit [Ping timeout: 250 seconds]
yomimono has joined #mirage
planetlarg has quit [Quit: Ex-Chat]
jonludlam has quit [Ping timeout: 265 seconds]
dsheets_ has quit [Ping timeout: 244 seconds]
thomasga has quit [Quit: Leaving.]
brson has joined #mirage
MrScout has joined #mirage
florinandrei has joined #mirage
chambart has joined #mirage
MrScout has quit [Remote host closed the connection]
MrScout has joined #mirage
yomimono has quit [Ping timeout: 258 seconds]
mort___ has quit [Ping timeout: 265 seconds]
chambart has quit [Ping timeout: 245 seconds]
tlockney_away is now known as tlockney
brson has quit [Quit: leaving]
larhat1 has joined #mirage
larhat has quit [Ping timeout: 272 seconds]
brson has joined #mirage
brson has quit [Quit: leaving]
chambart has joined #mirage
manud_ has joined #mirage
thomasga has joined #mirage
thomasga has quit [Ping timeout: 255 seconds]
brson has joined #mirage
jonludlam has joined #mirage
nojb has joined #mirage
manud_ has quit [Quit: Be back later ...]
seangrov` has quit [Ping timeout: 264 seconds]
<nojb> it seems that ocaml-vchan does not install vchan_lwt_unix by default …
dsheets_ has joined #mirage
manud_ has joined #mirage
avsm has joined #mirage
dsheets_ has quit [Ping timeout: 240 seconds]
dsheets_ has joined #mirage
thomasga has joined #mirage
thomasga has quit [Quit: Leaving.]
avsm has quit [Quit: Leaving.]
dsheets_ has quit [Ping timeout: 258 seconds]