avsm changed the topic of #mirage to: mirage 2 released! party on!
rgrinberg has joined #mirage
brson_ has quit [Ping timeout: 260 seconds]
apache2_ has joined #mirage
apache2 has quit [Remote host closed the connection]
seangrove has quit [Ping timeout: 260 seconds]
rgrinberg has quit [Ping timeout: 276 seconds]
seangrove has joined #mirage
jermar has joined #mirage
copy` has quit [Quit: Connection closed for inactivity]
dexterph has joined #mirage
AltGr has joined #mirage
yomimono has joined #mirage
rgrinberg has joined #mirage
agarwal1975 has joined #mirage
copy` has joined #mirage
brson has joined #mirage
miragebot has joined #mirage
<miragebot> [mirage] yomimono pushed 2 new commits to master: https://git.io/vKAod
<miragebot> mirage/master 8e1d6f5 Mindy Preston: Merge pull request #547 from hannesm/sleep-nsec...
miragebot has left #mirage [#mirage]
<miragebot> mirage/master 05abed1 Hannes Mehnert: sleep nanoseconds
<Drup> yomimono: do you know when is the next batch of gsoc, outreachy and other interns ?
<Drup> (or: do I need to hurry if I want to write new functoria-related pioneer projects ?)
<yomimono> drup: outreachy isn't for a bit yet; don't remember when. Don't know about gsoc, or whether there are interns starting in the fall
<yomimono> it might be worth asking on the list, since avsm and mor1 likely know at least the last of that
<yomimono> outreachy applications don't even open until 5 sept, deadline is 17 october
<Drup> right, no big hurry then. I'll have to propose those projects at some point anyway
<yomimono> related to existing open issues, or big new ideas? (or both?)
<yomimono> just out of curiosity
<Drup> not-new ideas that were mentionned but never formalized
rgrinberg has quit [Ping timeout: 250 seconds]
<Drup> it's for pioneer projects, in my mind, it should be a bit funny and not really theoretic. :)
<yomimono> :)
<yomimono> two staged compilations walk into a bar
<yomimono> pioneer project: punchline!
<Drup> After a drink, the second one quotes the first.
<yomimono> :D
<Drup> badam tsum
<Drup> the first idea was the whole "functoria+js_of_ocaml" thing. So first having a gallery of unikernel generated automatically, with all the metadata that functoria emits. You could also try to run some things in a browser directly.
<Drup> The other one, was to cut mirage-seal into pieces, in order to have a high level set of devices to build static or non static websites. Currently, a lot of the devices are not very high level
<yomimono> ooh, I like that one
<yomimono> I like that one a lot
<Drup> those two are not too big in scope, but still quite free form and (hopefully) fun, so they would do decent internship projects
<hannes> woohoo, sleep_ns in, floating point out :D
<hannes> I also PR'ed duration to main opam repo
<hannes> I like the first one very much so...
<Drup> (I also have some other ideas, but those are far too free form/unguided, so it's less appropriate)
<Drup> (the first one is an idea from mort, in fact :p)
<yomimono> I think avsm and I discussed that right around functoria launch as well :P
<Drup> yes, it's from that time
<yomimono> I started playing with jsoo but had too many noob problems to get anything interesting done with it
<yomimono> (my name is mindy i am 31 years old how do i made browser)
<Drup> well, the reason (beside lack of time) that I didn't do it is that you need to do UX
<yomimono> it would be very fun for someone who likes visual things, I think :)
<Drup> I don't want to do UX :(
<yomimono> yes, exactly
<yomimono> UX is tough! let's go systems programming.
<Drup> CLI UX is better
<Drup> (to do, at least)
yomimono has quit [Quit: Leaving]
rgrinberg has joined #mirage
miragebot has joined #mirage
<miragebot> [mirage] yomimono pushed 2 new commits to master: https://git.io/vKAQP
miragebot has left #mirage [#mirage]
<miragebot> mirage/master 45d7b93 Hannes Mehnert: use mirage infrastructure
<miragebot> mirage/master 5d56d69 Mindy Preston: Merge pull request #572 from hannesm/fix...
AltGr has left #mirage [#mirage]
seangrove has quit [Ping timeout: 240 seconds]
brson has quit [Quit: leaving]
seangrove has joined #mirage
yegods has joined #mirage
dexterph has quit [Ping timeout: 276 seconds]
rgrinberg has quit [Ping timeout: 252 seconds]
rgrinberg has joined #mirage
yegods has quit [Remote host closed the connection]
yegods has joined #mirage
brson has joined #mirage
yegods has quit [Remote host closed the connection]
abeaumont has joined #mirage
yegods has joined #mirage
yegods has quit [Remote host closed the connection]
yegods has joined #mirage
strykerkkd has joined #mirage
jmiven has left #mirage [#mirage]
strykerkkd has quit [Quit: Leaving]
rgrinberg has quit [Ping timeout: 244 seconds]
agarwal1975 has quit [Ping timeout: 240 seconds]
yegods has quit []