The MirageOS project [0] is a great collection of functionality pure OCaml libraries that are useful outside of unikernels. I've used the DNS library with an effectful layer for various nameserver experiments [1].
Author of Eon here, there's still some open questions I have here about managing the lifetimes of these certificates. Renewal is supported via a Capnproto callback and there's some ad-hoc integration in with NixOS nginx to restart it on a certificate renewal. https://github.com/RyanGibb/eon/blob/3a3f5bae2b308b677edfb3f...
This doesn't work in the general case, e.g. for postfix and dovecot, and is only becoming more pertinent with short lived certificates. It would be great if the service manager could use these capabilities directly. I think GNU Shepard's integration with Guile Goblins and OCapN is a step in the right direction here: https://spritely.institute/news/spritely-nlnet-grants-decemb...
This is a good argument for the Unix philosophy's "do one thing" to avoid the bloat the author describes. E.g. vi, sendmail, and some bash for Word's mail merge. Or Emacs and some lisp. But then the onus is on the user to compose these tools to something that solves their particular problem.
99% hardship of any advanced tool that is expected to be used by any random person is in integration, discoverability, fault tolerance, pragmatic relevant guidance.
I love Vim (RIP Bram, thanks for all the fish), but it's a tool for the less than 1% who loves that kind of thing.
Most people won't learn the tool because they see it only as an anecdotal detail bringing hindrance in their quest to "something".
Ely (a few miles south of this project) used to be an island with a large eel fishing industry, from which it derives it's name. The Fens were drained in the 17th century with help from Dutch engineers, and I believe much of the area is now below sea level; the river Ouse is raised above the surrounding land with embankments. I've ran past some of the pumping stations on the Roman lodes myself: https://www.openstreetmap.org/way/125065713
I wonder what the risk is of rising sea levels to this project?
> The second I stepped outside I was set upon by a flood of mosquitos like I have never experienced before. I have been to the jungles of Vietnam, the swamps of Florida and the Canadian countryside. This was beyond anything I've ever experienced.
> There are bugs in my mouth, ears, eyes and nose almost immediately. The photo below is not me being dramatic, it is actually what is required to keep them off of me.
> In fact what you need to purchase in order to walk around this area at all are basically bug nets for your face. They're effectively plastic mesh bags that you put on.
This is pretty standard for Scotland in the summer too.
The midges are horrific. It's amazing how something so tiny can make your life so miserable. I don't know how people in the olden days survived. I wonder what kind of social and political effects the midges had. I can imagine Scots with all their gifts of the mind and body fleeing and surrendering to the English just to get away from them.
> I don't know how people in the olden days survived.
Maybe they found a material they could smear on their body.
For a similar example, I have a friend who spends a lot of time hiking and camping. He tells me that the first day, he needs to apply sunscreen. The next day onward, he doesn't need to anymore, as his body oil and sweat seems to do the job.
It makes sense that our skin has not evolved to be cleaned every day.
People simply got used to it, for the most part. It takes me a few weeks to readjust to the insects whenever I go back to the Arctic, after which they're just dramatically less annoying.
Keep in mind that the swarms you see today are usually a historical anomaly exacerbated by changing conditions in the Arctic. Longer, warmer summers create more spaces for them to breed, and sudden, bitter cold spells in winter affect the predators controlling their population more than the insects themselves. The palearctic region is a very different place than it was centuries ago.
In Scotland they would have smeared bog myrtle over themselves. Other alternatives were animal fat mixed with an aromatic or even tar and pine resin. As far as I know most cultures had some sort of equivalent.
The best contemporaneous example would be the otjize clay rub used by the Himba in Namibia. It’s largely an adaptation to water scarcity but it also protects them from insects and cleans their hair and skin by trapping dirt and flaking off.
I'm fortunate that they just don't like me as much as some of the people I've done week+ hiking/camping trips with. I was ok with deet. Some folks still got dozens of bites even after it.
No? We all wore that too... but unless we're all just weirdos and sunscreen == bug repellant for the whole rest of the world in a way it never has for us (and is not advertised as), it just seemed irrelevant.
The sunscreen kept us from being bright red and in pain for the last 6 days of the trip. The mosquitos gave zero fucks about it.
I would bet that the lucky person whose "body oil and sweat seems to do the job" isn't the representative person here...
He never said it was a mosquito repellent. Just that he wouldn't burn the second day of sweating while hiking, and only needed the sunscreen for the first.
In the 70's we visited relatives in northern Minnesota and took a .22 rifle to a dump, I think to shoot rats. So many mosquitos would immediately land on us and the rifle that you couldn't see the sight on the end of the barrel. We got out of there quick.
I struggle with the juxtaposition that there are horrible swarms of mosquitoes while there appears to still be snow everywhere. I've experienced those two things separately many times but never together.
Given the website, is worth noting that keyboards like this can avoid the infamous Emacs pinky. I've got the keys two rows below the homerow bound to the modifiers right alt, super, alt, control, and shift. And reversed on the other hand. This makes any modifier shortcuts very ergonomic -- one hand 'chords' the modifiers and the other hits the non-modifier key.
There's a TLSA resource record for certificates instead of a TXT encoding.
As far as I know no major browser supports it, and adoption is hindered by DNSSEC adoption.