hannes changed the topic of #mirage to: https://mirage.io - bug cleaning day every first friday in month (14:00 UTC - late, next: July 6th) - next call June 13th 16:00 BST https://github.com/mirage/mirage-www/wiki/Call-Agenda - retreat 3rd-10th October http://retreat.mirage.io - this channel is logged at http://irclog.whitequark.org/mirage/ - MirageOS 3 is released - happy hacking!
caw________ has quit [Ping timeout: 256 seconds]
caw________ has joined #mirage
cbarrett has quit [Ping timeout: 268 seconds]
justincormack_ has quit [Ping timeout: 276 seconds]
pagurus has quit [Ping timeout: 240 seconds]
sspi has quit [Ping timeout: 256 seconds]
pagurus has joined #mirage
dmj` has quit [Ping timeout: 260 seconds]
caw________ has quit [Ping timeout: 245 seconds]
zsmithnyc has quit [Ping timeout: 256 seconds]
mattg has quit [Ping timeout: 256 seconds]
mort___ has joined #mirage
mort___ has quit [Client Quit]
ozzymcduff has joined #mirage
dmj` has joined #mirage
mattg has joined #mirage
cbarrett has joined #mirage
zsmithnyc has joined #mirage
sspi__ has joined #mirage
Haudegen has joined #mirage
cbarrett has quit [Ping timeout: 276 seconds]
mattg has quit [Ping timeout: 276 seconds]
zsmithnyc has quit [Ping timeout: 256 seconds]
dmj` has quit [Ping timeout: 256 seconds]
sspi__ has quit [Ping timeout: 276 seconds]
caw________ has joined #mirage
mattg has joined #mirage
dmj` has joined #mirage
justincormack_ has joined #mirage
zsmithnyc has joined #mirage
mattg has joined #mirage
mattg has quit [Changing host]
cbarrett has joined #mirage
andreas23 has quit [Quit: Leaving.]
sspi__ has joined #mirage
ozzymcduff has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
andreas23 has joined #mirage
olle has joined #mirage
olle has quit [Client Quit]
ozzymcduff has joined #mirage
miragebot has joined #mirage
miragebot has left #mirage [#mirage]
<miragebot> mirage/master 2a4b418 Mindy: typo fix for yomimono in CHANGES.md
<miragebot> mirage/master f5898c8 Hannes Mehnert: fix travis by using (a) no centos (b) 4.05 on ubuntu, and (c) add 4.06.1 with working backends
<miragebot> mirage/master fd24661 Hannes Mehnert: changes for 3.1.0
<miragebot> [mirage] hannesm pushed 5 new commits to master: https://git.io/fG2CA
<lobo> hannes: according to my calendar, the next irc meeting should be on the 27th. I think you're the one who can change the topic :-) "next call June 27th 16:00 BST"
miragebot has joined #mirage
miragebot has left #mirage [#mirage]
<miragebot> mirage/gh-pages 3bab646 Hannes Mehnert: Update mirage doc to 3.1.0.
<miragebot> [mirage] hannesm pushed 1 new commit to gh-pages: https://git.io/fG2Wo
miragebot has joined #mirage
miragebot has left #mirage [#mirage]
<miragebot> [mirage] hannesm tagged 3.1.0 at ffcbd49: https://git.io/fG2WK
<mato> actually there hasn't been a meeting in ages
miragebot has joined #mirage
miragebot has left #mirage [#mirage]
<miragebot> mirage/master 7899fbb Hannes Mehnert: add release date
<miragebot> [mirage] hannesm pushed 1 new commit to master: https://git.io/fG2WP
miragebot has joined #mirage
miragebot has left #mirage [#mirage]
<miragebot> [mirage] hannesm deleted 3.1.0 at ffcbd49: https://git.io/fG2Wj
miragebot has joined #mirage
miragebot has left #mirage [#mirage]
<miragebot> [mirage] hannesm tagged 3.1.0 at 0961e49: https://git.io/fG2WK
<reynir> Was there a meeting last week?
<mato> no
hannes changed the topic of #mirage to: https://mirage.io - bug cleaning day every first friday in month (14:00 UTC - late, next: July 6th) - next call June 27th 16:00 BST https://github.com/mirage/mirage-www/wiki/Call-Agenda - retreat 3rd-10th October http://retreat.mirage.io - this channel is logged at http://irclog.whitequark.org/mirage/ - MirageOS 3 is released - happy hacking!
<hannes> let's try to reintroduce them again starting next week :)
mort___ has joined #mirage
mort___ has quit [Quit: Leaving.]
mort___ has joined #mirage
mort___ has quit [Quit: Leaving.]
Haudegen has quit [Remote host closed the connection]
ozzymcduff has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
ozzymcduff has joined #mirage
mort___ has joined #mirage
Haudegen has joined #mirage
mort___ has quit [Quit: Leaving.]
demonimin has quit [Ping timeout: 264 seconds]
mort___ has joined #mirage
andreas23 has quit [Quit: Leaving.]
Ulrar has joined #mirage
<Ulrar> Hey, I'm trying to use cohttp's client in an unikernel, but I'm getting that exception when trying to connect to an https site : Failure "connect: HANDSHAKE_FAILURE"
<Ulrar> Just checked, the site in question has a let's encrypt certificate and supports tls 1.0, 1.1 and 1.2
<Ulrar> cohttp can talk tls right, it's not ssl only ?
mort___ has quit [Quit: Leaving.]
<hannes> Ulrar: i dunno about cohttp too much, but ocaml-tls does support tls 1.0,1.1, and 1.2. there's no elliptic curve code in ocaml-tls/ocaml-nocrypto --> pls check whether the http server allows RSA/DHE-RSA ciphersuites
<Ulrar> hannes: things like this ? TLS_RSA_WITH_AES_128_CBC_SHA
<Ulrar> Looks like yes
<hannes> Ulrar: that is a fine ciphersuite, which is supported by ocaml-tls
<hannes> Ulrar: you can also trace the handshake within TLS (not sure how to enable that from cohttp/conduit, though)
<Ulrar> We do tend to go with pretty agressive ciphers, but I commented that out to test and yeah TLS_RSA_WITH_AES_128_CBC_SHA is in the default ones
<Ulrar> that's strange, the same unikernel can connect to other sites without issues
<Ulrar> Wonder what the difference is
<Ulrar> Mh, looks like ~body doesn't do what I thought it did
<Ulrar> that might be a clue
<Ulrar> Docs for these things are so bad :(
<Ulrar> Okay, I have to specify the content-lenght myself, good to know
ozzymcduff has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
Haudegen has quit [Remote host closed the connection]
Haudegen has joined #mirage
fds has joined #mirage
fds has quit [Changing host]
ozzymcduff has joined #mirage
ozzymcduff has quit [Read error: Connection reset by peer]
ozzymcduff has joined #mirage
mort___ has joined #mirage
mort___ has quit [Quit: Leaving.]
mort___ has joined #mirage
ozzymcduff has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
ozzymcduff has joined #mirage
Haudegen has quit [Remote host closed the connection]
yomimono has joined #mirage
ozzymcduff has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
Haudegen has joined #mirage
argent_smith has joined #mirage
argent_smith has quit [Ping timeout: 240 seconds]
argent_smith has joined #mirage
argent_smith1 has joined #mirage
argent_smith has quit [Ping timeout: 256 seconds]
argent_smith has joined #mirage
argent_smith2 has joined #mirage
argent_smith1 has quit [Ping timeout: 240 seconds]
argent_smith has quit [Ping timeout: 255 seconds]
argent_smith2 has quit [Quit: Leaving.]
mort___ has quit [Quit: Leaving.]
Haudegen has quit [Remote host closed the connection]
yomimono has quit [Ping timeout: 264 seconds]
yomimono has joined #mirage
mort___ has joined #mirage