corpus.blog
41554 blogs · [ { "id": "01a087a8-fada-73e7-91cf-5fd7164b96b2", "title": "Sabbatical Diary: Week 47", "url": "https://mort.io/blog/sabbatical-diary-w47/", "published_at": "2026-08-28T00:00:00+00:00" }, { "id": "01a087a8-fada-73e7-91cf-5fd717095546", "title": "Hard rebooting", "url": "https://mort.io/blog/hard-reboot/", "published_at": "2026-08-25T00:00:00+00:00" }, { "id": "01a087a8-fadb-7262-b5d2-edef8e60b3f8", "title": "Sabbatical Diary: Week 46", "url": "https://mort.io/blog/sabbatical-diary-w46/", "published_at": "2026-08-21T00:00:00+00:00" }, { "id": "01a087a8-fadb-7262-b5d2-edef8e97fb43", "title": "Some additional `sway` hotkeys", "url": "https://mort.io/blog/sway-hotkeys/", "published_at": "2026-08-17T00:00:00+00:00" }, { "id": "01a087a8-fadb-7262-b5d2-edef8efea9e8", "title": "Restarting `pulseaudio` when it flatlines", "url": "https://mort.io/blog/pulseaudio-flatlines/", "published_at": "2026-08-15T00:00:00+00:00" }, { "id": "01a087a8-fadb-7262-b5d2-edef8f06b760", "title": "Sabbatical Diary: Weeks 39---45", "url": "https://mort.io/blog/sabbatical-diary-w39-45/", "published_at": "2026-08-14T00:00:00+00:00" }, { "id": "01a087a8-fadb-7262-b5d2-edef8f1f55e8", "title": "Sabbatical Diary: Weeks 35---38", "url": "https://mort.io/blog/sabbatical-diary-w35-38/", "published_at": "2026-06-26T00:00:00+00:00" }, { "id": "01a087a8-fadb-7262-b5d2-edef8f68b27f", "title": "Sabbatical Diary: Weeks 33---34", "url": "https://mort.io/blog/sabbatical-diary-w33-34/", "published_at": "2026-05-31T00:00:00+00:00" }, { "id": "01a087a8-fadb-7262-b5d2-edef8fd713c2", "title": "Prompting `bash` with `git` and `jj`", "url": "https://mort.io/blog/bash-prompting/", "published_at": "2026-05-20T00:00:00+00:00" }, { "id": "01a087a8-fadb-7262-b5d2-edef90055209", "title": "Sabbatical Diary: Week 32", "url": "https://mort.io/blog/sabbatical-diary-w32/", "published_at": "2026-05-16T00:00:00+00:00" }, { "id": "01a087a8-fadb-7262-b5d2-edef90cafb46", "title": "Sabbatical Diary: Week 31", "url": "https://mort.io/blog/sabbatical-diary-w31/", "published_at": "2026-05-10T00:00:00+00:00" }, { "id": "01a087a8-fadb-7262-b5d2-edef9162578c", "title": "Sabbatical Diary: Week 30", "url": "https://mort.io/blog/sabbatical-diary-w30/", "published_at": "2026-05-01T00:00:00+00:00" }, { "id": "01a087a8-fadb-7262-b5d2-edef91d3b05d", "title": "Sabbatical Diary: Weeks 28---29", "url": "https://mort.io/blog/sabbatical-diary-w28-29/", "published_at": "2026-04-24T00:00:00+00:00" }, { "id": "01a087a8-fadb-7262-b5d2-edef92a878c0", "title": "Sabbatical Diary: Weeks 23---27", "url": "https://mort.io/blog/sabbatical-diary-w25-27/", "published_at": "2026-04-14T00:00:00+00:00" }, { "id": "01a087a8-fadb-7262-b5d2-edef92e4eb1e", "title": "Ignoring changes", "url": "https://mort.io/blog/ignoring-changes/", "published_at": "2026-03-23T00:00:00+00:00" }, { "id": "01a087a8-fadb-7262-b5d2-edef93a6fbf8", "title": "Sabbatical Diary: Weeks 23 & 24", "url": "https://mort.io/blog/sabbatical-diary-w23-24/", "published_at": "2026-03-22T00:00:00+00:00" }, { "id": "01a087a8-fadb-7262-b5d2-edef93c2e461", "title": "Following up some remarks concerning Lawful Access", "url": "https://mort.io/blog/cosi-followup/", "published_at": "2026-03-09T00:00:00+00:00" }, { "id": "01a087a8-fadb-7262-b5d2-edef9424c654", "title": "Sabbatical Diary: Week 22", "url": "https://mort.io/blog/sabbatical-diary-w22/", "published_at": "2026-03-06T00:00:00+00:00" }, { "id": "01a087a8-fadb-7262-b5d2-edef9470d169", "title": "Updating Cambridge VPN configuration", "url": "https://mort.io/blog/cambridge-vpn/", "published_at": "2026-03-03T00:00:00+00:00" }, { "id": "01a087a8-fadb-7262-b5d2-edef9491282f", "title": "Sabbatical Diary: Weeks 19---21 / Month 5", "url": "https://mort.io/blog/sabbatical-diary-w19-21/", "published_at": "2026-03-01T00:00:00+00:00" }, { "id": "01a087a8-fadb-7262-b5d2-edef9570b210", "title": "Sabbatical Diary: Week 18", "url": "https://mort.io/blog/sabbatical-diary-w18/", "published_at": "2026-02-07T00:00:00+00:00" }, { "id": "01a087a8-fadb-7262-b5d2-edef959a7272", "title": "Sabbatical Diary: Weeks 16/17 / Months 2---4", "url": "https://mort.io/blog/sabbatical-diary-w16-17/", "published_at": "2026-01-30T00:00:00+00:00" }, { "id": "01a087a8-fadb-7262-b5d2-edef96863024", "title": "Some Remarks on the Risks of Lawful Access", "url": "https://mort.io/blog/cosi-lawful-access/", "published_at": "2026-01-22T00:00:00+00:00" }, { "id": "01a087a8-fadb-7262-b5d2-edef96bad10f", "title": "Restarting audio", "url": "https://mort.io/blog/restarting-audio/", "published_at": "2026-01-19T00:00:00+00:00" }, { "id": "01a087a8-fadb-7262-b5d2-edef9769328a", "title": "Sabbatical Diary: Week 15", "url": "https://mort.io/blog/sabbatical-diary-w15/", "published_at": "2026-01-17T00:00:00+00:00" }, { "id": "01a087a8-fadb-7262-b5d2-edef97fc1f5e", "title": "Extracting ramblings", "url": "https://mort.io/blog/extracting-rambling/", "published_at": "2026-01-15T00:00:00+00:00" }, { "id": "01a087a8-fadb-7262-b5d2-edef985029f8", "title": "Pinning packages", "url": "https://mort.io/blog/pinning-pkgs/", "published_at": "2026-01-12T00:00:00+00:00" }, { "id": "01a087a8-fadb-7262-b5d2-edef9851ce60", "title": "Sabbatical Diary: Week 14", "url": "https://mort.io/blog/sabbatical-diary-w14/", "published_at": "2026-01-09T00:00:00+00:00" }, { "id": "01a087a8-fadb-7262-b5d2-edef986b1de9", "title": "Updating `eduroam`", "url": "https://mort.io/blog/eduroam-update/", "published_at": "2026-01-06T00:00:00+00:00" }, { "id": "01a087a8-fadb-7262-b5d2-edef99398755", "title": "Sabbatical Diary: Week 13", "url": "https://mort.io/blog/sabbatical-diary-w13/", "published_at": "2026-01-04T00:00:00+00:00" }, { "id": "01a087a8-fadb-7262-b5d2-edef993c41e3", "title": "Sabbatical Diary: Weeks 11---12 / Month 3", "url": "https://mort.io/blog/sabbatical-diary-w11-12/", "published_at": "2025-12-28T00:00:00+00:00" }, { "id": "01a087a8-fadb-7262-b5d2-edef99abead0", "title": "Re-connecting Wi-Fi", "url": "https://mort.io/blog/re-connecting/", "published_at": "2025-12-27T00:00:00+00:00" }, { "id": "01a087a8-fadb-7262-b5d2-edef9a6c7849", "title": "Sabbatical Diary: Week 10", "url": "https://mort.io/blog/sabbatical-diary-w10/", "published_at": "2025-12-14T00:00:00+00:00" }, { "id": "01a087a8-fadb-7262-b5d2-edef9b15c0ed", "title": "Displaying Wi-Fi configuration", "url": "https://mort.io/blog/wifi-password/", "published_at": "2025-12-09T00:00:00+00:00" }, { "id": "01a087a8-fadb-7262-b5d2-edef9b250d62", "title": "Sabbatical Diary: Weeks 6---9 / Month 2", "url": "https://mort.io/blog/sabbatical-diary-w6-9/", "published_at": "2025-12-08T00:00:00+00:00" }, { "id": "01a087a8-fadb-7262-b5d2-edef9b897717", "title": "Sabbatical Diary: Week 5", "url": "https://mort.io/blog/sabbatical-diary-w5/", "published_at": "2025-11-07T00:00:00+00:00" }, { "id": "01a087a8-fadb-7262-b5d2-edef9ba99846", "title": "Back to my Roots", "url": "https://mort.io/blog/back-to-my-roots/", "published_at": "2025-11-05T00:00:00+00:00" }, { "id": "01a087a8-fadb-7262-b5d2-edef9c3ee3e1", "title": "Sabbatical Diary: Week 4 / Month 1", "url": "https://mort.io/blog/sabbatical-diary-w4/", "published_at": "2025-11-02T00:00:00+00:00" }, { "id": "01a087a8-fadb-7262-b5d2-edef9cee8342", "title": "E(pi)glot-tal start", "url": "https://mort.io/blog/emacs-eglot/", "published_at": "2025-10-29T00:00:00+00:00" }, { "id": "01a087a8-fadb-7262-b5d2-edef9d9843e0", "title": "Sabbatical Diary: Week 3", "url": "https://mort.io/blog/sabbatical-diary-w3/", "published_at": "2025-10-27T00:00:00+00:00" }, { "id": "01a087a8-fadb-7262-b5d2-edef9e90a72e", "title": "Tree-sitting Emacs", "url": "https://mort.io/blog/treesitting-emacs/", "published_at": "2025-10-20T00:00:00+00:00" }, { "id": "01a087a8-fadb-7262-b5d2-edef9ed77277", "title": "Sabbatical Diary: Week 2", "url": "https://mort.io/blog/sabbatical-diary-w2/", "published_at": "2025-10-18T00:00:00+00:00" }, { "id": "01a087a8-fadb-7262-b5d2-edef9fb9b580", "title": "Sabbatical Diary: Weeks 0 & 1", "url": "https://mort.io/blog/sabbatical-diary-w1/", "published_at": "2025-10-10T00:00:00+00:00" }, { "id": "01a087a8-fadb-7262-b5d2-edefa02d1ca5", "title": "All Change!", "url": "https://mort.io/blog/all-change/", "published_at": "2025-10-02T00:00:00+00:00" }, { "id": "01a087a8-fadb-7262-b5d2-edefa032d236", "title": "Systematising the obvious", "url": "https://mort.io/blog/research-matrix/", "published_at": "2025-09-12T00:00:00+00:00" }, { "id": "01a087a8-fadb-7262-b5d2-edefa0a44be4", "title": "Orating honours", "url": "https://mort.io/blog/orating-honors/", "published_at": "2025-09-05T00:00:00+00:00" }, { "id": "01a087a8-fadb-7262-b5d2-edefa163625b", "title": "Resizing swap partition on NixOS", "url": "https://mort.io/blog/resize-swap/", "published_at": "2025-08-13T00:00:00+00:00" }, { "id": "01a087a8-fadb-7262-b5d2-edefa1ee89f2", "title": "Re-key-remapping", "url": "https://mort.io/blog/keymapping-reprise/", "published_at": "2025-07-26T00:00:00+00:00" }, { "id": "01a087a8-fadb-7262-b5d2-edefa1f7a1a3", "title": "Whither AI?", "url": "https://mort.io/blog/whither-ai/", "published_at": "2025-07-05T00:00:00+00:00" }, { "id": "01a087a8-fadb-7262-b5d2-edefa29efb60", "title": "Artificial Intelligence, but at what cost?", "url": "https://mort.io/blog/sermonising/", "published_at": "2025-05-15T00:00:00+00:00" }, { "id": "01a087a8-fadb-7262-b5d2-edefa2a41279", "title": "Rusty Nu POSIX", "url": "https://mort.io/blog/nu-posix/", "published_at": "2025-05-07T00:00:00+00:00" }, { "id": "01a087a8-fadb-7262-b5d2-edefa2a69a21", "title": "Coping and Capping", "url": "https://mort.io/blog/coping-and-capping/", "published_at": "2025-04-08T00:00:00+00:00" }, { "id": "01a087a8-fadb-7262-b5d2-edefa2b0c4ec", "title": "Rewarding influence", "url": "https://mort.io/blog/happy-day/", "published_at": "2025-04-05T00:00:00+00:00" }, { "id": "01a087a8-fadb-7262-b5d2-edefa3204214", "title": "Not one but two accepted papers and a Ph.D.", "url": "https://mort.io/blog/tdis-accepted/", "published_at": "2025-03-30T00:00:00+00:00" }, { "id": "01a087a8-fadb-7262-b5d2-edefa3249d3b", "title": "`nmcli` connection to internal WiFi", "url": "https://mort.io/blog/internalcl-wifi/", "published_at": "2025-02-14T00:00:00+00:00" }, { "id": "01a087a8-fadb-7262-b5d2-edefa3be8777", "title": "`just` OCaml", "url": "https://mort.io/blog/just-ocaml/", "published_at": "2025-02-07T00:00:00+00:00" }, { "id": "01a087a8-fadb-7262-b5d2-edefa4659570", "title": "Reverse `find`", "url": "https://mort.io/blog/reverse-find/", "published_at": "2025-02-05T00:00:00+00:00" }, { "id": "01a087a8-fadb-7262-b5d2-edefa4ad7318", "title": "PhD viva, UK style", "url": "https://mort.io/blog/phd-viva/", "published_at": "2025-01-31T00:00:00+00:00" }, { "id": "01a087a8-fadb-7262-b5d2-edefa57b18ce", "title": "Fontsizing in LaTeX", "url": "https://mort.io/blog/fontsizing/", "published_at": "2025-01-24T00:00:00+00:00" }, { "id": "01a087a8-fadb-7262-b5d2-edefa6219365", "title": "`just` LaTeX it!", "url": "https://mort.io/blog/just-latex/", "published_at": "2025-01-18T00:00:00+00:00" }, { "id": "01a087a8-fadb-7262-b5d2-edefa6de9188", "title": "Introducing `bibtox`", "url": "https://mort.io/blog/bibtox/", "published_at": "2025-01-03T00:00:00+00:00" }, { "id": "01a087a8-fadb-7262-b5d2-edefa7b55eb2", "title": "Retreat from TUM", "url": "https://mort.io/blog/tum-retreat/", "published_at": "2024-12-18T00:00:00+00:00" }, { "id": "01a087a8-fadb-7262-b5d2-edefa87278c8", "title": "Workshopping, across the universe", "url": "https://mort.io/blog/workshopping-edgeless/", "published_at": "2024-10-02T00:00:00+00:00" }, { "id": "01a087a8-fadb-7262-b5d2-edefa8f87c43", "title": "Part II Projects", "url": "https://mort.io/blog/part-ii-projects/", "published_at": "2024-09-20T00:00:00+00:00" }, { "id": "01a087a8-fadb-7262-b5d2-edefa9d346fd", "title": "Post-COVID19 TPC experience", "url": "https://mort.io/blog/post-covid-tpc/", "published_at": "2024-09-09T00:00:00+00:00" }, { "id": "01a087a8-fadb-7262-b5d2-edefaacd0a70", "title": "Stop, Start", "url": "https://mort.io/blog/stop-start/", "published_at": "2024-08-30T00:00:00+00:00" }, { "id": "01a087a8-fadb-7262-b5d2-edefaae8962f", "title": "Discovering `restic`", "url": "https://mort.io/blog/restic-discovery/", "published_at": "2024-08-26T00:00:00+00:00" }, { "id": "01a087a8-fadb-7262-b5d2-edefabcd9c06", "title": "Debugging Electron apps", "url": "https://mort.io/blog/electron-cli/", "published_at": "2024-08-14T00:00:00+00:00" }, { "id": "01a087a8-fadb-7262-b5d2-edefac0628dc", "title": "Reinstalling `maestral`", "url": "https://mort.io/blog/reinstall-maestral/", "published_at": "2024-06-28T00:00:00+00:00" }, { "id": "01a087a8-fadb-7262-b5d2-edefac903bb3", "title": "NixOS channels", "url": "https://mort.io/blog/nixos-channels/", "published_at": "2023-12-13T00:00:00+00:00" }, { "id": "01a087a8-fadb-7262-b5d2-edefad728a92", "title": "OneDrive and NixOS", "url": "https://mort.io/blog/nixos-onedrive/", "published_at": "2023-08-22T00:00:00+00:00" }, { "id": "01a087a8-fadb-7262-b5d2-edefae5c43ea", "title": "WSL2 / Windows 11", "url": "https://mort.io/blog/windows-wsl2/", "published_at": "2023-03-13T00:00:00+00:00" }, { "id": "01a087a8-fadb-7262-b5d2-edefaf4d99c4", "title": "OCaml operators", "url": "https://mort.io/blog/ocaml-operators/", "published_at": "2023-02-26T00:00:00+00:00" }, { "id": "01a087a8-fadb-7262-b5d2-edefafcbdd3a", "title": "Software folklore", "url": "https://mort.io/blog/software-folklore/", "published_at": "2023-02-26T00:00:00+00:00" }, { "id": "01a087a8-fadb-7262-b5d2-edefb083d9ca", "title": "Hosting HotCRP", "url": "https://mort.io/blog/setup-hotcrp/", "published_at": "2021-10-17T00:00:00+00:00" }, { "id": "01a087a8-fadb-7262-b5d2-edefb13fac30", "title": "Tarballing some files", "url": "https://mort.io/blog/tar-includes/", "published_at": "2021-08-25T00:00:00+00:00" }, { "id": "01a087a8-fadb-7262-b5d2-edefb17ecc30", "title": "Data visualisation links", "url": "https://mort.io/blog/dataviz/", "published_at": "2020-09-07T00:00:00+00:00" }, { "id": "01a087a8-fadb-7262-b5d2-edefb213bcc7", "title": "Renovating an old media PC", "url": "https://mort.io/blog/mediapc/", "published_at": "2020-08-28T00:00:00+00:00" }, { "id": "01a087a8-fadb-7262-b5d2-edefb2e3cfa2", "title": "Discord discord", "url": "https://mort.io/blog/discord/", "published_at": "2020-08-01T00:00:00+00:00" }, { "id": "01a087a8-fadb-7262-b5d2-edefb335b4ae", "title": "Setting up a Macbook", "url": "https://mort.io/blog/setup-new-laptop/", "published_at": "2020-01-01T00:00:00+00:00" }, { "id": "01a087a8-fadb-7262-b5d2-edefb3c51783", "title": "Falsehoods", "url": "https://mort.io/blog/falsehoods/", "published_at": "2019-01-11T00:00:00+00:00" }, { "id": "01a087a8-fadb-7262-b5d2-edefb4ac7d54", "title": "Wipeout", "url": "https://mort.io/blog/wipeout/", "published_at": "2018-12-17T00:00:00+00:00" }, { "id": "01a087a8-fadb-7262-b5d2-edefb4ad7620", "title": "Back to the Future", "url": "https://mort.io/blog/back-to-the-future/", "published_at": "2017-12-14T00:00:00+00:00" }, { "id": "01a087a8-fadb-7262-b5d2-edefb5738208", "title": "Quelle dommage", "url": "https://mort.io/blog/quelle-dommage/", "published_at": "2017-11-05T00:00:00+00:00" }, { "id": "01a087a8-fadb-7262-b5d2-edefb5b2e9e3", "title": "Spring Loading Karabiner in the Autumn", "url": "https://mort.io/blog/mess-with-my-keyboard/", "published_at": "2017-10-30T00:00:00+00:00" }, { "id": "01a087a8-fadb-7262-b5d2-edefb5eb95cb", "title": "Platforms, Packaging, Progress— Addendum", "url": "https://mort.io/blog/topkg-addendum/", "published_at": "2017-09-01T00:00:00+00:00" }, { "id": "01a087a8-fadb-7262-b5d2-edefb64b32aa", "title": "Platforms, Packaging, Progress", "url": "https://mort.io/blog/past-present-future/", "published_at": "2017-08-28T00:00:00+00:00" }, { "id": "01a087a8-fadb-7262-b5d2-edefb6b53068", "title": "ARMing LinuxKit", "url": "https://mort.io/blog/arming-linuxkit/", "published_at": "2017-06-02T00:00:00+00:00" }, { "id": "01a087a8-fadb-7262-b5d2-edefb718a389", "title": "Docker Docker", "url": "https://mort.io/blog/docker-docker/", "published_at": "2017-05-06T00:00:00+00:00" }, { "id": "01a087a8-fadb-7262-b5d2-edefb7faa9f9", "title": "Lab GitLab", "url": "https://mort.io/blog/lab-gitlab/", "published_at": "2017-04-19T00:00:00+00:00" }, { "id": "01a087a8-fadb-7262-b5d2-edefb8aafe6c", "title": "Google screening", "url": "https://mort.io/blog/google-screening/", "published_at": "2017-01-29T00:00:00+00:00" }, { "id": "01a087a8-fadb-7262-b5d2-edefb92772f2", "title": "Customising Homebrew service", "url": "https://mort.io/blog/brew-plist/", "published_at": "2017-01-04T00:00:00+00:00" }, { "id": "01a087a8-fadb-7262-b5d2-edefba1d44cb", "title": "Building Up Your ARMs", "url": "https://mort.io/blog/building-up-your-arms/", "published_at": "2016-11-16T00:00:00+00:00" }, { "id": "01a087a8-fadb-7262-b5d2-edefbab652d9", "title": "Debugging with jQuery", "url": "https://mort.io/blog/jquery-console/", "published_at": "2016-11-16T00:00:00+00:00" }, { "id": "01a087a8-fadb-7262-b5d2-edefbb8ccb8c", "title": "Zen and the Art of Research Management", "url": "https://mort.io/blog/zen-and-the-art-of-research-management/", "published_at": "2016-11-11T00:00:00+00:00" }, { "id": "01a087a8-fadb-7262-b5d2-edefbbdcf830", "title": "Evolving the Unikernel Revolution", "url": "https://mort.io/blog/unikernel-revolution/", "published_at": "2016-11-10T00:00:00+00:00" }, { "id": "01a087a8-fadb-7262-b5d2-edefbc205d03", "title": "Rat Racing Jetlag", "url": "https://mort.io/blog/jetlag-fasting/", "published_at": "2016-11-04T00:00:00+00:00" }, { "id": "01a087a8-fadb-7262-b5d2-edefbd01772b", "title": "Grubbing Around", "url": "https://mort.io/blog/grubbing-around/", "published_at": "2016-09-13T00:00:00+00:00" }, { "id": "01a087a8-fadb-7262-b5d2-edefbdd91bb6", "title": "Local Knowledge", "url": "https://mort.io/blog/local-knowledge/", "published_at": "2016-03-11T00:00:00+00:00" }, { "id": "01a087a8-fadb-7262-b5d2-edefbe6ea6bb", "title": "Of Mice and Keyboards", "url": "https://mort.io/blog/elcapitan-maps/", "published_at": "2015-11-21T00:00:00+00:00" } ] posts Claim your blog
Back to mort.io
Blog · corpus.blog/blogs/mort.io/posts

mort.io

mort.io

2026

Sabbatical Diary: Week 47original ↗
28 Aug 2026
Hard rebootingoriginal ↗
25 Aug 2026
Sabbatical Diary: Week 46original ↗
21 Aug 2026
Some additional `sway` hotkeysoriginal ↗
17 Aug 2026
Restarting `pulseaudio` when it flatlinesoriginal ↗
15 Aug 2026
Sabbatical Diary: Weeks 39---45original ↗
14 Aug 2026
Sabbatical Diary: Weeks 35---38original ↗
26 Jun 2026
Sabbatical Diary: Weeks 33---34original ↗
31 May 2026
Prompting `bash` with `git` and `jj`original ↗
20 May 2026
Sabbatical Diary: Week 32original ↗
16 May 2026
Sabbatical Diary: Week 31original ↗
10 May 2026
Sabbatical Diary: Week 30original ↗
1 May 2026
Sabbatical Diary: Weeks 28---29original ↗
24 Apr 2026
Sabbatical Diary: Weeks 23---27original ↗
14 Apr 2026
Ignoring changesoriginal ↗
23 Mar 2026
Sabbatical Diary: Weeks 23 & 24original ↗
22 Mar 2026
Following up some remarks concerning Lawful Accessoriginal ↗
9 Mar 2026
Sabbatical Diary: Week 22original ↗
6 Mar 2026
Updating Cambridge VPN configurationoriginal ↗
3 Mar 2026
Sabbatical Diary: Weeks 19---21 / Month 5original ↗
1 Mar 2026
Sabbatical Diary: Week 18original ↗
7 Feb 2026
Sabbatical Diary: Weeks 16/17 / Months 2---4original ↗
30 Jan 2026
Some Remarks on the Risks of Lawful Accessoriginal ↗
22 Jan 2026
Restarting audiooriginal ↗
19 Jan 2026
Sabbatical Diary: Week 15original ↗
17 Jan 2026
Extracting ramblingsoriginal ↗
15 Jan 2026
Pinning packagesoriginal ↗
12 Jan 2026
Sabbatical Diary: Week 14original ↗
9 Jan 2026
Updating `eduroam`original ↗
6 Jan 2026
Sabbatical Diary: Week 13original ↗
4 Jan 2026

2025

Sabbatical Diary: Weeks 11---12 / Month 3original ↗
28 Dec 2025
Re-connecting Wi-Fioriginal ↗
27 Dec 2025
Sabbatical Diary: Week 10original ↗
14 Dec 2025
Displaying Wi-Fi configurationoriginal ↗
9 Dec 2025
Sabbatical Diary: Weeks 6---9 / Month 2original ↗
8 Dec 2025
Sabbatical Diary: Week 5original ↗
7 Nov 2025
Back to my Rootsoriginal ↗
5 Nov 2025
Sabbatical Diary: Week 4 / Month 1original ↗
2 Nov 2025
E(pi)glot-tal startoriginal ↗
29 Oct 2025
Sabbatical Diary: Week 3original ↗
27 Oct 2025
Tree-sitting Emacsoriginal ↗
20 Oct 2025
Sabbatical Diary: Week 2original ↗
18 Oct 2025
Sabbatical Diary: Weeks 0 & 1original ↗
10 Oct 2025
All Change!original ↗
2 Oct 2025
Systematising the obviousoriginal ↗
12 Sept 2025
Orating honoursoriginal ↗
5 Sept 2025
Resizing swap partition on NixOSoriginal ↗
13 Aug 2025
Re-key-remappingoriginal ↗
26 Jul 2025
Whither AI?original ↗
5 Jul 2025
Artificial Intelligence, but at what cost?original ↗
15 May 2025
Rusty Nu POSIXoriginal ↗
7 May 2025
Coping and Cappingoriginal ↗
8 Apr 2025
Rewarding influenceoriginal ↗
5 Apr 2025
Not one but two accepted papers and a Ph.D.original ↗
30 Mar 2025
`nmcli` connection to internal WiFioriginal ↗
14 Feb 2025
`just` OCamloriginal ↗
7 Feb 2025
Reverse `find`original ↗
5 Feb 2025
PhD viva, UK styleoriginal ↗
31 Jan 2025
Fontsizing in LaTeXoriginal ↗
24 Jan 2025
`just` LaTeX it!original ↗
18 Jan 2025
Introducing `bibtox`original ↗
3 Jan 2025

2024

Retreat from TUMoriginal ↗
18 Dec 2024
Workshopping, across the universeoriginal ↗
2 Oct 2024
Part II Projectsoriginal ↗
20 Sept 2024
Post-COVID19 TPC experienceoriginal ↗
9 Sept 2024
Stop, Startoriginal ↗
30 Aug 2024
Discovering `restic`original ↗
26 Aug 2024
Debugging Electron appsoriginal ↗
14 Aug 2024
Reinstalling `maestral`original ↗
28 Jun 2024

2023

NixOS channelsoriginal ↗
13 Dec 2023
OneDrive and NixOSoriginal ↗
22 Aug 2023
WSL2 / Windows 11original ↗
13 Mar 2023
OCaml operatorsoriginal ↗
26 Feb 2023
Software folkloreoriginal ↗
26 Feb 2023

2021

Hosting HotCRPoriginal ↗
17 Oct 2021
Tarballing some filesoriginal ↗
25 Aug 2021

2020

Data visualisation linksoriginal ↗
7 Sept 2020
Renovating an old media PCoriginal ↗
28 Aug 2020
Discord discordoriginal ↗
1 Aug 2020
Setting up a Macbookoriginal ↗
1 Jan 2020

2019

Falsehoodsoriginal ↗
11 Jan 2019

2018

Wipeoutoriginal ↗
17 Dec 2018

2017

Back to the Futureoriginal ↗
14 Dec 2017
Quelle dommageoriginal ↗
5 Nov 2017
Spring Loading Karabiner in the Autumnoriginal ↗
30 Oct 2017
Platforms, Packaging, Progress— Addendumoriginal ↗
1 Sept 2017
Platforms, Packaging, Progressoriginal ↗
28 Aug 2017
ARMing LinuxKitoriginal ↗
2 Jun 2017
Docker Dockeroriginal ↗
6 May 2017
Lab GitLaboriginal ↗
19 Apr 2017
Google screeningoriginal ↗
29 Jan 2017
Customising Homebrew serviceoriginal ↗
4 Jan 2017

2016

Building Up Your ARMsoriginal ↗
16 Nov 2016
Debugging with jQueryoriginal ↗
16 Nov 2016
Zen and the Art of Research Managementoriginal ↗
11 Nov 2016
Evolving the Unikernel Revolutionoriginal ↗
10 Nov 2016
Rat Racing Jetlagoriginal ↗
4 Nov 2016
Grubbing Aroundoriginal ↗
13 Sept 2016
Local Knowledgeoriginal ↗
11 Mar 2016

2015

Of Mice and Keyboardsoriginal ↗
21 Nov 2015
Next