Dinosaure boosted

are you interested in operating system design and implementation? also into functional programming? come join us at our 6th MirageOS retreat early October in Marrakesh. more details including trip reports from earlier retreats at retreat.mirage.io pls sign up soon! :)

Dinosaure boosted

I'll go to sleep, but I just released some software \o/

github.com/hannesm/jackline-op is a fully signed repository (by keys I own, but could as well be a quorum ;) containing all dependencies of jackline (my xmpp client github.com/hannesm/jackline). trust anchor sha256=6b70cd24656868f22bba1ac574f4166093fa640850ccd81852915a64b6999e08

58 packages, 48MB source, 7MB jackline binary (+libc/m/gmp)

featuring conex (github.com/hannesm/conex, you'll need master) and opam2.

feedback welcome

Dinosaure boosted

I am happy to inform you that the final version of your manuscript
submission (Document not available) is now accepted to the Journal of the
ACM. (see cl.cam.ac.uk/~pes20/Netsem/pap) \o/ :D

Dinosaure boosted

This debugger is slowly going somewhere, Notty is so cool. \o/

Dinosaure boosted

hey everyone else who is running #MirageOS unikernels on AWS -- today is a good day to move them to another cloud behemoth! somerandomidiot.com/blog/2018/

Dinosaure boosted
Dinosaure boosted

software release, hype Show more

Dinosaure boosted
Dinosaure boosted

Late night @dinosaure hard at work compiling his GADTs

Dinosaure boosted
Show more
Mastodon

Follow friends and discover new ones. Publish anything you want: links, pictures, text, video. This server is run by the main developers of the Mastodon project. Everyone is welcome as long as you follow our code of conduct!