hannes is a user on mastodon.social. You can follow them or interact with them if you have an account anywhere in the fediverse. If you don't, you can sign up here.

Great system you have out there

dig a www.katerundgoldfisch.com @ns2.jimdo.com

returns NXDOMAIN and a CNAME :/ (just reported to hostmaster@)

so relieved from lenovo service: went 20 minutes to cecon in berlin and got my fan replacement on warranty - took my x250 with me :) (plus: it's clean now and a fresh trackpoint) :D :D :D

this weekend:
- DNS secondary pushing to a local git repo github.com/roburio/udns/tree/m
- 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) github.com/hannesm/ocaml-letse
- anunikernel which uses DNS to receive it's let's encrypt certificate before serving an echo server github.com/roburio/udns/tree/m
- unix command line version of the above, writes pem files github.com/roburio/udns/blob/m
dig tlsa test2.robur.io +tcp

told myself at some point "you never ever want to contribute to repository yyy again"... turns out such a thing is a mistake, it's always much better to fix existing, deployed libraries then to be stubborn and waiting for the perfect replacement... just opened a bunch of PRs within the last days :D

and it spawns (maximum) 400 per second (which also spawns an unnecessary sh atm, should work on some neater benchmark suite)... load average doesn't really go above 2.5 (two physical CPUs plus HTT available)... each vm only does 5 lines of console output (with 3 seconds sleep between each line)...

I just tested on my 8GB memory laptop (Core(TM) i7-5600U CPU @ 2.60GHz) and FreeBSD-CURRENT, it looks like ~1800 BHyve VMs are maximum (still have sufficient CPU and memory, unclear why I can't spawn more)... each VM consumes ~3.5MB

hannes boosted

I've been running µDNS on my laptop as DNS resolver since a week. Super fast and no crashes so far :-) thx @hannesm github.com/roburio/udns #ocaml #mirageos

hannes boosted

@Tusky I always get "failed to authenticate with this instance" with tusky 1.8.0 and mastodon.social... even removed + installed tusky... HELP

hannes boosted

I'll be giving a talk on library operating systems (including #mirageos) for #recursecenter's "localhost" talk series on Tuesday, 15 May in Manhattan, NYC, USA! RSVP (and get location/abstract/etc info) at recurse.com/events/localhost-m .

hannes boosted

Did y'all know that there's an upcoming #ocaml documentation jam, 18th-20th of May? I heard about it at discuss.ocaml.org/t/may-2018-o , details at gallium.inria.fr/~scherer/even . I'm already pumped!

"In general we recommend that you pick a library that you are interested in, but for which you are not already an expert," so it's a great excuse to check out something you've been meaning to spend time with! 🐫

hannes boosted

Happy Birthday, Karl.

(who recognizes the Game?)

oh wow today another critical mass 15:00 westhafen against rheinmetall see stressfaktor.squat.net/termine see you there \o/

hannes boosted

My ed workshop is scheduled for Friday 9pm

my first unikernel got their own let's encrypt certificate signed github.com/hannesm/ocaml-letse (via dns challenge using nsupdate)

hannes boosted

> ./masto.sh
>>> Welcome back to Mastodon!
>>> You are [yomimono]. You are in some sort of wandering shop.
>>> Behind you is a weirder earth (closed), just beyond which is a famous town of witches (also closed).

> inventory

>>> You have:
>>> a computer
>>> regrets

> order coffee

>>> ☕

> program computer

>>> You make a #unikernel in #ocaml using #mirageos .

> program computer

>>> You work on a #secretProject ! it involves #crossStitch and #embroidery.

> look cat

>>> which #cat?

> ALL

hannes boosted
hannes boosted

At the #p2k18 #hackathon I was able to get nwid switching (sometimes called roaming) working for #OpenBSD's #wifi. It switches between no encryption, WEP, and WPA1/2.

One major thing left to fix, then it is time to send the diff out for review.