https://blog.ielliott.io/ https://blog.ielliott.io/404 https://blog.ielliott.io/about https://blog.ielliott.io/resources https://blog.ielliott.io/local-hoogle 2026-03-30T00:30+00:00 https://blog.ielliott.io/finishing-bioshock 2026-03-28T00:45+00:00 https://blog.ielliott.io/doing-the-right-thing 2026-03-05T05:30+00:00 https://blog.ielliott.io/2025-project-review 2026-02-07T21:55+00:00 https://blog.ielliott.io/removing-disqus 2025-09-24T00:00+00:00 https://blog.ielliott.io/smalltalk-and-lambda-calculus 2025-09-13T00:00+00:00 https://blog.ielliott.io/haskell-foldable-quiz 2025-08-21T00:00+00:00 https://blog.ielliott.io/paying-for-keepassxc 2025-08-17T04:25+00:00 https://blog.ielliott.io/note/202508160025 2025-08-16T00:25+00:00 https://blog.ielliott.io/reply/202508052146 2025-08-05T21:46+00:00 https://blog.ielliott.io/exploring-graphs-with-prolog 2025-08-02T07:00+00:00 https://blog.ielliott.io/context-menus 2025-07-01T05:25+00:00 https://blog.ielliott.io/playing-with-ghc-package-databases 2025-07-01T04:30+00:00 https://blog.ielliott.io/2024-project-review 2025-02-26T22:45+00:00 https://blog.ielliott.io/my-git-cli-overhaul 2025-02-26T22:45+00:00 https://blog.ielliott.io/in-praise-of-zsa 2025-01-11T00:00+00:00 https://blog.ielliott.io/unfettering-the-imagination 2024-09-22T00:00+00:00 https://blog.ielliott.io/sized-types-and-coinduction-in-safe-agda 2024-09-04T00:00+00:00 https://blog.ielliott.io/per-project-nix-substituters 2024-08-10T00:00+00:00 https://blog.ielliott.io/troubleshooting-lightdms-test-mode 2024-08-03T00:00+00:00 https://blog.ielliott.io/2023-project-review 2024-01-17T09:40+00:00 https://blog.ielliott.io/diablo-1-in-2023 2023-07-14T00:00+00:00 https://blog.ielliott.io/nominal-sets 2023-07-04T06:41+00:00 https://blog.ielliott.io/nominal-sets-proofs 2023-07-04T06:40+00:00 https://blog.ielliott.io/gear-acquisition-syndrome 2023-05-28T06:36+00:00 https://blog.ielliott.io/jekyll-to-hakyll 2023-05-04T00:00+00:00 https://blog.ielliott.io/web-resources-i-enjoy 2023-01-10T00:00+00:00 https://blog.ielliott.io/2022-project-review 2022-12-27T04:25+00:00 https://blog.ielliott.io/rip-dreamincode 2022-07-06T00:00+00:00 https://blog.ielliott.io/webgl-slower-than-canvas 2021-05-20T00:00+00:00 https://blog.ielliott.io/rust-defun-example 2021-02-06T00:00+00:00 https://blog.ielliott.io/docker-cleanup-commands 2020-11-07T00:00+00:00 https://blog.ielliott.io/sized-hkts 2020-07-07T00:00+00:00 https://blog.ielliott.io/lambdas-are-codatatypes 2019-07-01T00:00+00:00 https://blog.ielliott.io/agda-nixos 2019-05-17T23:49+00:00 https://blog.ielliott.io/conditional-probabilities-obnoxious-white-guys 2019-05-05T00:00+00:00 https://blog.ielliott.io/learning-a-craft 2019-02-11T00:00+00:00 https://blog.ielliott.io/writing 2018-12-29T00:00+00:00 https://blog.ielliott.io/on-programming-language-design 2018-11-21T00:00+00:00 https://blog.ielliott.io/topsy-turvy-reverse-state 2018-06-13T00:00+00:00 https://blog.ielliott.io/comonad-transformers-in-the-wild 2018-02-25T00:00+00:00 https://blog.ielliott.io/continuations-from-the-ground-up 2017-06-06T00:00+00:00 https://blog.ielliott.io/how-to-delete-old-nixos-boot-configurations 2017-03-24T00:00+00:00 https://blog.ielliott.io/introduction-to-unification 2017-01-07T00:00+00:00 https://blog.ielliott.io/why-LINQ-is-broken 2016-10-24T00:00+00:00 https://blog.ielliott.io/search-and-replace-in-multiple-files 2015-07-25T00:00+00:00 https://blog.ielliott.io/the-programming-thought-process-fizzbuzz 2015-03-04T00:00+00:00 https://blog.ielliott.io/a-practical-introduction-to-monad-transformers 2015-02-01T00:00+00:00 https://blog.ielliott.io/tags/games https://blog.ielliott.io/tags/haskell https://blog.ielliott.io/tags/mathematics https://blog.ielliott.io/tags/music https://blog.ielliott.io/tags/philosophy https://blog.ielliott.io/tags/programming https://blog.ielliott.io/tags/rationality https://blog.ielliott.io/tags/self-improvement https://blog.ielliott.io/tags/tools