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!
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
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
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/
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
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...
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 😅