Feed digilinux.ru [copy] http://digilinux.ru/feed/ has loading error: cURL error 22: The requested URL returned error: 403 Forbidden
Feed Dr. Mickey Lauer [copy] https://www.vanille-media.de/feed.xml has loading error: https://www.vanille-media.de/feed.xml is invalid XML, likely due to invalid characters. XML error: XML_ERR_NAME_REQUIRED at line 1346, column 31
Feed freepost [copy] https://freepo.st/rss/new has loading error: cURL error 22: The requested URL returned error: 500
Feed justine.lol [copy] https://justinetunney.com/rss.xml has loading error: cURL error 60: SSL certificate problem: certificate has expired
Redesigning my microkernel from the ground up
As you may recall, circa 2022-2023 I was working on a microkernel written in Hare named Helios. Helios was largely inspired by and modelled after the design of seL4 and was my first major foray into modern OS development that was serious enough to get to a somewhat useful state of functionality, with drives for some real hardware, filesystems, and an environment for running user programs of a reasonable level of sophistication.
Helios development went strong for a while but eventually it slowed and eventually halted in a state of design hell. Since Helios was my first major OS project at...
Understanding how to use Mulberry32 to achieve deterministic randomness in JavaScript
Randomness is rarely truly random in games. This article explains how Mulberry32 turns a single seed into a fully reproducible sequence of values, with a minimal JavaScript demo and real-world videogame applications.
Year-end donations round, 2025 edition
One more year, one more year-end donations round before reaching the next one. As every year, I highly encourage you to do the same. Please think about organizations that make a difference to you and software that you may use every day. Your contribution may make a difference to them in return.
This year I went with:
Signal because I still use it every day. In reality, I’ve promoted this donation to a monthly recurring one and I’ve been donating throughout all the year, but I’m still mentioning it here.
KDE because I’ve recently switched to it on my personal computer, just to...
Grub no longer detected my Windows installation
Christmas Eve 2025. It’s late at night and I should really go to bed because Santa is coming tonight. I’m installing a new hard drive in my computer to replace my existing Fedora Linux drive. The new one is larger and faster, and I decide to start from scratch with a new Fedora 43 KDE Plasma Desktop Edition installation. After the system is installed (super-fast!) I copy data over from my old drive into my new one. Mostly the home directory and a few other bits. Grub is showing me the kernels for the new OS installation, as well as options to boot several kernels from...