https://mort.io/ https://mort.io/blog/ https://mort.io/blog/21st-century-ide/ 2013-10-13 https://mort.io/blog/all-change/ 2025-10-02 https://mort.io/blog/arming-linuxkit/ 2017-06-02 https://mort.io/blog/back-to-my-roots/ 2025-11-05 https://mort.io/blog/back-to-the-future/ 2017-12-14 https://mort.io/blog/begin-again/ 2015-01-15 https://mort.io/blog/being-followed-postscript/ 2015-03-16 https://mort.io/blog/bibtox/ 2025-01-03 https://mort.io/blog/bigtechday-mirage/ 2015-06-24 https://mort.io/blog/brew-plist/ 2017-01-04 https://mort.io/blog/building-up-your-arms/ 2016-11-16 https://mort.io/blog/cambridge-vpn/ 2026-03-03 https://mort.io/blog/coping-and-capping/ 2025-04-08 https://mort.io/blog/cosi-followup/ 2026-03-09 https://mort.io/blog/cosi-lawful-access/ 2026-01-22 https://mort.io/blog/dataviz/ 2020-09-07 https://mort.io/blog/discord/ 2020-08-01 https://mort.io/blog/docker-docker/ 2017-05-06 https://mort.io/blog/ecscw-and-aarhus/ 2015-06-17 https://mort.io/blog/eduroam-update/ 2026-01-06 https://mort.io/blog/elcapitan-maps/ 2015-11-21 https://mort.io/blog/electron-cli/ 2024-08-14 https://mort.io/blog/emacs-eglot/ 2025-10-29 https://mort.io/blog/extracting-rambling/ 2026-01-15 https://mort.io/blog/falsehoods/ 2019-01-11 https://mort.io/blog/fontsizing/ 2025-01-24 https://mort.io/blog/google-screening/ 2017-01-29 https://mort.io/blog/grubbing-around/ 2016-09-13 https://mort.io/blog/happy-day/ 2025-04-05 https://mort.io/blog/hdi-seminar/ 2015-04-08 https://mort.io/blog/ignoring-changes/ 2026-03-23 https://mort.io/blog/inconstant-ruby/ 2015-04-09 https://mort.io/blog/internalcl-wifi/ 2025-02-14 https://mort.io/blog/jetlag-fasting/ 2016-11-04 https://mort.io/blog/jquery-console/ 2016-11-16 https://mort.io/blog/just-latex/ 2025-01-18 https://mort.io/blog/just-ocaml/ 2025-02-07 https://mort.io/blog/keymapping-reprise/ 2025-07-26 https://mort.io/blog/lab-gitlab/ 2017-04-19 https://mort.io/blog/local-knowledge/ 2016-03-11 https://mort.io/blog/looping-the-loop/ 2015-02-17 https://mort.io/blog/mediapc/ 2020-08-28 https://mort.io/blog/mess-with-my-keyboard/ 2017-10-30 https://mort.io/blog/moving-onto-mirage/ 2015-05-20 https://mort.io/blog/nexus-4-rescue/ 2015-05-21 https://mort.io/blog/nixos-channels/ 2023-12-13 https://mort.io/blog/nixos-onedrive/ 2023-08-22 https://mort.io/blog/nu-posix/ 2025-05-07 https://mort.io/blog/ocaml-operators/ 2023-02-26 https://mort.io/blog/orating-honors/ 2025-09-05 https://mort.io/blog/part-ii-projects/ 2024-09-20 https://mort.io/blog/past-present-future/ 2017-08-28 https://mort.io/blog/phd-viva/ 2025-01-31 https://mort.io/blog/pinning-pkgs/ 2026-01-12 https://mort.io/blog/post-covid-tpc/ 2024-09-09 https://mort.io/blog/quelle-dommage/ 2017-11-05 https://mort.io/blog/re-connecting/ 2025-12-27 https://mort.io/blog/reinstall-maestral/ 2024-06-28 https://mort.io/blog/research-matrix/ 2025-09-12 https://mort.io/blog/resize-swap/ 2025-08-13 https://mort.io/blog/restarting-audio/ 2026-01-19 https://mort.io/blog/restic-discovery/ 2024-08-26 https://mort.io/blog/reverse-find/ 2025-02-05 https://mort.io/blog/sabbatical-diary-w1/ 2025-10-10 https://mort.io/blog/sabbatical-diary-w10/ 2025-12-14 https://mort.io/blog/sabbatical-diary-w11-12/ 2025-12-28 https://mort.io/blog/sabbatical-diary-w13/ 2026-01-04 https://mort.io/blog/sabbatical-diary-w14/ 2026-01-09 https://mort.io/blog/sabbatical-diary-w15/ 2026-01-17 https://mort.io/blog/sabbatical-diary-w16-17/ 2026-01-30 https://mort.io/blog/sabbatical-diary-w18/ 2026-02-07 https://mort.io/blog/sabbatical-diary-w19-21/ 2026-03-01 https://mort.io/blog/sabbatical-diary-w2/ 2025-10-18 https://mort.io/blog/sabbatical-diary-w22/ 2026-03-06 https://mort.io/blog/sabbatical-diary-w23-24/ 2026-03-22 https://mort.io/blog/sabbatical-diary-w3/ 2025-10-27 https://mort.io/blog/sabbatical-diary-w4/ 2025-11-02 https://mort.io/blog/sabbatical-diary-w5/ 2025-11-07 https://mort.io/blog/sabbatical-diary-w6-9/ 2025-12-08 https://mort.io/blog/sermonising/ 2025-05-15 https://mort.io/blog/setup-hotcrp/ 2021-10-17 https://mort.io/blog/setup-new-laptop/ 2020-01-01 https://mort.io/blog/software-folklore/ 2023-02-26 https://mort.io/blog/someones-following-me/ 2015-03-02 https://mort.io/blog/stop-start/ 2024-08-30 https://mort.io/blog/talks-old-and-new/ 2015-02-14 https://mort.io/blog/tar-includes/ 2021-08-25 https://mort.io/blog/tdis-accepted/ 2025-03-30 https://mort.io/blog/topkg-addendum/ 2017-09-01 https://mort.io/blog/treesitting-emacs/ 2025-10-20 https://mort.io/blog/tum-retreat/ 2024-12-18 https://mort.io/blog/unikernel-revolution/ 2016-11-10 https://mort.io/blog/whither-ai/ 2025-07-05 https://mort.io/blog/wifi-password/ 2025-12-09 https://mort.io/blog/windows-wsl2/ 2023-03-13 https://mort.io/blog/wipeout/ 2018-12-17 https://mort.io/blog/workshopping-edgeless/ 2024-10-02 https://mort.io/blog/zen-and-the-art-of-research-management/ 2016-11-11 https://mort.io/codes/ https://mort.io/me/ https://mort.io/register/ https://mort.io/research/ https://mort.io/students/ https://mort.io/tags/ https://mort.io/tags/academic/ https://mort.io/tags/android/ https://mort.io/tags/arm64/ https://mort.io/tags/books/ https://mort.io/tags/cambridge/ https://mort.io/tags/code/ https://mort.io/tags/config/ https://mort.io/tags/databox/ https://mort.io/tags/dev/ https://mort.io/tags/docker/ https://mort.io/tags/dotfiles/ https://mort.io/tags/emacs/ https://mort.io/tags/grub/ https://mort.io/tags/hdi/ https://mort.io/tags/interview/ https://mort.io/tags/job/ https://mort.io/tags/linux/ https://mort.io/tags/linuxkit/ https://mort.io/tags/macos/ https://mort.io/tags/management/ https://mort.io/tags/mirage/ https://mort.io/tags/nixos/ https://mort.io/tags/nottingham/ https://mort.io/tags/ocal/ https://mort.io/tags/ocaml/ https://mort.io/tags/old/ https://mort.io/tags/opam/ https://mort.io/tags/phd/ https://mort.io/tags/policy/ https://mort.io/tags/publishing/ https://mort.io/tags/pubs/ https://mort.io/tags/random/ https://mort.io/tags/rescue/ https://mort.io/tags/research/ https://mort.io/tags/reviewing/ https://mort.io/tags/sabbatical/ https://mort.io/tags/sway/ https://mort.io/tags/teaching/ https://mort.io/tags/tech/ https://mort.io/tags/tolkien/ https://mort.io/tags/travel/ https://mort.io/tags/unikernels/ https://mort.io/tags/wsl2/ https://mort.io/teaching/