Learning the State Machine Behind a Modal Text Editor: The (Neo)Vim Case Study
Pierre Ganty
SPIN 2024, 30th International Symposium on Model Checking Software, 10-11 April 2024, co-located with ETAPS 2024 in Luxembourg City, Luxembourg

PDF

I do these things to make the VPS this blog runs on less palatable for internet bottom feeders.

I found endlessh, an SSH “tarpit” a while back. This is an investigation I did in February of 2020 into its effectiveness.

I have had the Arch Linux linux-hardened kernel installed on my Qotom fanless server since I bought it a couple of years ago. The Qotom has had kernel panics on the last two linux-hardened updates. I changed to the plain linux kernel. It was pretty easy, even though I had a case of the nerves about it.

I came across a 20 year old project called On Bots. I decided to use some of the concepts to create a new Scraper Junkyard.

Internet Sage Chris Siebenmann wrote of a Plague of Googlebot Impersonation on his amazing Wandering Thoughts blog. I decided to find out if I could detect such a plague in this blog’s Apache log files.

One of my kids is excited for the release of Dune: Part Three. We were talking about Dune, how the movies broke up the enormous book, and got on the topic of “sandtrout”.

As is my habit, I ran pacman -Syu on my Qotom fanless server to get all the fresh Arch Linux software updates. The update included a kernel, moving from “linux-hardened-7.1.3.hardened1-4” to “linux-hardened-7.1.5.hardened1-1”. Kernel upgrades are almost always no big deal. Today, I got a kernel panic!

William W. Crockett, Jack O. Shaw, Carl Simpson, Christopher P. Kempes;
Physical constraints during Snowball Earth drive the evolution of multicellularity Proc Biol Sci 1 June 2024; 291 (2025): 20232767. https://doi.org/10.1098/rspb.2023.2767

PDF

The Big Four
Agatha Christie, 1927

Hastings narrates a rather weird Poirot mystery. I am beginning to wonder why Hastings hung out with Poirot at all, since Poirot treats Hastings arrogantly at times.