tlockney is now known as tlockney_away
rgrinberg has quit [Quit: Leaving.]
cr409 has joined #mirage
cr409 has quit [Ping timeout: 265 seconds]
rgrinberg has joined #mirage
cr409 has joined #mirage
cr409 has quit [Ping timeout: 264 seconds]
NoNNaN has quit [Remote host closed the connection]
NoNNaN has joined #mirage
tlockney_away is now known as tlockney
tlockney is now known as tlockney_away
tlockney_away is now known as tlockney
djs55 has joined #mirage
djs55 has quit [Ping timeout: 252 seconds]
NoNNaN has quit [Ping timeout: 272 seconds]
NoNNaN has joined #mirage
cr409 has joined #mirage
cr409 has quit [Ping timeout: 255 seconds]
tlockney is now known as tlockney_away
rgrinberg has quit [Quit: Leaving.]
djs55 has joined #mirage
djs55 has quit [Ping timeout: 240 seconds]
cr409 has joined #mirage
cr409 has quit [Ping timeout: 240 seconds]
thomasga has joined #mirage
djs55 has joined #mirage
djs55 has quit [Quit: Leaving.]
djs55 has joined #mirage
cr409 has joined #mirage
avsm has joined #mirage
cr409 has quit [Ping timeout: 240 seconds]
cr409 has joined #mirage
<avsm> thomasga: any chance of a quick backport of https://github.com/ocaml/opam/commit/333b6350753c7ca87b0810a05940b214bd3ec710.diff to 1.1.1?
<avsm> thomasga: need to apply it to the openbsd port as aspcud porting chance there is low
thomasga has quit [Quit: Leaving.]
thomasga has joined #mirage
<thomasga> avsm: I'll take a look
<avsm> cheers!
<avsm> thomasga: awesome!
dsheets has quit [Ping timeout: 264 seconds]
dsheets has joined #mirage
mort___ has joined #mirage
<avsm> thomasga: gah, it writes to /home on install
<avsm> thomasga: openbsd catches every bug
<thomasga> though it was fixed
<avsm> in trunk
<avsm> none of this backports cleanly
<thomasga> arr …
* avsm wishes for a bugfix branch that was maintained instead of large-step releases
<avsm> also that fix is a bit broken, just leaks into /tmp
<avsm> oh ho I know
<avsm> I can set OPAMROOT during the fake installation :-)
* avsm pats himself on the back
<thomasga> hum indeed
mort___ has quit [Ping timeout: 240 seconds]
<thomasga> ocaml is definitely a nice scripting language: https://github.com/samoht/ocaml-git/commit/d2eaca1625f15495e971977d8aa92c9a659aab63 :p
<avsm> heh, nice
<avsm> grr, /opam-1.1.1_writes_to_HOME/.ocp/ocp-build.prefs
<avsm> thomasga: I like that even a rough and ready script outputs COLOR
<thomasga> avsm: even if you compile with with-ocamlbuild ?
<avsm> thomasga: that only works if i port allll the dependent libraries
<avsm> using opam-full
<thomasga> well, a command-line tool without color is so boring
<thomasga> ocp-build -no-user-prefs ?
thomasga has quit [Quit: Leaving.]
thomasga has joined #mirage
smondet_ has joined #mirage
yastero_ has joined #mirage
yastero has quit [Ping timeout: 252 seconds]
smondet has quit [Ping timeout: 252 seconds]
thomasga has quit [Quit: Leaving.]
thomasga has joined #mirage
djs55 has quit [*.net *.split]
cr409 has quit [Ping timeout: 258 seconds]
cr409 has joined #mirage
avsm has quit [Ping timeout: 250 seconds]
thomasga has quit [Quit: Leaving.]
djs55 has joined #mirage
vbmithr has quit [*.net *.split]
bsb has quit [*.net *.split]
tlockney_away has quit [*.net *.split]
dsheets has quit [*.net *.split]
yomimono has quit [*.net *.split]
bnwr_ has quit [*.net *.split]
dezzy has quit [*.net *.split]
IbnFirnas has quit [*.net *.split]
cr409 has quit [*.net *.split]
so has quit [*.net *.split]
hannes has quit [*.net *.split]
whitequark has quit [*.net *.split]
cebka has quit [*.net *.split]
smondet_ has quit [*.net *.split]
NoNNaN has quit [*.net *.split]
yastero_ has quit [*.net *.split]
djs55 has quit [*.net *.split]
eren has quit [*.net *.split]
tizoc has quit [*.net *.split]
jonludlam has quit [*.net *.split]
def-lkb has quit [*.net *.split]
hnrgrgr has quit [*.net *.split]
yetanotherion has quit [*.net *.split]
noddy has quit [*.net *.split]
bnwr has quit [*.net *.split]
djs55 has joined #mirage
yastero_ has joined #mirage
cr409 has joined #mirage
NoNNaN has joined #mirage
dsheets has joined #mirage
smondet_ has joined #mirage
IbnFirnas has joined #mirage
jonludlam has joined #mirage
tlockney_away has joined #mirage
hannes has joined #mirage
eren has joined #mirage
bsb has joined #mirage
dezzy has joined #mirage
bnwr_ has joined #mirage
yomimono has joined #mirage
whitequark has joined #mirage
cebka has joined #mirage
hnrgrgr has joined #mirage
so has joined #mirage
def-lkb has joined #mirage
bnwr has joined #mirage
noddy has joined #mirage
yetanotherion has joined #mirage
vbmithr has joined #mirage
tizoc has joined #mirage
mort___ has joined #mirage
cr409 has quit [Ping timeout: 264 seconds]
cr409 has joined #mirage
thomasga has joined #mirage
thomasga has quit [Ping timeout: 258 seconds]
djs55 has quit [Quit: Leaving.]
mort___ has quit [Ping timeout: 252 seconds]
thomasga has joined #mirage
avsm has joined #mirage
djs55 has joined #mirage
rgrinberg has joined #mirage
tlockney_away is now known as tlockney
cr409 has quit [Quit: leaving]
cr409 has joined #mirage
djs55 has quit [Quit: Leaving.]
avsm has quit [Quit: Leaving.]
djs55 has joined #mirage
avsm has joined #mirage
<thomasga> avsm: 'ogit push' works!
<thomasga> now need to make it use ssh
<avsm> thomasga: woooot!
djs55 has quit [Quit: Leaving.]
philtor has joined #mirage
<dsheets> ugggh cooperatively-threaded filesystems....
djs55 has joined #mirage
<philtor> dsheets: can you elaborate?
<avsm> djs55: vagrant osx running now, but can you run multiple instances?
<dsheets> philtor, i have a server functor which uses normal unix syscalls for reading/writing to a fuse fd. now, i'm writing a simple irminsule/fuse fs and irminsule wraps most values in Lwt.t
<dsheets> there are a lot of solutions... for now i just reinstantiate the event loop in each served call
<dsheets> could have some sublibraries to provide lwt/async interfaces to the server infrastructure somewhat like cohttp or could describe irminsule ops as a protocol and put it in another thread/process
<djs55> avsm: I believe your Vagrantfile can have multiple VMs in it
<avsm> djs55: but i want travis to spin up a separate Vagrant for each run
<djs55> you would "vagrant init <boxname>" each time?
<avsm> djs55: maybe i should serialize these. get travis to commit requests into a github, and then something else can pick these up and commit back logs
<avsm> djs55: yeah
<avsm> from a base box
<avsm> or isnt that what i should do?
<avsm> so confused
<djs55> the "vagrant init .." generates a Vagrantfile which you can "vagrant up" "vagrant destroy"
<djs55> I think that's fine
<avsm> oh so just have a vagrant file per directory
<avsm> lemme try this
<avsm> office is overheating with the load
<noddy> avsm: i'm not sure how to actually hook tls into mirage
<noddy> i'm consuming a TCPV4 (lwt)
<avsm> noddy: that'll give you a flow interface you can read/write from
<noddy> yeah, but larger scale
<avsm> noddy: we dont have a FLOW module type yet, so can add that
<noddy> -> for now i'm using TCP.input to create a `listen_ssl`-type function
<avsm> noddy: i would initially just hook in TLS over TCPv4 — yeah , via a listen_ssl
<noddy> but what interface do i *expose*?
<avsm> but we can functorize it after so that it returns a FLOW to the application code
<avsm> expose a SSL_FLOW that matches TCPV4.Flow
<avsm> with a SSL_Flow.t
<noddy> i can't match the sig
<avsm> what's the mismatch?
<noddy> connection parameters
<noddy> i need much more than an address
<noddy> i was looking at the V1.TCPV4 sig for a loong time
<noddy> and it would be pretty contorting to try to match that
<dsheets> functor to produce a flow?
<avsm> yeah, so the intention is that all the connect details move into a resolver
<noddy> consumes tcpv4
<noddy> produces a module that seems vaguely similar
<avsm>   val create_connection : t -> ipv4addr * int ->
<avsm>     [ `Ok of flow | `Error of error ] io
<avsm> so we need to have something like
<avsm> type endpoint = ipv4addr * int
<noddy> t -> params -> ipv4addr * int
<avsm> yeah
<avsm> if params and endpoint and combined, we could then build SSL over shared memory or other variants
<noddy> there is a number of ways to cut that out ofc
<noddy> all tcpv4's can have an abstract type of connection parameters
<noddy> or i can try to fit that into TCVP4.t
<noddy> or many other ways i can think of
<noddy> but the question is.. if _you_ did this, what would you do?
<avsm> djs55: jonludlam: that doesnt look too FLOW like atm :-) (vchan)
<avsm> i'd write the most convenient connect function for SSL, without worrying about the module interface
<avsm> when we have a collection of these, we make the functor/module type
<noddy> that is precisely what's on github :D
<avsm> the key missing component is the smart resolver that can take a name, some policies, and return a set of FLOWs to the requester
<avsm> noddy: yeah, that works for me!
<djs55> hm yeah, the vchan signature is … preliminary
<avsm> so after a basic TLS/TCPv4 is working, we can combine it into:
<avsm> TLS/TCPV4, TLS/vchan (interdomain)
<avsm> TCPV4, Vhan
<avsm> so that's the matrix of combinations we can test
<noddy> avsm: ok, so if i export a random interface, how do i hook that into a client app?
<noddy> if it fixes an implementation it can apply the functor itself
<noddy> but that is not what mirage apps do
<noddy> ( fixes a tcpv4 impl )
<noddy> iow not sure how to make mirage feed the ssl layer into an app, and using ssl directly from the app looks hairy
<jonludlam> I believe the vchan implementation is strongly based on the c library
dsheets has quit [Ping timeout: 276 seconds]
avsm has quit [Quit: Leaving.]
<djs55> nice
avsm has joined #mirage
<avsm> noddy: i dont get it — the mirage app would just listen as normal on TCP, and then manually call listen_ssl
<avsm> noddy: (and then we can later on make the ssl bits more integrated)
AltGr has joined #mirage
<noddy> avsm: yeah, that's the hairy option :)
<avsm> noddy: when in doubt, pick that one first ;-)
<avsm> we always try to have the 'low level' test cases work with manual assembly
<avsm> and then add the modular abstraction
<avsm> e.g. the manual stack example vs using STACKV4
<avsm> bbl
<rgrinberg> avsm: how's ocamlmakefile coming along?
<avsm> rgrinberg: uh, yeah, well, hm
<avsm> rgrinberg: just rewriting it
<avsm> i hate build systems i hate build systems i hate build systems
<avsm> packed files have to be in a separate directory
<rgrinberg> the solution is to write another one
<avsm> absolutely
<avsm> i shall call it…ocamlmakebuildajenga
<avsm> laters
avsm has quit [Quit: Leaving.]
yastero_ is now known as yaster
yaster is now known as yastero
thomasga has quit [Quit: Leaving.]
djs55 has quit [Quit: Leaving.]
mort___ has joined #mirage
mort___ has quit [Quit: Leaving.]
mort___ has joined #mirage
tlockney is now known as tlockney_away
philtor has quit [Ping timeout: 240 seconds]
rektide has joined #mirage
cr409 has quit [Ping timeout: 255 seconds]
thomasga has joined #mirage
rgrinberg has quit [Quit: Leaving.]
rgrinberg has joined #mirage
dsheets has joined #mirage
djs55 has joined #mirage
thomasga has quit [Quit: Leaving.]
tlockney_away is now known as tlockney
philtor has joined #mirage
AltGr has left #mirage [#mirage]
cr409 has joined #mirage
cr409 has quit [Ping timeout: 252 seconds]
cr409 has joined #mirage
djs55 has quit [Quit: Leaving.]
mort___ has quit [Quit: Leaving.]
cr409 has quit [Ping timeout: 264 seconds]
cr409 has joined #mirage
cr409 has quit [Ping timeout: 240 seconds]
cr409 has joined #mirage
cr409 has quit [Ping timeout: 240 seconds]
thomasga has joined #mirage
thomasga has quit [Client Quit]
NoNNaN has quit [Remote host closed the connection]
NoNNaN has joined #mirage
cr409 has joined #mirage
tlockney is now known as tlockney_away