<thomasga>
ha yes, also Romain gave a ocaml-git tutorial
<thomasga>
apparently small attendance, but very interested people, so that was great :-)
ricarkol has joined #mirage
djwillia has joined #mirage
<thomasga>
more ICFP/CUFP/OCaml workshop news?
<reynir>
I liked the Midtgaard talk, too
<thomasga>
(or any other good paper/talk that we should read ?)
<Drup>
I should collect my personal picks in a blog post
<thomasga>
(well don't try to read the talk)
<thomasga>
Drup: that would be great :-)
<thomasga>
anyway, I guess we are done for that item. Next one is: "any other business"?
<thomasga>
quick update on conduit: I am still in the process of making a new release to fix a few regressions
<thomasga>
quick update on the CI: I am also updating the docker images used for TravisCI tests to use a more recent of the CI tools (to test revdeps, depopts, not run the tests for depopts, etc)
<thomasga>
this is a bit more involved than planned but this is going forward slowly
<thomasga>
any other stuff? some solo5 update maybe? @mato?
<thomasga>
(and/or @djwillia and @ricarkol :p)
<mato>
no update this week (again), sorry, other than that i've made a "list of things to go into a next release", as asked to on the previous call
<djwillia>
no update from me: ricarkol and i are still finishing up this record/replay paper that we are eager to share (hopefully by the end of the week!)
<thomasga>
@djwillia: can you share an abstract or should we wait for next week?
<thomasga>
is it something to help debugging unikernels?
<djwillia>
yes it's record replay on ukvm-based unikernels
<thomasga>
that sounds great :-)
<thomasga>
right, more updates anyone?
<djwillia>
the basic idea is that there are a lot less sources of nondeterminism that affect the unikernel if it runs on ukvm (vs. processes or VMs)
<djwillia>
which makes recording it more efficient (and easier)
<thomasga>
do you have to replay all I/O too?
<thomasga>
(I mean to keep track of every Input?)
<djwillia>
incoming I/O yes
<thomasga>
ok. I look forward to read the paper
<thomasga>
let's call an end to that meeting, then! Thanks for participating :-)
<djwillia>
we're really close to having a draft! and really want your feedback!
<djwillia>
thanks!
<kensan>
djwillia: I would be interested in reading that paper too :)
<kensan>
mato: Sorry for not getting back to you on that Solo5 ticket. Busy with other stuff. Will try to look at Solo5/Muen when I get some spare time.
ricarkol has quit [Ping timeout: 260 seconds]
raboof has joined #mirage
thomasga has quit [Quit: Leaving.]
thomasga has joined #mirage
thomasga has quit [Client Quit]
djwillia has quit [Ping timeout: 240 seconds]
rand__ has joined #mirage
mort___ has quit [Ping timeout: 255 seconds]
mort___ has joined #mirage
thomasga has joined #mirage
thomasga has quit [Client Quit]
thomasga has joined #mirage
thomasga has quit [Client Quit]
mort___ has quit [Quit: Leaving.]
copy_ has quit [Quit: Connection closed for inactivity]