avsm changed the topic of #mirage to: Good news everyone! Mirage 3.0 released!
def`_ has quit [Ping timeout: 240 seconds]
def` has joined #mirage
copy` has quit [Quit: Connection closed for inactivity]
brson has quit [Quit: leaving]
srax has joined #mirage
philtor has quit [Ping timeout: 260 seconds]
insitu has joined #mirage
insitu has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
syntiux has quit [Ping timeout: 276 seconds]
insitu has joined #mirage
insitu has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
syntiux has joined #mirage
abeaumont has quit [Ping timeout: 264 seconds]
insitu has joined #mirage
w10have has joined #mirage
fgimenez has joined #mirage
fgimenez has joined #mirage
fgimenez has quit [Changing host]
<apache3> see you all in 15 hours!
AltGr has joined #mirage
insitu has quit [Ping timeout: 264 seconds]
insitu has joined #mirage
jgjl has joined #mirage
<vbmithr> Hop
<vbmithr> rgrinberg: Yo.
<vbmithr> I have seen you are porting cohttp to jbuilder
<vbmithr> With the janestreet dev repo, all libraries using ppx_sexp_conv now need to depend on ppx_deriving as well, except if using janestreet's ppx_driver.
<vbmithr> (ie. with a custom myocamlbuild or with jbuilder)
<vbmithr> so it's a good thing if you do this!
<rgrinberg> Hmm but I think the dependeny on ppx_deriving is "soft". It's only there to export ppx_deriving converters AFAIK
<rgrinberg> but thanks!
insitu has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
<rgrinberg> jbuilder is looking like quite an important over the current state of things
<vbmithr> Well, not for me, it wasn't soft
<vbmithr> it just did not compile without it.
<vbmithr> Ah, sorry.
<vbmithr> I don't know about o
<vbmithr> It just did not compile without it, I did not dig any further.
<vbmithr> I mention this because I am shipping a software based on dev janestreet libs and I have to pin a lot of projects that do not compile anymore (because of dep to ppx_deriving) with the latest janestreet libs
<vbmithr> cohttp, ipaddr, nocrypto, tls, uri, x509
<vbmithr> here is a list :)
<vbmithr> rgrinberg: if I remember well it's just that ppx_*_conv need a "driver" to be used, so either you use ppx_driver either ppx_deriving, but you have to choose one.
gjaldon has joined #mirage
gjaldon has quit [Client Quit]
yomimono has joined #mirage
yomimono has quit [Ping timeout: 264 seconds]
w10have has quit [Quit: Konversation terminated!]
insitu has joined #mirage
insitu has quit [Ping timeout: 260 seconds]
insitu has joined #mirage
yegods has joined #mirage
yomimono has joined #mirage
yegods has quit [Remote host closed the connection]
AltGr has left #mirage [#mirage]
yomimono has quit [Ping timeout: 240 seconds]
insitu has quit [Ping timeout: 240 seconds]
insitu has joined #mirage
yegods has joined #mirage
yegods has quit [Remote host closed the connection]
yegods_ has joined #mirage
insitu has quit [Ping timeout: 258 seconds]
insitu has joined #mirage
jgjl has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
yomimono has joined #mirage
jgjl has joined #mirage
yegods_ has quit [Remote host closed the connection]
insitu has quit [Ping timeout: 240 seconds]
yegods has joined #mirage
yegods has quit [Remote host closed the connection]
jgjl has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
yegods has joined #mirage
insitu has joined #mirage
yomimono has quit [Ping timeout: 260 seconds]
yegods has quit [Remote host closed the connection]
abeaumont has joined #mirage
insitu has quit [Ping timeout: 240 seconds]
insitu has joined #mirage
jgjl has joined #mirage
insitu has quit [Ping timeout: 268 seconds]
insitu has joined #mirage
abeaumont has quit [Ping timeout: 240 seconds]
philtor has joined #mirage
yegods has joined #mirage
insitu has quit [Ping timeout: 260 seconds]
mort___ has joined #mirage
mort___ has left #mirage [#mirage]
insitu has joined #mirage
yegods has quit [Ping timeout: 264 seconds]
insitu has quit [Ping timeout: 264 seconds]
insitu has joined #mirage
insitu has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
jgjl has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
brson has joined #mirage
jgjl has joined #mirage
yomimono has joined #mirage
jgjl has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
fgimenez has quit []
copy` has joined #mirage
yomimono has quit [Ping timeout: 240 seconds]
<hannes> morning
yegods has joined #mirage
yegods has quit [Remote host closed the connection]
insitu has joined #mirage
yegods has joined #mirage
abeaumont has joined #mirage
gjaldon has joined #mirage
gjaldon has quit [Quit: WeeChat 1.7]
<sternenseemann> hi
insitu has quit [Ping timeout: 240 seconds]
<lobo> \o/
insitu has joined #mirage
abeaumont has quit [Ping timeout: 240 seconds]
insitu has quit [Ping timeout: 260 seconds]
insitu has joined #mirage
yegods has quit [Remote host closed the connection]
yegods has joined #mirage
yegods has quit [Remote host closed the connection]
yegods has joined #mirage
insitu has quit [Ping timeout: 240 seconds]
<kensan> Hello
<kensan> By chance, is one of the Solo5 devs here?
insitu has joined #mirage
<kensan> I am wondering what the state of PR #157 is.
insitu has quit [Ping timeout: 260 seconds]
insitu has joined #mirage
<mato> kensan: hi. "in design discussion". why do you ask?
<kensan> mato: I am cleaning up my port and am wondering where to best put the arch-specific Solo5/ukvm code.
<mato> kensan: oh, are you one of the people working on the arm port?
<kensan> mato: No, I just started to port Solo5 to the Muen kernel last weekend.
<kensan> mato: This is how far I got: https://twitter.com/Kensan42/status/835941733359882240
<kensan> mato: Cleaning up the code a bit now.
<mato> kensan: ah, i only learnt about your port yesterday from hannes :)
brson has quit [Quit: leaving]
<mato> kensan: it'll take another week to unblock #157 i think.
<mato> kensan: but if you can release whatever you have then that'll help with inspiration
<kensan> mato: Oh, well I just started hacking last weekend but I made some progress quickly ;)
<kensan> mato: I basically have console, clocksource/timer done. Next would be net.
<kensan> mato: Well right now I just hacked it into kernel/ukvm since I wanted to see how far I could get.
<mato> kensan: so it's not a new (cpu) arch, but a new platform/target, right?
<mato> kensan: i know nothing about muen...
<kensan> mato: The plan was/is to refactor it and split the Muen-specifics following the template set by you and djwillia.
<kensan> mato: Yeah, it is very close to ukvm
<kensan> mato: basically ukvm with with an console init an additional net init call.
<kensan> mato: and separate implementations for clocksource, console etc.
<kensan> mato: This is the project site btw: https://muen.sk/
insitu has quit [Ping timeout: 256 seconds]
insitu has joined #mirage
brson has joined #mirage
brson has quit [Ping timeout: 268 seconds]
<kensan> mato: I also have a patch regarding FPU setup but I saw that something similar is part of PR #157. So I assume I should just wait for code to land on master and drop my own patch.
gjaldon has joined #mirage
<gjaldon> spent the past few days setting up arch linux on my laptop and I'm using weechat as irc client now
<gjaldon> it was fun and frustrating at times setting it up. now just need to get all my passwords from my password manager in macos that doesn't have a linux app and soon it will be my daily driver
<gjaldon> i'm using i3 with some basic colors for my xterm I copied from arch wiki entry on Xresources.
yegods has quit [Remote host closed the connection]
yegods has joined #mirage
insitu has quit [Read error: Connection reset by peer]
insitu has joined #mirage
yegods has quit [Client Quit]
insitu has quit [Ping timeout: 258 seconds]
gjaldon has quit [Quit: WeeChat 1.7]
abeaumont has joined #mirage
<hannes> :)
abeaumont has quit [Ping timeout: 256 seconds]
brson has joined #mirage