<yomimono>
I was wondering whether anyone might be interested in some writing sessions to write some drafts for that
avsm has joined #mirage
<mato>
avsm: Hey! Long time no see!
<hannes>
yomimono: I like that idea! if that is doable remotely / using etherpad or similar technology
<avsm>
hey! about to go meet samoht and on via mobile :-)
<yomimono>
hannes: yes, I'd imagined remotely - and not even quite so collaboratively (just "hey I'm working on this" for some mild social pressure), but that's a good idea
<avsm>
apologies for out of order, but i just noticed hannes' note about base->sexp dependency at runtime. that's a bug if so... there was meant to be a renaming of the sexplib module to avoid a unix dependency in the new version
<yomimono>
avsm: that was done for sexplib but not for ppx_sexp_conv if I understand the issue correctly
<yomimono>
(we can move on, I'll bring that item to the list)
<yomimono>
(the previous item, I mean)
<avsm>
odd, why does ppx_sexp_conv have a runtime dependency and not just build
<hannes>
avsm: it used to be sexplib -> base (in v0.9.0), now it is ppx_sexp_conv (v0.11.0)
<avsm>
ppx base dependency is fine isnt it? its just build time
<hannes>
avsm: ppx_sexp_conv has -- as discovered by paurkedal -- now a runtime depedency (read the opam-repository and the nocrypto issue)
<dinosaure>
o?
<yomimono>
I'm not sure what we need to discuss here though - it looks to me like trefis is wililng to remove this dependency
<yomimono>
perhaps I misunderstand?
<avsm>
thanks, will investigate further after fixing mirage.io -- just wanted to make sure it wasnt a horrible intertwining that has broken everything :-)
<hannes>
yomimono: ah, why I put it on the agenda: I was surprised of this new dependency on base, and would like to avoid it again (next year?) -- so my question is mainly: should we try to drop the whole ppx_sexp stuff from mirageos libraries?
<hannes>
or rephrased differently, I wouldn't mind in some simple libraries such as uri and ipaddr to manually write out the sexp stuff, rather than using ppx.
<avsm>
we could just run ppx and commit the result with promote rules in dune
<avsm>
that's a one-off recipe that can be used everywhere -- it's a bit tedious to try to remove ppx from the whole stack in one go
<hannes>
avsm: doing this at release time would be wonderful!
<avsm>
yeah, it should be reasonably easy now -- i think that's how Base bootstraps as well
<hannes>
if someone into that topic could find out the dune-magic and open a PR on e.g. ipaddr, that'd be great!
<avsm>
made a note to look into it
<avsm>
must run! apologies for very brief entrance and exit
<mato>
(The title is actually "The Modern Operating System in 2018" and he talks about a bunch of unikernel-related developments)
<yomimono>
ricarkol: 28 west 23rd st in manhattan
<yomimono>
there will be some kind of ticket/rsvp link at some point, which I can send to you once it's live
<djwillia>
yomimono: how long are you in the NYC area for? want to come visit us at IBM?
<yomimono>
(also thanks mato, I hadn't heard about that but justin's a great speaker and I'll definitely check it out)
<ricarkol>
awesome, thanks yomimono
<yomimono>
djwillia: I'll be there for a couple of weeks but there's somehow already a lot going on - I'll get in touch with you over email?
<yomimono>
would be cool to come visit if it's workable :)
<hannes>
(oh, if we're at AoB: I'd use this spot to advertise http://retreat.mirage.io -- now including the up-to-date information for the fall hack retreat (3rd-10th October)
<djwillia>
yomimono: cool no pressure or anything, will definitely try to go to your talk in manhattan
<yomimono>
it's gonna be good, because it has to be, because my mom's gonna be there
<yomimono>
the format is 30min talk, 60min q&a, and the q&a might be more useful
Haudegen has quit [Remote host closed the connection]
<mattg>
but late for the meeting but I would love to help with the mirage-handbook if I can
<hannes>
mattg: \o/
<hannes>
I'd guess a weekend sprint would be a good start!?
yomimono has quit [Ping timeout: 240 seconds]
yomimono has joined #mirage
mort___ has quit [Quit: Leaving.]
mort___ has joined #mirage
jnavila has joined #mirage
jnavila has quit [Read error: Connection reset by peer]
jnavila has joined #mirage
Haudegen has joined #mirage
argent_smith has quit [Quit: Leaving.]
yomimono_ has joined #mirage
yomimono has quit [Ping timeout: 240 seconds]
mort___ has quit [Quit: Leaving.]
thomasga has joined #mirage
<thomasga>
@yomimono_: just reading through the meeting logs but I will be in NY next week (leaving on the 13th). So I guess it's a bit too early to see your talk :-/
<yomimono_>
thomasga: aw :( we should meet up though, I arrive on the 12th
<mattg>
hannes: either works
<mattg>
weekend or week, i mean
andreas23 has joined #mirage
mort___ has joined #mirage
thomasga has quit [Quit: Leaving.]
Haudegen has quit [Remote host closed the connection]
thomasga has joined #mirage
thomasga has quit [Client Quit]
ricarkol has left #mirage [#mirage]
Haudegen has joined #mirage
argent_smith has joined #mirage
jnavila has quit [Remote host closed the connection]
argent_smith has quit [Quit: Leaving.]
demonimin has joined #mirage
mort___ has quit [Quit: Leaving.]
Haudegen has quit [Read error: Connection reset by peer]