☀️ 🇲🇦 Meteo Marrakech avec Météo Maroc
http://www.meteo-maroc.com/meteo/meteo-Marrakech.html
temperatures entre 3 C et 20C. #Wetter #MirageOS
¹ https://mro.name/at9z4eh

🐫 🇲🇦 #MirageOS hack retreats #AD2023
http://retreat.mirage.io/
#OCaml
¹ https://mro.name/at8sygu

I did it! An #unikernel which provides 𝐨𝐧𝐥𝐲 an user interface via SSH (#MirageOS) in #OCaml! Imagine a full operating system as your MUA or IRC client which can be reachable via SSH!

and finally there's https for https://retreat.mirage.io -- with a P256 certificate, please let me know if there's any trouble #letsencrypt #MirageOS #OCaml

It's alive!!! #MirageOS HTTPS server sample running on #Guix !

All it does is display Hello World using a self signed cert, but I'm proud of it. UwU

*gives unikernel a lil' pat*

And now to tidy up that commit history... 😓

https://git.sr.ht/~raingloom/guix-source/commit/08d1fd4dd3b94ea0f858ba898b7ba6d267c9260b

#theWorkshop

Annnd now I can cross-build some #Ocaml packages on #Guix for the #Solo5 hypervisor.
Getting closer to a fully reproducible and bootstrapped #MirageOS hello world unikernel.
UwU

#theWorkshop

If you're interested in #MirageOS, and as well appreciate nice food and great discussions, have a look at our next retreat in Marrakesh May 1st - 7th: http://retreat.mirage.io -- everyone is welcome, no upfront OCaml/MirageOS knowledge required.

Finally sent my #MirageOS patch set to #Guix. Took much longer to iron out the kinks than I anticipated. Next step is to build the hello world kernel as a Guix package and deploy it to the Solo5 hypervisor.
#theWorkshop

I have just finished a series of articles about #SMTP and how to deploy your own email service in #OCaml and #MirageOS. Enjoy & Happy new year!

https://blog.osau.re/articles/smtp_1.html
https://blog.osau.re/articles/smtp_2.html
https://blog.osau.re/articles/smtp_3.html

Dropping > 15% of a stripped #OCaml (indeed a #MirageOS unikernel) binary (from 11.1 to 9.4MB) is pretty good for a Saturday (without loosing functionality / modifying observable behaviour)

Wish I wouldn't need to do that manually, but some dead code elimination at link time would do the trick ;)

About Bob, I just fixed an issue on MacOS and I can confirm that the binary works everywhere! Thanks for all people involved into my bugfix. I decided to add an Atom feed into the website to let people to follow the development: https://bob.osau.re/ (the feed.xml was, obviously made by #OCaml). Enjoy it (and enjoy my dark-mode 😆)! #MirageOS

@Big_Diggity I’ve got an MSI GS40. I run #qubes nowadays, with a few fun things like #mirageos for firewall vms. Usually i lean on #fedora minimal (or #xfce ) for appvms, and am working on getting #alpine working for standalones.
I ran #artix for about a year before qubes tho

Just to let people to understand what we do, someone did 2 great videos to introduce you about #MirageOS: https://www.youtube.com/watch?v=aQuEu9bpnVY & https://www.youtube.com/watch?v=S4kNwfCRCO4

spoke at iotshow.in (November 23-25, 2022, Whitefield, Bengaluru), India Electronics Week and smartBHARAT on "Foundations to Security by Design: A novel approach to building type-safe, modular and efficient IoT solutions" @tarides_ @efycon #MirageOS #IoT #Security

@Patricia @martijn_grooten I cannot remember either but I did keep using Mastodon and moved here from the Birdsite more than a year ago. One reason was because of the #MirageOS retreat in 2017 and that several people I met there were here on Mastodon.

I need to up my #OCaml game. the lovely robur folks are implementing happy eyeballs stuff.

this is my jam!

also I've had a literal dream of implementing paris-traceroute and since the last #mirageos retreat pre-pandemic, I've set a goal to do it in mirageos.

I'm really glad to non-officialy launched https://bob.osau.re/! It's an experimental project but we still continue to improve it and test it on real usecases. #MirageOS #OCaml (I will do a public announcement soon).

I just published an article about albatross (the old one from 5 years ago is a bit outdated) at https://hannes.robur.coop/Posts/Albatross #MirageOS #orchestration #OCaml #unikernel enjoy reading, feedback appreciated :)

I wrote article with robur.io about reproducibility, you can take a look here: https://blog.osau.re/articles/reproducible.html #MirageOS #OCaml #Reproducible

@sbr #ocaml have a lot of use cases, it have great support to build compilers (it was used to build #rust). It's used by #mirageos and multiple other cool projects. It can be used to do frontend application with #reasonml or ocaml_of_js. OCaml can build rest APIs and much more... http://ocamlverse.net/content/ecosystem.html