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 …