<avsm>
how about abusing docs.ocaml.org (which isn't used atm) for github?
<dsheets>
forge?
<avsm>
ocamlforge
<dsheets>
yeah "It works!"
<dsheets>
will it point to ocamlforge or is it for a new thing called "forge"?
<dsheets>
listening to github messages seems forge-lie
<avsm>
that's for sylvain to migrate the ocaml forge to rackspace
<dsheets>
lke
<dsheets>
oh
<avsm>
well, it was 1.5 years ago :-)
<avsm>
lets use a different vm
<avsm>
docs is "ok" for now
<avsm>
it's sort of docs, right
<dsheets>
erg ok
<dsheets>
not... really
<dsheets>
i mean, ok, everything is a doc
<dsheets>
that's like computer.ocaml.org
<dsheets>
but we'll use it
<avsm>
It actually stands for Determinstic OCaml Controller
<dsheets>
of course it does
<dsheets>
Deterministic OCaml Controller *System*
<avsm>
we could use reuse the ocaml.org vm
<avsm>
seems a waste to setup a new one just for this
<avsm>
oh, multiple ip address
<avsm>
hm
<hannes>
why multiple IP addresses?
<avsm>
dont want to touch the existing setup for the main site
<hannes>
right. imho custom vm makes sense
<avsm>
hannes: btw, grab the cubie below my monitor in my office (i'm at home)
<hannes>
btw, you can get rid of the tls ones..
<avsm>
hannes: yep, time, time :)
* hannes
has been thinking a lot about sni
<hannes>
esp the configuration interface exposed to a user
<hannes>
openssl/polarssl provide you with a callback ctx -> string -> user_ptr -> int - and you're supposed to assign some fields of ctx depending on the given string. horrible.
<hannes>
avsm: ok, will grab the cubie later
<avsm>
hannes: ouch, that sounds a painful interface
<avsm>
dsheets: docs.ocaml.org ubuntu vm vbuilding
<avsm>
will add your ssh key shortly
<avsm>
dsheets: obvious question — any reason not to use the opam.ocaml.org vm?
<avsm>
dsheets: good excuse to shift serving traffic via cohttp too
<dsheets>
no major reason
<dsheets>
other than possible disruption
<dsheets>
might as well bite the bullet
<dsheets>
i really want a dev instance, though that i can break
<avsm>
dsheets: that uses stud+nginx atm
<avsm>
hm lets keep it separate
<avsm>
for now
<avsm>
we might as well chagne that to ocaml-tls+cohttp rather than stud+cohttp
<dsheets>
well, i'll have to start a daemon there to listen to rebuild commands
<avsm>
hannes: is there a release with the pack fixes for tls yet?
<dsheets>
what's the deal with tls certs + http ports? can we run multiple daemons on opam.ocaml.org for different purposes?
<hannes>
avsm: no...
<dsheets>
but the same cert
<hannes>
avsm: there will be once we fixed pressing issues -- I hope in time before we leave UK (next thursday)
<avsm>
hannes: ack… i can put it into conduit when you have that
<cebka>
dsheets: that is possible only with TLS next protocol negotiation extension which is not widely supported AFAIK
<hannes>
dsheets: same cert, same port, but different daemons? or same cert, different ports, different daemons?
<dsheets>
the latter would be preferable but the former could be made to work
<dsheets>
i'm happy living behind an nginx instance as the latency of github notifications isn't crucial
<hannes>
obviously there's only a single demon allowed for each ip/port combination
<hannes>
but you can use the same cert for multiple services
<dsheets>
so, opam.ocaml.org for humans on 443 and for machines on 4443
<hannes>
ack
<hannes>
4433 is more frequently used
<dsheets>
ok, 4433 it is. avsm, fine with you to run multiple daemons on opam.ocaml.org and reuse the cert?
<avsm>
dsheets: works for me. no new vm then/
<dsheets>
avsm, i would like a vm for fs testing github notification eventually but no rush
<dsheets>
you can turn off the checking but you risk leaking your secret tokens, i believe
<avsm>
hannes: ack, on my today list
agarwal1975_ has joined #mirage
andreas1 has joined #mirage
mcclurmc_ has joined #mirage
so has quit [Ping timeout: 245 seconds]
andreas has quit [Ping timeout: 245 seconds]
agarwal1975 has quit [Ping timeout: 240 seconds]
cr409 has quit [Ping timeout: 240 seconds]
mcclurmc has quit [Ping timeout: 240 seconds]
agarwal1975_ is now known as agarwal1975
so has joined #mirage
agarwal1975 has quit [Quit: agarwal1975]
avsm has quit [Quit: Leaving.]
agarwal1975 has joined #mirage
liuw has joined #mirage
englishm has joined #mirage
englishm1 has joined #mirage
avsm has joined #mirage
<avsm>
dsheets: you good with VMs now?
<dsheets>
avsm, need access to opam.ocaml.org and something to listen for FS spec updates
<avsm>
dsheets; mail me key
<dsheets>
sent
<hannes>
avsm: the one below your monitor isn't packaged -- but there's an empty box (with connector cables such as usb-power), does that belong to it? also, what about the microsd inside (I'm happy to take that as well)?
<avsm>
hannes: is that a 32GB microsd in there?
<hannes>
avsm: not sure about that
<avsm>
hannes: might be easier to sort out on monday; I'll catalogue them all then
<hannes>
avsm: we can also check on monday
<avsm>
ack, will GC then
<hannes>
yeah.. no hurry (/me has enough other stuff right now)
englishm has quit [Remote host closed the connection]
englishm1 has quit [Quit: Leaving.]
englishm has joined #mirage
tlockney_away is now known as tlockney
englishm has quit [Remote host closed the connection]
englishm has joined #mirage
englishm_ has joined #mirage
jprakash has joined #mirage
travisbrady has joined #mirage
agarwal1975 has quit [Ping timeout: 272 seconds]
mcclurmc_ has quit [Remote host closed the connection]
yomimono has joined #mirage
andreas1 has quit [Quit: Leaving.]
agarwal1975 has joined #mirage
jprakash has quit [Ping timeout: 245 seconds]
boogie has joined #mirage
stevej has joined #mirage
mcclurmc has joined #mirage
mcclurmc has quit [Remote host closed the connection]
rgrinberg has joined #mirage
boogie has quit [Remote host closed the connection]
boogie has joined #mirage
mcclurmc has joined #mirage
avsm has quit [Quit: Leaving.]
yomimono has quit [Ping timeout: 272 seconds]
lpw25 has joined #mirage
englishm1 has joined #mirage
english__ has joined #mirage
englishm has quit [Ping timeout: 255 seconds]
englishm_ has quit [Ping timeout: 240 seconds]
philtor_ has joined #mirage
yomimono has joined #mirage
philtor_ has quit [Ping timeout: 250 seconds]
avsm has joined #mirage
yomimono has quit [Ping timeout: 250 seconds]
mcclurmc has quit [Remote host closed the connection]
mcclurmc has joined #mirage
travisbrady has quit [Quit: travisbrady]
lpw25 has quit [Ping timeout: 255 seconds]
djs55 has quit [Quit: Leaving.]
mcclurmc has quit [Remote host closed the connection]
philtor_ has joined #mirage
mcclurmc has joined #mirage
brson has joined #mirage
foobarfreak has quit [Ping timeout: 255 seconds]
travisbrady has joined #mirage
tlockney is now known as tlockney_away
avsm has quit [Quit: Leaving.]
stevej has quit [Quit: Computer has gone to sleep.]
tlockney_away is now known as tlockney
djs55 has joined #mirage
djs55 has quit [Quit: Leaving.]
foobarfreak has joined #mirage
philtor_ has quit [Ping timeout: 272 seconds]
foobarfreak has quit [Ping timeout: 244 seconds]
dsheets has quit [Ping timeout: 250 seconds]
dsheets has joined #mirage
foobarfreak has joined #mirage
tlockney is now known as tlockney_away
djs55 has joined #mirage
philtor_ has joined #mirage
english__ has quit [Remote host closed the connection]
englishm1 has quit [Quit: Leaving.]
englishm has joined #mirage
englishm has quit [Remote host closed the connection]
englishm has joined #mirage
englishm_ has joined #mirage
yomimono has joined #mirage
englishm has quit [Quit: Leaving.]
englishm_ has quit [Quit: Leaving...]
djs55 has quit [Quit: Leaving.]
philtor_ has quit [Ping timeout: 245 seconds]
englishm has joined #mirage
englishm1 has joined #mirage
tlockney_away is now known as tlockney
tlockney is now known as tlockney_away
jprakash has joined #mirage
rgrinberg has quit [Quit: Leaving.]
englishm1 has quit [Quit: Leaving.]
tlockney_away is now known as tlockney
englishm has quit [Remote host closed the connection]
englishm has joined #mirage
englishm has quit [Ping timeout: 246 seconds]
jprakash has quit [Ping timeout: 272 seconds]
boogie has quit [Remote host closed the connection]