hannes changed the topic of #mirage to: MirageOS are OCaml unikernels - https://https://mirage.io - this channel is logged at http://irclog.whitequark.org/mirage/ - MirageOS 3.6.0 is released - happy hacking!
Haudegen has quit [Quit: Bin weg.]
Haudegen has joined #mirage
jpo_ is now known as jpo
pie_ has joined #mirage
<lars_kurth>
hannes, mato, disosaure: there was a mail on a 2 month student project for 3 students at U Texas. One of you may want to look at this. Not sure whether you have 3 short 2 months projects which fit
<mato>
lars_kurth: Yes, I think they are from the same group which already contacted us via team@robur.io, I pointed them to the ML to get some more visibility.
<lars_kurth>
Ah, OK
* hannes
pointed them to the mailing list as well after they asked me via twitter direct message
<lars_kurth>
I think mailing list + IRC (for quick discussions is the best approach). My problem is that the ML is not well moderated and mails often sit there for a week (I tend to look at it once or twice a week)
<mato>
There's also discuss.ocaml.org (Discourse)
Haudegen has quit [Quit: No Ping reply in 180 seconds.]
Haudegen has joined #mirage
<hannes>
lars_kurth: well, who's the moderator? and who's moderating the moderators? I'm fine becoming a moderator for that list.
<lars_kurth>
hannes: It's just me right now. I can add you to the list. You basically get a mail if there is an issue and I will give you the password
<lars_kurth>
On average there are only 4-5 posts a months that need moderation
<lars_kurth>
Most is spam
<hannes>
thanks, I've been moderating other mailman instances previously. :)
<lars_kurth>
PM me the e-mail you want to use and I set it up
Haudegen has quit [Quit: Bin weg.]
Haudegen has joined #mirage
free_beard has joined #mirage
Haudegen has quit [Ping timeout: 240 seconds]
Haudegen has joined #mirage
Haudegen has quit [Ping timeout: 246 seconds]
Haudegen has joined #mirage
free_beard has quit [Remote host closed the connection]