Pinned post

Which of the service would you try to run as a unikernel, if any? If you've a different favourite service, please reply to this toot.

hannes boosted

Now, 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 experience and available here: blog.osau.re/articles/gadt_and Bob is usable and our still alives!

Which of the service would you try to run as a 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 protocol with for , it's available here: blog.osau.re/articles/spoke.ht 😀 Enjoy it!

hannes boosted

For people who are interested about static and portable binaries in (even for ), I just wrote an article about my last experimentation with : blog.osau.re/articles/esperant

hannes boosted

I just wrote a little article about Pasteur, a service as an unikernel in with : blog.osau.re/articles/pasteur. - A nice "mise en abyme" about an experimental project available here: paste.osau.re/

hannes boosted

This is a little article about a small library used by , `optint`, which shows you plenty of tips in : blog.osau.re/articles/optint.h

hannes boosted

And in the MirageOS 4.0 release series blog posts, we wrote about some specific unikernels that are available and used in production mirage.io/blog/2022-04-08.robu -- of course feedback and discussion welcome :D

Great to see more people using - e.g. Pierre who worked on the QubesOS firewall, and on a sshfs unikernel, read more at mirage.io/blog/2022-04-04.Queb -- also @dinosaure on his long path to eMail (dating back to 2016 at least) mirage.io/blog/2022-04-01-Mr-M

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 mirage.io/blog/announcing-mira Thanks to @hannesm and the other contributors 👏

MirageOS 4.0 is finally released: more than 5 years since the last major release mirage.io/blog/announcing-mira -- 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: somerandomidiot.com/blog/2022/

What we (robur.coop) did on deploying as NGI pointer funding -- a summary with further links mirage.io/blog/deploying-mirag :) :)

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!

reyn.ir/posts/2022-03-08-build

We have bee busy documenting and improving the operations experience for unikernels, now with binary package repositories and visualizations on our reproducible builds site -- info: robur.coop/Projects/Reproducib builds: builds.robur.coop discuss: discuss.ocaml.org/t/ann-robur-

hannes boosted

We finally merged into DNS stack -- years of work from resource records wire format over EC cryptography to authenticated denial of existence and wildcards / ENTs -- github.com/mirage/ocaml-dns/co -- @reynir and myself mostly :D

also put console="comconsoe" in /boot//loader.conf and -Dh in /boot.config, but still no luck...

Show thread

anyone who can help with and (armv7)? I downloaded download.freebsd.org/releases/ 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 😅

24ways.org/2019/its-time-to-ge

Show older
Mastodon

The original server operated by the Mastodon gGmbH non-profit