avsm changed the topic of #mirage to: mirage 2 released! party on!
ro6 has joined #mirage
brson has quit [Ping timeout: 260 seconds]
brson has joined #mirage
dograt has quit [Quit: No Ping reply in 180 seconds.]
dograt has joined #mirage
<yomimono> if anyone knows anyone who has ops on this channel, we'll shortly need a /topic change :D
yomimono has quit [Ping timeout: 260 seconds]
ro6 has quit [Quit: Connection closed for inactivity]
copy` has quit [Quit: Connection closed for inactivity]
vramana has joined #mirage
brson has quit [Quit: leaving]
insitu has joined #mirage
vramana1 has joined #mirage
vramana has quit [Ping timeout: 240 seconds]
vramana1 is now known as vramana
fgimenez has joined #mirage
insitu has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
kensan has quit [Quit: leaving]
<reynir> If my chanserv foo is correct it's only avsm
kensan has joined #mirage
yomimono has joined #mirage
<haesbaert> yomimono: moin moin, when do you expect to make the release ? I have to release charrua 0.4 more or less together as 0.3 wont work with mirage-skeleton
<yomimono> mornin' mornin'!
<yomimono> some press stuff drops (omg so fire) at 9am pst
<yomimono> but charrua-core should be part of my mega-pr to opam-repository
<haesbaert> ahh awesomo, carry on then :D
<yomimono> so no action required on your part afaik
<yomimono> :D
<haesbaert> you have it pinned to v0.4 tag ?
<haesbaert> can I break master freely ?
<yomimono> Yes to both :D
<haesbaert> cool
<yomimono> break all the things!
<haesbaert> right away !
mort___ has joined #mirage
insitu has joined #mirage
yomimono has quit [Ping timeout: 255 seconds]
yomimono has joined #mirage
insitu has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
mort___ has quit [Quit: Leaving.]
yomimono has quit [Ping timeout: 255 seconds]
yomimono has joined #mirage
fgimenez has quit [Ping timeout: 260 seconds]
insitu has joined #mirage
mort___ has joined #mirage
fgimenez has joined #mirage
insitu has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
insitu has joined #mirage
yomimono has quit [Ping timeout: 260 seconds]
yomimono has joined #mirage
yomimono has quit [Ping timeout: 268 seconds]
insitu has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
insitu has joined #mirage
yomimono has joined #mirage
insitu has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
noddy has quit [Ping timeout: 268 seconds]
yomimono has quit [Ping timeout: 240 seconds]
noddy has joined #mirage
rgrinberg has joined #mirage
noddy has quit [Ping timeout: 260 seconds]
yomimono has joined #mirage
noddy has joined #mirage
yomimono_ has joined #mirage
yomimono has quit [Read error: Connection reset by peer]
mort___ has quit [Quit: Leaving.]
fgimenez has quit []
avsm has joined #mirage
thomasga has joined #mirage
noddy has quit [Ping timeout: 260 seconds]
<mattg> woop, that was a nice email to receive just now :)
<mattg> congrats @yomimono_ and everyone else !
<haesbaert> PARTY ON
<mato> \o/
<hannes> \o/
<hannes> .oO(luckily there was no power + internet outage in morocco :)
<haesbaert> do we have a decent AP this time ?
dobson has quit [Quit: Leaving]
<yomimono_> Not sure, haesbaert, but I suspect maybe the infra there hasn't changed
<hannes> tg will bring one or two! :D
<haesbaert> so we should bring one ?
<yomimono_> also thanks mattg :D
<hannes> and lobo 50m network cable
<hannes> haesbaert: tg volunteered to bring some \o/
<haesbaert> some != nuc right ?
dobson has joined #mirage
<haesbaert> these client-side cards can't host more than 10-15 points
<haesbaert> s/cards/chips
<haesbaert> wait, who is tg ?
* tg
<hannes> haesbaert: I have a nuc with me (FreeBSD), talex5 will bring one as well (linux). some aruba access points which can be run in bridge mode
<haesbaert> tg: oh hai :D
<hannes> I do carry usb-ethernet adapters with me, so we can have multiple NIC on my nuc :D
<haesbaert> hannes: come on :D just one decent AP and we're done
<abeaumont> congrats yomimono_ and the rest
<abeaumont> haesbaert: I'm more concerned about having decent sun, tbh, what about that? :D
<hannes> haesbaert: yeah, a decent AP will be there, and charrua on nuc as solo5/virtio :D
<haesbaert> hannes: victory then
<haesbaert> I mean that too, but good interwebz is nice
<haesbaert> abeaumont: less sun more hacking for me this time :D
<hannes> hasta la victoria siempre
<haesbaert> el manana es nuestro companeros
<yomimono_> ...yeah, that
<haesbaert> yomimono_: thanks for everything :D on charrua-client and so on
<yomimono_> haesbaert: pffft, thank *you*, charrua-core is awesome
<haesbaert> \o/
<haesbaert> so now we remove the mirage-dev as remote ?
<yomimono_> heck yeah!!
<haesbaert> or should we continue using it for development ?
<yomimono_> well, you might want to wait a few minutes for opam.ocaml.org to sync
<yomimono_> mirage-dev is really only useful when you have to update a bunch of stuff in lockstep - i.e. when you horribly break the api for everything :P
<yomimono_> hopefully we don't have to do that for at least another few days
<haesbaert> ack
<haesbaert> hmm opam remote remove mirage.dev should be all right ?
<hannes> haesbaert: yes. good luck.
<haesbaert> hmm funny thing is update still fetches them
<hannes> I'd first do a "zfs snapshot create data/dev@20170223"
<haesbaert> =-=- Synchronizing development packages -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= 🐫
<haesbaert> [default] synchronized from https://opam.ocaml.org
<haesbaert> [charrua-core] git://github.com/haesbaert/charrua-core.git already up-to-date
<haesbaert> =-=- Updating package repositories =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= 🐫
<haesbaert> feanor:awa-ssh: opam update
<haesbaert> 0 [http] default https://opam.ocaml.org
<haesbaert> eanor:awa-ssh: opam remote
<haesbaert> [mirage-channel] https://github.com/mirage/mirage-channel.git already up-to-date
<haesbaert> [functoria-runtime] https://github.com/mirage/functoria.git already up-to-date
<haesbaert> see I don't have it in my remote anymoar
<yomimono_> opam pin list?
<yomimono_> that's a suspiciously small list of packages
<haesbaert> yomimono_: just local stuff
<haesbaert> yomimono_: nono, there are more
<haesbaert> I just didn't paste it all
<yomimono_> thank you for that :D
<haesbaert> feanor:awa-ssh: opam pin list
<haesbaert> tls.dev~mirage path /d/ocaml-tls
<haesbaert> charrua-unix.0.4 (uninstalled) path /d/charrua-unix/
<haesbaert> topkg.0.8.1 path /d/topkg
<thomasga> `opam update` should pick the new mirage packages now
<thomasga> (or very shortly)
<haesbaert> thomasga: but shouldn't the remove development stop being fetched ?
<haesbaert> [mirage-channel] https://github.com/mirage/mirage-channel.git already up-to-date
<haesbaert> ^ still get that on opam update
<haesbaert> feanor:awa-ssh: opam remote
<haesbaert> 0 [http] default https://opam.ocaml.org
<yomimono_> I think if you `opam upgrade` and accept the downgrade, it will stop fetching there
<haesbaert> ohhh
<yomimono_> but the installed version is still that one, so it will still go fetch
<yomimono_> (this is just a guess, I'm not an expert)
<haesbaert> but that is stuff that came with mirage-dev, I'm not insane on that right ?
<yomimono_> looks like it to me, yeah
<thomasga> if they are currently installed, it will still continue to update them I think
<haesbaert> ok that would make sense
<thomasga> you need to upgrade
<hannes> does opam info mirage show you available-versions: 3.0.0? if not, don't upgrade
<yomimono_> good advice!
<haesbaert> yep,
<yomimono_> if you never had mirageos-3-beta that is
<haesbaert> but I still get 15 downgrades
<haesbaert> ah ok, that makes sense
<yomimono_> are they from version `dev~mirage` to some real version number?
<haesbaert> ↘ downgrade tcpip dev~mirage to 3.0.0 [uses ipaddr]
<haesbaert> yep
<yomimono_> yep, that's good stuff
<haesbaert> how does this remote dev work actually ?
<hannes> can we /topic here, pls?!?
<yomimono_> I think we're still figuring out how :P
<haesbaert> like do you pin external git commits to it ? for instance mirage-dev was pinned to tag v0.4 on charrua-core and so on
<haesbaert> it's like a hub of external repos ?
<abeaumont> yomimono_: this link seems broken (it seems it shouldn't have '/tmpl' in the path) https://mirage.io/tmpl/blog/introducing-solo5
<yomimono_> the way we used it, yeah
<yomimono_> abeaumont: thanks and absolutely correct! if you refresh do you get a better one?
<yomimono_> haesbaert: it can also work just like opam-repository does with tarballs and specific checksums - that's how we did mirageos-3-beta
<abeaumont> yomimono_: it doesn't seem so :\
<haesbaert> ohh
<yomimono_> the items in an opam remote can be tarballs, pointers to git repositories, git repositories with branch names, git repositories with specific tags or commits, etc
<yomimono_> abeaumont: thanks, I'll look into it :)
<thomasga> abeaumont: should be https://mirage.io/blog/introducing-solo5
<haesbaert> wow opam is pretty cool then
<haesbaert> hannes: are you with david ?
<haesbaert> he is slacking on my pull request :D
<abeaumont> thomasga: yep, that's what I thought, thanks
<thomasga> where did you find this link? in the release post?
<hannes> haesbaert: no. but he reimplemented what you wanted and closed yours :P
<haesbaert> oh i totally missed
<abeaumont> thomasga: yes, first link in Solo5 section
<yomimono_> thomasga: it's fixed in https://github.com/mirage/mirage-www/commit/ae402ae067f3ca96f04d272d4989081d6373cdaf ut hasn't updated yet
<yomimono_> I think avsm may be futzing with stuff
<thomasga> hannes: are you also making a ocaml-digest package? :-)
<hannes> thomasga: uh?
<haesbaert> hannes: not really, he pulled something else, my pull is still there
<haesbaert> AHA ! digestv makes me happy
<thomasga> (move all the hashes out of nocrypt?)
<hannes> haesbaert: ah, oh... uh..
<haesbaert> thomasga: he pulled something like that
<haesbaert> I need a fix in Counter.add16
<hannes> thomasga: I actually think that nocrypto should be split up (into 4 packages: hashes, symmetric crypto, rng, asymmetric crypto)... but I'd hope david will do so :)
<haesbaert> What's the issue of having them all beneath Nocrypto ?
<yomimono_> hannes just likes making stuff be in different packages
<haesbaert> I kinda like that nocrypto is concise
<yomimono_> he wants everyone to sign more tings
<hannes> I kinda like to not depend on gmp for an rng... and not on asymmetric crypto ops just for my hash
<reynir> yomimono_: I think avsm is the only one who can change /topic... if my chanserv foo is any good
<haesbaert> gmp ?
<haesbaert> like bigbum ?
<haesbaert> lol, bignum
<reynir> hah
<yomimono_> niccccce
<haesbaert> honest type
<haesbaert> *typo
<yomimono_> :)
<hannes> yep.. dragged in via zarith
amirmc has joined #mirage
<haesbaert> I "might" port mirage to L4 in july
<hannes> haesbaert: word!
<abeaumont> hannes: then you'd need 5, a shared lib with uncommon, numeric, etc. wouldn't you?
<haesbaert> the word is "might"
<haesbaert> my company does a lot of stuff with L4, so I have an excuse
<reynir> What's L4 :o
<haesbaert> it's a microkernel
<haesbaert> some bits in c++, *blearghhhh*
<hannes> abeaumont: yeah... a bit tricky, since asymmetric should be the only part depending on zarith
* hannes wears his trollface shirt btw
<haesbaert> :D
<hannes> every day :P
<haesbaert> the c++ part puts me off
<haesbaert> but there might be very little to it
<haesbaert> we basically ported openbsd to l4
<haesbaert> I mean, openbsd kernle kinda sucks right
<hannes> ok. I'm happy with L4 as well. really happy... I follow their research since a decade
<haesbaert> *kernel
<haesbaert> vmm now allows you to run vms on a shitty kernel
<haesbaert> screw vmm :D
<hannes> and once ported boehm-gc and dylan (a lisp like dynamic language with an intricate runtime) onto it :D
<hannes> oh nice. what about MirageOS on vmm?
<haesbaert> I still need to understand what solo5 is
<haesbaert> that will require bier&cuzcuz
<hannes> haesbaert: mato will explain it in detail, I'm sure (and ricardo might join as well) :D
<haesbaert> or howerever you say cuzcuz in english :D
<haesbaert> cool, I mean I run everything on xen now, on a linux box
<reynir> couscous I think
<haesbaert> we have some minimal L4 applications, like red/black network filters and so on, that could be written in ocaml if I can run on l4
<hannes> do timescale links on https://mirage.io/stats/gc/?timescale=year work for anyone?
<reynir> I tried to get solo5 running on openstack, but I didn't get very far. It just stops without reason after discovering some PCI devices. I'm not smart enough to debug it :-)
<reynir> hannes: it seems to show it in ant-years (10 minutes in human-time) ;)
<haesbaert> doesn't work for me
<yomimono_> hannes: it may be automatically scaling to the amount of data available
<yomimono_> server has not been live for very long
insitu has joined #mirage
<abeaumont> hannes: you ported dylan to L4?
<hannes> abeaumont: yeah..
<abeaumont> nice
<hannes> back in 2005 or 2006 while in dresden, talking to L4 people, together with andreas :D (it was gwydion dylan, not opendylan/functional developer)
<abeaumont> and did someone ever used it there? (including you) XD
<hannes> we did a demo, a transparent filter for known exploit payloads, for SAP... but nobody gave us money, so we dropped that
<abeaumont> anyway, sounds like a nice project. I thought L4 was only the microkernel, and that porting apps would depend mostly on the services on top of it, but don't know much about it really
<abeaumont> i see
thomasga has quit [Quit: Leaving.]
insitu has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
<reynir> Uh-oh, my chrome tab crashed: https://mirage.io/stats/gc/?timescale=year
<yomimono_> now that ther eis more than 10 minutes of history here I feel confident that yes, the timescale is broken :P
* reynir calls the resident time lord
yomimono_ has quit [Ping timeout: 260 seconds]
amirmc has quit [Quit: Leaving.]
rgrinberg has quit [Remote host closed the connection]
insitu has joined #mirage
insitu has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
avsm has quit [Ping timeout: 260 seconds]
insitu has joined #mirage
insitu has quit [Ping timeout: 240 seconds]
thomasga has joined #mirage
thomasga has quit [Client Quit]
_whitelogger_ has joined #mirage
_whitelogger has quit [Remote host closed the connection]
avsm has joined #mirage
avsm changed the topic of #mirage to: Good news everyone! Mirage 3.0 released!
avsm has quit [Ping timeout: 260 seconds]
noddy has joined #mirage
<apache3> looking forward to the solo5 guided tour as well!
<reynir> \o/
<reynir> apache3: are you stopping in Vienna btw?
<apache3> nope
<reynir> hm ok
yomimono_ has joined #mirage
tg has quit [Quit: Leaving]
tg has joined #mirage
<hannes> reynir: there will be people on OS899 from VIE to RAK (13:05) on March 1st