https://borretti.me/ monthly 0.8 https://borretti.me/about/ monthly 0.6 https://borretti.me/portfolio/ monthly 0.7 https://borretti.me/article/ weekly 0.9 https://borretti.me/fiction/ weekly 0.8 https://borretti.me/fiction/julia 2026-02-01T00:00:00+00:00 monthly 1.0 https://borretti.me/article/some-data-should-be-code 2026-01-31T00:00:00+00:00 monthly 1.0 https://borretti.me/article/letting-claude-play-text-adventures 2026-01-12T00:00:00+00:00 monthly 1.0 https://borretti.me/article/there-is-no-new-aesthetics 2026-01-05T00:00:00+00:00 monthly 1.0 https://borretti.me/article/1password-dependency-breaks-syntax-highlighting 2025-12-27T01:00:00+00:00 monthly 1.0 https://borretti.me/article/using-the-brother-ds-640-scanner-on-nixos 2025-12-27T00:00:00+00:00 monthly 1.0 https://borretti.me/article/books-i-enjoyed-in-2025 2025-12-22T00:00:00+00:00 monthly 1.0 https://borretti.me/article/coarse-is-better 2025-12-21T00:00:00+00:00 monthly 1.0 https://borretti.me/article/i-wish-people-were-more-public 2025-12-10T00:00:00+00:00 monthly 1.0 https://borretti.me/article/ad-hoc-emacs-packages-with-nix 2025-11-16T00:00:00+00:00 monthly 1.0 https://borretti.me/article/linux-on-the-fujitsu-lifebook-u729 2025-11-15T00:00:00+00:00 monthly 1.0 https://borretti.me/article/agda-on-nixos 2025-11-14T00:00:00+00:00 monthly 1.0 https://borretti.me/article/hashcards-plain-text-spaced-repetition 2025-10-05T00:00:00+00:00 monthly 1.0 https://borretti.me/article/adding-planets-to-celestia-on-macos 2025-07-29T00:00:00+00:00 monthly 1.0 https://borretti.me/article/notes-on-managing-adhd 2025-06-12T00:00:00+00:00 monthly 1.0 https://borretti.me/article/inboxes-are-underrated 2025-05-24T00:00:00+00:00 monthly 1.0 https://borretti.me/article/you-can-choose-tools-that-make-you-happy 2025-05-20T00:00:00+00:00 monthly 1.0 https://borretti.me/article/two-years-of-rust 2025-04-15T00:00:00+00:00 monthly 1.0 https://borretti.me/article/my-backup-infrastructure-2025-edition 2025-04-13T00:00:00+00:00 monthly 1.0 https://borretti.me/article/we-live-in-a-golden-age-of-interoperability 2025-04-08T00:00:00+00:00 monthly 1.0 https://borretti.me/article/domain-agnostic-and-domain-specific-tools 2025-04-03T00:00:00+00:00 monthly 1.0 https://borretti.me/article/non-fiction-has-bad-incentives 2025-02-03T00:00:00+00:00 monthly 1.0 https://borretti.me/article/composable-sql 2025-01-24T00:00:00+00:00 monthly 1.0 https://borretti.me/article/adding-colour-to-macos-folder-icons 2025-01-17T00:00:00+00:00 monthly 1.0 https://borretti.me/article/implementing-fsrs-in-100-lines 2025-01-10T00:00:00+00:00 monthly 1.0 https://borretti.me/article/how-i-use-claude 2025-01-01T00:00:00+00:00 monthly 1.0 https://borretti.me/article/implementing-sm2-in-rust 2024-12-27T00:00:00+00:00 monthly 1.0 https://borretti.me/article/ephemerality-in-user-interfaces 2024-12-21T00:00:00+00:00 monthly 1.0 https://borretti.me/article/client-freedom 2024-11-24T00:00:00+00:00 monthly 1.0 https://borretti.me/article/the-best-emacs-microfeature 2024-06-05T00:00:00+00:00 monthly 1.0 https://borretti.me/article/the-design-space-of-wikis 2024-06-02T00:00:00+00:00 monthly 1.0 https://borretti.me/article/type-inference-was-a-mistake 2024-03-29T00:00:00+00:00 monthly 1.0 https://borretti.me/article/thoughts-llm-agents 2024-01-05T00:00:00+00:00 monthly 1.0 https://borretti.me/article/you-need-more-constraints 2023-07-30T00:00:00+00:00 monthly 1.0 https://borretti.me/article/type-systems-memory-safety 2023-07-22T00:00:00+00:00 monthly 1.0 https://borretti.me/article/why-checked-exceptions-failed 2023-07-15T00:00:00+00:00 monthly 1.0 https://borretti.me/article/test-against-reality 2023-07-08T00:00:00+00:00 monthly 1.0 https://borretti.me/article/test-autodiscovery-silver-bullet 2023-06-24T00:00:00+00:00 monthly 1.0 https://borretti.me/article/second-class-references 2023-06-12T00:00:00+00:00 monthly 1.0 https://borretti.me/article/depth-first-procrastination 2023-06-09T00:00:00+00:00 monthly 1.0 https://borretti.me/article/why-lisp-syntax-works 2023-06-05T00:00:00+00:00 monthly 1.0 https://borretti.me/article/sketch-post-orm 2023-06-02T00:00:00+00:00 monthly 1.0 https://borretti.me/article/language-pragmatics 2023-05-30T00:00:00+00:00 monthly 1.0 https://borretti.me/article/what-is-a-software-engineer 2023-05-27T00:00:00+00:00 monthly 1.0 https://borretti.me/article/typing-persian-emacs 2023-05-25T00:00:00+00:00 monthly 1.0 https://borretti.me/article/language-tooling-antipatterns 2023-05-14T00:00:00+00:00 monthly 1.0 https://borretti.me/article/return-reasons-not-booleans 2023-05-11T00:00:00+00:00 monthly 1.0 https://borretti.me/article/nixos-for-the-impatient 2023-05-07T00:00:00+00:00 monthly 1.0 https://borretti.me/article/how-capabilities-work-austral 2023-05-05T00:00:00+00:00 monthly 1.0 https://borretti.me/article/two-years-ocaml 2023-04-30T00:00:00+00:00 monthly 1.0 https://borretti.me/article/dependency-resolution-made-simple 2023-04-23T00:00:00+00:00 monthly 1.0 https://borretti.me/article/my-experience-bupropion 2023-04-18T00:00:00+00:00 monthly 1.0 https://borretti.me/article/best-of-orions-arm 2023-04-16T00:00:00+00:00 monthly 1.0 https://borretti.me/article/effective-spaced-repetition 2023-04-10T00:00:00+00:00 monthly 1.0 https://borretti.me/article/spaced-repetition-checkpointing-learning 2023-04-06T00:00:00+00:00 monthly 1.0 https://borretti.me/article/design-austral-compiler 2023-03-09T00:00:00+00:00 monthly 1.0 https://borretti.me/article/gallery-of-sand 2023-03-05T00:00:00+00:00 monthly 1.0 https://borretti.me/article/and-yet-it-understands 2023-02-22T00:00:00+00:00 monthly 1.0 https://borretti.me/article/building-diy-clozemaster 2023-02-19T00:00:00+00:00 monthly 1.0 https://borretti.me/article/shells-are-two-things 2023-02-01T00:00:00+00:00 monthly 1.0 https://borretti.me/article/how-australs-linear-type-checker-works 2023-01-29T00:00:00+00:00 monthly 1.0 https://borretti.me/article/better-xml-editing-for-emacs 2023-01-13T00:00:00+00:00 monthly 1.0 https://borretti.me/article/brief-defense-of-xml 2023-01-06T00:00:00+00:00 monthly 1.0 https://borretti.me/article/roam-twenty-years-before-roam 2023-01-03T00:00:00+00:00 monthly 1.0 https://borretti.me/article/introducing-austral 2022-12-28T00:00:00+00:00 monthly 1.0 https://borretti.me/article/unbundling-tools-for-thought 2022-12-26T00:00:00+00:00 monthly 1.0 https://borretti.me/article/astronomical-calculations-for-hard-sf-common-lisp 2022-12-19T00:00:00+00:00 monthly 1.0 https://borretti.me/article/youre-not-going-anywhere 2022-11-20T00:00:00+00:00 monthly 1.0 https://borretti.me/fiction/eog581/without-organs 2022-11-15T00:00:00+00:00 monthly 1.0 https://borretti.me/fiction/eog581/wepwawet 2022-11-15T00:00:00+00:00 monthly 1.0 https://borretti.me/fiction/eog581/the-lunar-surface 2022-11-15T00:00:00+00:00 monthly 1.0 https://borretti.me/fiction/eog581/the-cartesian-theatre 2022-11-15T00:00:00+00:00 monthly 1.0 https://borretti.me/fiction/eog581/the-book-of-days 2022-11-15T00:00:00+00:00 monthly 1.0 https://borretti.me/fiction/eog581/ring-zero 2022-11-15T00:00:00+00:00 monthly 1.0 https://borretti.me/fiction/eog581/objects-in-space 2022-11-15T00:00:00+00:00 monthly 1.0 https://borretti.me/fiction/eog581/la-sienza-nuova 2022-11-15T00:00:00+00:00 monthly 1.0 https://borretti.me/fiction/eog581/colophon 2022-11-15T00:00:00+00:00 monthly 1.0 https://borretti.me/fiction/eog581 2022-11-15T00:00:00+00:00 monthly 1.0 https://borretti.me/article/simplicity-and-survival 2022-09-02T00:00:00+00:00 monthly 1.0 https://borretti.me/article/first-impressions-mochi 2022-08-17T00:00:00+00:00 monthly 1.0 https://borretti.me/article/lessons-writing-compiler 2022-07-05T00:00:00+00:00 monthly 1.0 https://borretti.me/article/signed-integers-asymmetrical 2021-10-11T00:00:00+00:00 monthly 1.0 https://borretti.me/article/ocaml-read-file-windows 2021-09-12T00:00:00+00:00 monthly 1.0 https://borretti.me/article/languages-not-ecosystems 2021-09-02T00:00:00+00:00 monthly 1.0 https://borretti.me/article/parsing-menhir-forth 2021-08-26T00:00:00+00:00 monthly 1.0 https://borretti.me/article/parsing-menhir 2021-08-25T00:00:00+00:00 monthly 1.0 https://borretti.me/fiction/iron-lung 2021-08-13T00:00:00+00:00 monthly 1.0 https://borretti.me/fiction/maker-of-rivers 2021-08-08T00:00:00+00:00 monthly 1.0 https://borretti.me/article/linear-types-exceptions 2021-08-07T00:00:00+00:00 monthly 1.0 https://borretti.me/article/compiling-llvm-ir-binary 2019-11-10T00:00:00+00:00 monthly 1.0 https://borretti.me/article/forth-and-complexity 2019-11-07T00:00:00+00:00 monthly 1.0 https://borretti.me/article/uselessness-accept-language-header 2019-11-06T00:00:00+00:00 monthly 1.0 https://borretti.me/article/linear-types-safety 2019-01-06T00:00:00+00:00 monthly 1.0 https://borretti.me/article/biblio-2018 2018-12-28T00:00:00+00:00 monthly 1.0 https://borretti.me/article/freebsd-zfs-x11-laptop 2018-08-24T00:00:00+00:00 monthly 1.0 https://borretti.me/article/duplicity-gpg-backups 2018-08-17T00:00:00+00:00 monthly 1.0 https://borretti.me/article/case-study-propositional-logic 2018-05-13T00:00:00+00:00 monthly 1.0 https://borretti.me/article/mlton-ffi-tutorial 2018-04-05T00:00:00+00:00 monthly 1.0 https://borretti.me/article/feb-2018-updates 2018-02-28T00:00:00+00:00 monthly 1.0 https://borretti.me/article/library-database-perspective 2018-02-22T00:00:00+00:00 monthly 1.0 https://borretti.me/article/twelve-islanders 2018-02-10T00:00:00+00:00 monthly 1.0 https://borretti.me/article/inheritance-disjunctions 2017-12-16T00:00:00+00:00 monthly 1.0 https://borretti.me/article/wishlist-zero-cost-abstractions 2017-03-05T00:00:00+00:00 monthly 1.0 https://borretti.me/article/lmdb-from-common-lisp 2016-04-07T00:00:00+00:00 monthly 1.0 https://borretti.me/article/common-lisp-sotu-2015 2015-08-25T00:00:00+00:00 monthly 1.0 https://borretti.me/article/lisp-travis-coveralls 2015-06-07T00:00:00+00:00 monthly 1.0