azimut has quit [Remote host closed the connection]
Haudegen has quit [Ping timeout: 250 seconds]
azimut has joined #ocaml
John_Ivan has quit [Remote host closed the connection]
John_Ivan has joined #ocaml
spip has quit [Quit: Konversation terminated!]
John_Ivan has quit [Read error: Connection reset by peer]
John_Ivan has joined #ocaml
<discocaml>
<darrenldl> @ilo Kali awesome, thanks!
<discocaml>
<Kali> no problem
Soni has quit [Ping timeout: 252 seconds]
random-jellyfish has quit [Quit: Client closed]
Tuplanolla has joined #ocaml
Soni has joined #ocaml
chrisz has quit [Ping timeout: 248 seconds]
chrisz has joined #ocaml
mbuf has joined #ocaml
trev has joined #ocaml
rf has quit [Ping timeout: 252 seconds]
rf has joined #ocaml
rf has quit [Remote host closed the connection]
rf has joined #ocaml
jackhill has quit [Ping timeout: 265 seconds]
Haudegen has joined #ocaml
azimut has quit [Ping timeout: 255 seconds]
bgs has joined #ocaml
waleee has joined #ocaml
bartholin has joined #ocaml
random-jellyfish has joined #ocaml
random-jellyfish has quit [Client Quit]
<discocaml>
<darrenldl> @ilo Kali do you happen to have any experience with nottui?
mro has joined #ocaml
bartholin has quit [Quit: Leaving]
waleee has quit [Ping timeout: 276 seconds]
kakadu has joined #ocaml
olle has joined #ocaml
azimut has joined #ocaml
Serpent7776 has joined #ocaml
<discocaml>
<darrenldl> hm, notty works well enough actually
wingsorc has quit [Ping timeout: 260 seconds]
spip has joined #ocaml
<discocaml>
<dinosaure> nottui is much more if you need a reactive UI. nottui uses notty to make image and put the lwd layer to react to user's input
<discocaml>
<darrenldl> i feel if i need to go that level i might as well be using SDL etc
<discocaml>
<darrenldl> maybe time will come where i try nottui
<discocaml>
<dinosaure> as you prefer 🙂 for me it's more because the full stack is in OCaml and I can try to implement an unikernel with that :p
<discocaml>
<Le condor du plateau> I always wondered what was the point of turning a desktop application into a unikernel
<discocaml>
<Le condor du plateau> I always wondered what was the point of turning a desktop application into an unikernel
<hannes>
let's consider an image viewer: here running it on your desktop computer may cause trouble (in respect to security issues in the image format decoding) - while as a mirageos unikernel the security issues are isolated to the unikernel itself (i.e. it won't be able to read your mails and passwords)
<hannes>
of course this only holds if you trust the hardware virtualization or hypervisor used
<discocaml>
<darrenldl> dinosaure: yeah my current situation doesn't justify heavy investment into picking up new ocaml thingies sadly, so oh well
<discocaml>
<Le condor du plateau> ah ok, I understand
<discocaml>
<Le condor du plateau> does it also means that the application depends only of a hypevisor?
<hannes>
the unikernel indeed is a statically linked binary that requires a hypervisor, and in case you need e.g. networking some virtual network interface usually provided by the hypervisor OS
<discocaml>
<Le condor du plateau> okay, interesting
glondu[m] has joined #ocaml
omegatron has quit [Remote host closed the connection]
waleee has joined #ocaml
Haudegen has quit [Quit: Bin weg.]
mro has quit [Remote host closed the connection]
mro has joined #ocaml
Haudegen has joined #ocaml
Anarchos has joined #ocaml
Anarchos has quit [Ping timeout: 246 seconds]
<discocaml>
<darrenldl> i like mirage's use in nitrokey hsm : v
Anarchos has joined #ocaml
waleee has quit [Ping timeout: 248 seconds]
<Anarchos>
is it advised to use establish_server ?
Anarchos has quit [Ping timeout: 250 seconds]
mro has quit [Quit: Leaving...]
<discocaml>
<darrenldl> swapping to nottui was relatively straightforward, and indeed way easier to do many things
Techcable has quit [Read error: Connection reset by peer]
Techcable has joined #ocaml
genpaku has quit [Read error: Connection reset by peer]
gwizon has joined #ocaml
genpaku has joined #ocaml
waleee has joined #ocaml
Haudegen has quit [Quit: Bin weg.]
gentauro has quit [Read error: Connection reset by peer]
Anarchos has joined #ocaml
gentauro has joined #ocaml
Anarchos has quit [Ping timeout: 276 seconds]
mbuf has quit [Quit: Leaving]
gdd has quit [Ping timeout: 276 seconds]
szkl has quit [Quit: Connection closed for inactivity]
Anarchos has joined #ocaml
Haudegen has joined #ocaml
bartholin has joined #ocaml
Anarchos has quit [Ping timeout: 268 seconds]
kurfen_ has quit [Ping timeout: 248 seconds]
waleee has quit [Ping timeout: 256 seconds]
trev has quit [Remote host closed the connection]
Stumpfenstiel has joined #ocaml
waleee has joined #ocaml
gdd has joined #ocaml
alexherbo2 has quit [Remote host closed the connection]
kurfen has joined #ocaml
olle has quit [Ping timeout: 246 seconds]
olle has joined #ocaml
Stumpfenstiel has quit [Ping timeout: 264 seconds]