with apologies| mort’s mythopœia
with apologies| mort’s mythopœia
with apologies| mort’s mythopœia
To modify this page, create a section.html file in the templates directory or install a theme. | mort.io
Tl;dr--- you can't so delete and recreate it instead.| mort’s mythopœia
Karabiner on Linux? `keyd`!| mort’s mythopœia
with apologies| mort’s mythopœia
Augmenting, not replacing. Please.| mort’s mythopœia
Preach! I say, Preach!| mort’s mythopœia
Well that was fun! Quite high up there in the set of things that I never even| mort’s mythopœia
EuroSys 2025 was co-located with ASPLOS| mort’s mythopœia
As I find myself once more on a train to parts unknown (to me at least), a brief| mort’s mythopœia
Using my fancy (?) new(-ish) Linux laptop running NixOS, I| mort’s mythopœia
In similar vein to a recent post, I have also started using| mort’s mythopœia
In the last few days I discovered I needed to search back up the filesystem from| mort’s mythopœia
Having recently, happily, had several PhD students completing in short order,| mort’s mythopœia
I recently had colleagues hit an issue that I have hit myself in the past, and| mort’s mythopœia
I have recently become a fan of just as a replacement for the venerable| mort’s mythopœia
After some time using various tools and scripts to format and sort my files of| mort’s mythopœia
Ok, ok, I exaggerate – it’s not really that far. But any time I have to set the| mort’s mythopœia
One of the pleasures of being an academic is to travel to nice places to meet| mort’s mythopœia
Undergraduate final-year (“Part II”) project supervision goes in fits and| mort’s mythopœia
I do not participate in a huge number of TPCs (Technical Programme Committees)| mort’s mythopœia
Well, here we go again, again. Having stalled out back in 2013 to restart in| mort’s mythopœia
I recently had cause to try to recover some files from my| mort’s mythopœia
Another short one, this time the magic flags to get debug output and access to| mort’s mythopœia
A short one this; just a crib of commands to redo maestral (unofficial| mort’s mythopœia
I don’t pretend to understand NixOS configuration fully| mort’s mythopœia
https://github.com/abraunegg/onedrive/blob/master/docs/SharePoint-Shared-Libraries.md| mort’s mythopœia
I naively thought I could just use WSL2 on Windows on my new laptop. But it| mort’s mythopœia
An OCaml operator| mort’s mythopœia
Truly cursed bugs that have become software| mort’s mythopœia
I once had cause to setup| mort’s mythopœia
I recently discovered, to some irritation, that the --include PATTERN option| mort’s mythopœia
Some possibly useful data visualisation links:| mort’s mythopœia
Some notes from my first attempt to renovate an old media PC that had a SYSLINUX| mort’s mythopœia
So for some reason I wanted to do this – use Discord on an iPad without| mort’s mythopœia
This is the set of things that I roughly did to set up my old new Macbook:| mort’s mythopœia
Being a list of some cool “Falsehoods programmers believe about …” sites, now| mort’s mythopœia
I recently decided to go through some old PCs and hard disks (yes, actual| mort’s mythopœia
Ed: the first in a likely series, this is one of the posts I drafted but never| mort’s mythopœia
Ed: this tool is perhaps less relevant now that both| mort’s mythopœia
I recently took the plunge and upgraded my OS X. Not to vN of Sierra as I’d| mort’s mythopœia
This is a short addendum to my post of a couple of days| mort’s mythopœia
I recently decided to refresh and update my ocal package,1 primarily to| mort’s mythopœia
As some may know, following the Unikernel Systems acquisition, I| mort’s mythopœia
Bootstrapping Docker for ARM64 (aka AARCH64)| mort’s mythopœia
Recently had cause to do this as part of the SRG’s and OCaml Labs| mort’s mythopœia
Some time ago, for reasons best known to themselves, a Google recruiter decided| mort’s mythopœia
As I could never remember the command to start the offlineimap service using| mort’s mythopœia
Due to the impending finish of the EU FP7 funded User Centric| mort’s mythopœia
I had cause to do this recently, so here’re the runes from| mort’s mythopœia
I think this is a bit of a classic, the first written form of which I came| mort’s mythopœia
I’ve had the pleasure of giving a couple of talks at some fun venues recently,| mort’s mythopœia
As I’ve found myself repeating the same information several times recently, and| mort’s mythopœia
Nothing earth-shattering here: I recently had the “pleasure” of setting up an| mort’s mythopœia
A relatively long hiatus this time – blame the Cambridge housing market and the| mort’s mythopœia
A bit of a delay since the last post – lots going on! But anyway: I| mort’s mythopœia
After a slew of HDI related items, a quick MirageOS note. I was invited to| mort’s mythopœia
I have to confess to being quite pleased to having a couple of| mort’s mythopœia
A little while ago, before I’d done the smart thing and got myself a case for my| mort’s mythopœia
For a little while I’ve had this site running as a MirageOS| mort’s mythopœia
As noted previously, this site is basically a| mort’s mythopœia
Looks like I get a chance to run my mouth off again :) Upcoming| mort’s mythopœia
Turns out others were listening too – notably the USA’s DARPA. The recent| mort’s mythopœia
It’s always1 nice when someone notices what you’re doing, and I was| mort’s mythopœia
In a fit of blogging mania, here’s another one literally barely days after the| mort’s mythopœia
Thanks to an invitation from Hitesh, I recently got the chance to revisit my| mort’s mythopœia
Specifically, I’ve left Horizon and the| mort’s mythopœia
Merlin, Tuareg and ocp-indent| mort’s mythopœia
The GNU is Dead! Long Live the GNU!| mort’s mythopœia