Adam @adams@bsd.network
This is the last in this series
https://github.com/Solo5/solo5/pull/226#comment-379526893
https://bsd.network/media/UvGF9C_6CuLNxUWtEzM
Good Evening All
I have been working to port #mirageos to #openbsd, i had thought i had completed the hard part by porting #solo5 [1] to #vmm on openbsd.
but now i have been stuck on ocam-freestanding[2] for the last few months, so i am asking the world for a hand!
see the issue[3], PR [4], build files [5] and how to replicate [6]
Treated myself a mechanical keyboard today. I usually just used the built in one on the laptops but this feels so much better.
My advisor just introduced me to my family and friends as Dr. Callahan.
Nice weather
this weekend:
- DNS secondary pushing to a local git repo https://github.com/roburio/udns/tree/master/mirage/examples/secondary-git
- DNS secondary which waits for CSR (as TLSA 3 255 0) and requests let's encrypt certificates (dumps them as TLSA 3 0 0 in authoritative) https://github.com/hannesm/ocaml-letsencrypt/tree/nsupdate/mirage
- anunikernel which uses DNS to receive it's let's encrypt certificate before serving an echo server https://github.com/roburio/udns/tree/master/mirage/examples/certificate
- unix command line version of the above, writes pem files https://github.com/roburio/udns/blob/master/app/ocertify.ml
#MirageOS #DNS #git dig tlsa test2.robur.io +tcp
working on a public holiday, gotta love it!
Got cleared to defend my dissertation. I'll be Dr. Callahan sometime early afternoon on June 21.
#phdlife
At times I wonder what exactly HTML-enabled e-mail has improved:
* phishing, definitely,
* illegible e-mail because fonts & stuff never look the same at the other end,
* bandwidth wastage,
* forcing people to "load remote content".
Once I was in an argument where HTML e-mail was meant to help those visually impaired but surely a text reader has a much better chance of getting it right with plain text?
Life could be worse, I suppose
A #MirageOS unikernel running on an ESP32 https://www.lortex.org/posts/mirage/esp32/2018/05/04/success.html
I have been working on a project over the last year or so, it continues to work on #openbsd current, but when i went back to check if fails on 6.3, but back while current was leading up to 6.3 my project worked.
Is there a way to get old snapshots so i can got back and check when it worked, when it stopped and when it start working again?
I'm not a TA anymore. Classes are over. Next time I teach, it will be as a professor.
Amazon threatens to suspend Signal's AWS account over censorship circumvention https://signal.org/blog/looking-back-on-the-front/
Amazon and Google are both coming out opposed to people using their services for domain fronting, to circumvent censorship.
Note that Signal is actively blocked in Egypt, Oman, UAE, and Iran. So, that sucks.
I want to go back to bed 😭
Looks like this might get merged soon!
Getting nocrypto working has stalled, life getting the way and no undersanding of #ocaml code.
Going to start learning ocaml and trying small things with mirageos on openbsd.
Will eventually come back to this when i can understand whats going on in myocamlbuld.ml
Man page for mg(1) on #OpenBSD is ice cold
https://man.openbsd.org/OpenBSD-current/man1/mg.1
“It is compatible with emacs because there shouldn't be any reason to learn more editor types than emacs or vi(1).”
☠️
April green light 🐾
