hannes @hannesm@mastodon.social
hacker #OCaml #MirageOS #unikernel #FreeBSD #cycling #network #infrastructure #privacy #anarchism https://hannes.nqsb.io
Joined Apr 2017
Pinned post
Which of the service would you try to run as a #MirageOS unikernel, if any? If you've a different favourite service, please reply to this toot.
hannes
boosted
Now, #Bob can be used by anyone who understand the drag'n drop user interface on Windows! To celebrate, robur.io and me wrote an article about our #OCaml experience and #GADTs available here: https://blog.osau.re/articles/gadt_and_state_machine.html Bob is usable and our #MirageOS still alives!
Which of the service would you try to run as a #MirageOS unikernel, if any? If you've a different favourite service, please reply to this toot.
hannes
boosted
I just wrote an article about: how to implement a #cryptographic protocol with #OCaml for #MirageOS, it's available here: https://blog.osau.re/articles/spoke.html 😀 Enjoy it!
hannes
boosted
For people who are interested about static and portable binaries in #OCaml (even for #MirageOS), I just wrote an article about my last experimentation with #Cosmopolitan: https://blog.osau.re/articles/esperanto.html
hannes
boosted
I just wrote a little article about Pasteur, a #zerobin service as an unikernel in #OCaml with #MirageOS: https://blog.osau.re/articles/pasteur.html - A nice "mise en abyme" about an experimental project available here: https://paste.osau.re/
hannes
boosted
This is a little article about a small library used by #MirageOS, `optint`, which shows you plenty of tips in #OCaml: https://blog.osau.re/articles/optint.html
hannes
boosted
If you are interested by #MirageOS and #OCaml, my blog is re-re-up: https://blog.osau.re/articles/blog_requiem.html
And in the MirageOS 4.0 release series blog posts, we wrote about some specific unikernels that are available and used in production https://mirage.io/blog/2022-04-08.robur -- of course feedback and discussion welcome :D
Great to see more people using #MirageOS - e.g. Pierre who worked on the QubesOS firewall, and on a sshfs unikernel, read more at https://mirage.io/blog/2022-04-04.QuebesFirewall -- also @dinosaure on his long path to eMail (dating back to 2016 at least) https://mirage.io/blog/2022-04-01-Mr-MIME
hannes
boosted
MirageOS was published in version 4.0.0 – Have a look if you are interested in self-managed secure internet infrastructure with unikernels https://mirage.io/blog/announcing-mirage-40 #nt Thanks to @hannesm and the other contributors 👏
MirageOS 4.0 is finally released: more than 5 years since the last major release https://mirage.io/blog/announcing-mirage-40 -- now with improved dev tooling and smooth integration with dune. Plus cross-compiling. Most work in libraries ;) (git, ssh, tls, ...) next stop: multicore and effects
hannes
boosted
I tried to write a post about stitchcraft but ended up writing about chamelon, the just-released littlefs-based block storage library for #MirageOS , instead: https://somerandomidiot.com/blog/2022/03/04/chamelon/
What we (robur.coop) did on deploying #MirageOS as NGI pointer funding -- a summary with further links https://mirage.io/blog/deploying-mirageos-robur :) :)
hannes
boosted
My blog is in serious bitrot, and after circumventing my blog software I am pleased to announce my latest post 'Announcing builder-web' on the work we in Robur have done for our NGI Pointer project the past year!
We have bee busy documenting and improving the operations experience for #MirageOS unikernels, now with binary package repositories and visualizations on our reproducible builds site -- info: https://robur.coop/Projects/Reproducible_builds builds: https://builds.robur.coop discuss: https://discuss.ocaml.org/t/ann-robur-reproducible-builds/8827/2
hannes
boosted
John Whitington's #OCaml from the Very Beginning is now available for free in PDF and HTML formats -> https://johnwhitington.net/ocamlfromtheverybeginning/ https://discuss.ocaml.org/t/ocaml-from-the-very-beginning-now-free-in-pdf-and-html-formats/9361
We finally merged #DNSSec into #OCaml DNS stack -- years of work from resource records wire format over EC cryptography to authenticated denial of existence and wildcards / ENTs -- https://github.com/mirage/ocaml-dns/commit/906d9df9dedbfb2c3fdf609e6d17167e91bc1fac -- @reynir and myself mostly :D
also put console="comconsoe" in /boot//loader.conf and -Dh in /boot.config, but still no luck...
anyone who can help with #FreeBSD and #qemu (armv7)? I downloaded https://download.freebsd.org/releases/arm/armv7/ISO-IMAGES/13.0/FreeBSD-13.0-RELEASE-arm-armv7-GENERICSD.img.xz and installed qemu and u-boot-qemu-arm, but a qemu-system-arm -M virt -m 512m -nographic -bios /usr/local/share/u-boot/u-boot-qemu-arm/u-boot.bin -hda ~hannes/FreeBSD-13.0-RELEASE-arm-armv7-GENERICSD.img results in loader being there, but then I only see | from the kernel...
hannes
boosted
Just read this wonderful “ode to personal websites” by @laura. I agree with many of the arguments, that we should not just go the convenient route and use exploitative platforms but instead strive for the agency and independence self-hosted, personal websites may provide us. Which reminds me… I should finally put the finishing touches on my own site and publish it 😅
hacker #OCaml #MirageOS #unikernel #FreeBSD #cycling #network #infrastructure #privacy #anarchism https://hannes.nqsb.io
Joined Apr 2017
