<?xml version="1.0" encoding="utf-8" standalone="yes"?><urlset xmlns="http://www.sitemaps.org/schemas/sitemap/0.9" xmlns:xhtml="http://www.w3.org/1999/xhtml"><url><loc>/</loc><lastmod>2025-12-10T00:00:00+00:00</lastmod></url><url><loc>/blog/2025-12-10-ai-talks/</loc><lastmod>2025-12-10T00:00:00+00:00</lastmod></url><url><loc>/blog/2023-05-06-graphql-sqlite/</loc><lastmod>2023-05-06T13:20:31+02:00</lastmod></url><url><loc>/blog/2023-03-31-awk-chatgpt/</loc><lastmod>2023-03-31T16:12:00+02:00</lastmod></url><url><loc>/posts/2022-06-29-hypermedia-driven-micro-frontends/</loc><lastmod>2022-06-29T00:00:00+00:00</lastmod></url><url><loc>/posts/2022-01-28-low-js/</loc><lastmod>2022-01-28T00:00:00+00:00</lastmod></url><url><loc>/posts/2022-01-18-tailwind-vs-pico/</loc><lastmod>2022-01-18T00:00:00+00:00</lastmod></url><url><loc>/posts/2021-12-29-speed-is-a-feature/</loc><lastmod>2021-12-29T00:00:00+00:00</lastmod></url><url><loc>/tags/</loc><lastmod>2021-12-19T00:00:00+00:00</lastmod></url><url><loc>/posts/2021-12-19-trying-out-remix/</loc><lastmod>2021-12-19T00:00:00+00:00</lastmod></url><url><loc>/tags/trying-out/</loc><lastmod>2021-12-19T00:00:00+00:00</lastmod></url><url><loc>/posts/2021-09-12-podman-m1-amd64/</loc><lastmod>2021-09-12T00:00:00+00:00</lastmod></url><url><loc>/posts/2021-06-27-trying-out-prometheus/</loc><lastmod>2021-06-27T00:00:00+00:00</lastmod></url><url><loc>/posts/2021-04-15-trying-microk8s/</loc><lastmod>2021-04-15T00:00:00+00:00</lastmod></url><url><loc>/posts/2021-04-14-trying-out-rancher/</loc><lastmod>2021-04-14T00:00:00+00:00</lastmod></url><url><loc>/posts/2021-02-27-trying-out-okteto-cloud/</loc><lastmod>2021-02-27T00:00:00+00:00</lastmod></url><url><loc>/posts/2021-02-22-trying-out-okteto-cli/</loc><lastmod>2021-02-22T00:00:00+00:00</lastmod></url><url><loc>/posts/2021-02-07-trying-out-buffalo/</loc><lastmod>2021-02-07T00:00:00+00:00</lastmod></url><url><loc>/posts/2020-10-17-attach-to-k8s/</loc><lastmod>2020-10-17T00:00:00+00:00</lastmod></url><url><loc>/posts/2020-06-07-linux-gaming/</loc><lastmod>2020-06-07T00:00:00+00:00</lastmod></url><url><loc>/posts/2020-04-20-rebase-rename/</loc><lastmod>2020-04-20T00:00:00+00:00</lastmod></url><url><loc>/posts/2020-01-15-hugo/</loc><lastmod>2020-01-15T00:00:00+00:00</lastmod></url><url><loc>/posts/2018-05-25-linear-time-sorting/</loc><lastmod>2018-05-25T00:00:00+00:00</lastmod></url><url><loc>/posts/2018-01-25-jira-gsheet/</loc><lastmod>2018-01-25T00:00:00+00:00</lastmod></url><url><loc>/posts/2018-01-24-nixos-install-pains/</loc><lastmod>2018-01-24T00:00:00+00:00</lastmod></url><url><loc>/posts/2017-09-01-scala-tuple-apply/</loc><lastmod>2017-09-01T00:00:00+00:00</lastmod></url><url><loc>/posts/2017-08-30-dockerless-services/</loc><lastmod>2017-08-30T00:00:00+00:00</lastmod></url><url><loc>/posts/2016-09-21-toy-sized-tdd/</loc><lastmod>2016-09-21T00:00:00+00:00</lastmod></url><url><loc>/posts/2016-02-24-git-repair/</loc><lastmod>2016-02-24T00:00:00+00:00</lastmod></url><url><loc>/posts/2015-05-03-unary-numbers/</loc><lastmod>2015-05-03T00:00:00+00:00</lastmod></url><url><loc>/posts/2015-05-02-tagged-types/</loc><lastmod>2015-05-02T00:00:00+00:00</lastmod></url><url><loc>/posts/2014-10-05-haskell-apis/</loc><lastmod>2014-10-05T00:00:00+00:00</lastmod></url><url><loc>/posts/2014-05-03-ghc-arch-static/</loc><lastmod>2014-05-03T00:00:00+00:00</lastmod></url><url><loc>/posts/2014-04-14-free-coroutines/</loc><lastmod>2014-04-14T00:00:00+00:00</lastmod></url><url><loc>/posts/2014-03-07-practical-future-option/</loc><lastmod>2014-03-07T00:00:00+00:00</lastmod></url><url><loc>/posts/2014-02-23-haskell-web/</loc><lastmod>2014-02-23T00:00:00+00:00</lastmod></url><url><loc>/posts/2014-02-17-product-and-sum-types/</loc><lastmod>2014-02-17T00:00:00+00:00</lastmod></url><url><loc>/posts/2014-01-08-hakyll/</loc><lastmod>2014-01-08T00:00:00+00:00</lastmod></url><url><loc>/posts/2013-10-18-virtual-machine-cpp/</loc><lastmod>2013-10-18T00:00:00+00:00</lastmod></url><url><loc>/posts/2013-09-04-better-scala-android/</loc><lastmod>2013-09-04T00:00:00+00:00</lastmod></url><url><loc>/posts/2013-01-27-750-words/</loc><lastmod>2013-01-27T00:00:00+00:00</lastmod></url><url><loc>/posts/2013-01-27-chaining-implicits/</loc><lastmod>2013-01-27T00:00:00+00:00</lastmod></url><url><loc>/posts/2013-01-27-generic-singletons/</loc><lastmod>2013-01-27T00:00:00+00:00</lastmod></url><url><loc>/posts/2013-01-27-monadic-io/</loc><lastmod>2013-01-27T00:00:00+00:00</lastmod></url><url><loc>/posts/2013-01-27-null-coalescing/</loc><lastmod>2013-01-27T00:00:00+00:00</lastmod></url><url><loc>/posts/2013-01-27-union-types/</loc><lastmod>2013-01-27T00:00:00+00:00</lastmod></url><url><loc>/posts/2012-12-10-dynamic-db/</loc><lastmod>2012-12-10T00:00:00+00:00</lastmod></url><url><loc>/posts/2012-12-04-hw-functional/</loc><lastmod>2012-12-04T00:00:00+00:00</lastmod></url><url><loc>/posts/2012-11-26-functional-compilers/</loc><lastmod>2012-11-26T00:00:00+00:00</lastmod></url><url><loc>/posts/2012-11-23-nomadic-programming/</loc><lastmod>2012-11-23T00:00:00+00:00</lastmod></url><url><loc>/posts/2012-11-19-cerc/</loc><lastmod>2012-11-19T00:00:00+00:00</lastmod></url><url><loc>/posts/2012-11-17-y-u-no-linux/</loc><lastmod>2012-11-17T00:00:00+00:00</lastmod></url><url><loc>/posts/2012-11-12-scala-macros/</loc><lastmod>2012-11-12T00:00:00+00:00</lastmod></url><url><loc>/posts/2012-11-05-hindley-milner/</loc><lastmod>2012-11-05T00:00:00+00:00</lastmod></url><url><loc>/posts/2012-11-02-web-framework/</loc><lastmod>2012-11-02T00:00:00+00:00</lastmod></url><url><loc>/posts/2012-10-29-hlist-shapeless/</loc><lastmod>2012-10-29T00:00:00+00:00</lastmod></url><url><loc>/posts/2012-10-29-design-patterns-bullshit/</loc><lastmod>2012-10-29T00:00:00+00:00</lastmod></url><url><loc>/posts/2012-10-22-scala-android/</loc><lastmod>2012-10-22T00:00:00+00:00</lastmod></url><url><loc>/posts/2012-10-21-javascript-ftl/</loc><lastmod>2012-10-21T00:00:00+00:00</lastmod></url><url><loc>/posts/2012-10-08-creating-a-language-7b/</loc><lastmod>2012-10-08T00:00:00+00:00</lastmod></url><url><loc>/posts/2012-09-29-creating-a-language-8/</loc><lastmod>2012-09-29T00:00:00+00:00</lastmod></url><url><loc>/posts/2012-09-27-creating-a-language-7a/</loc><lastmod>2012-09-27T00:00:00+00:00</lastmod></url><url><loc>/posts/2012-09-25-creating-a-language-6/</loc><lastmod>2012-09-25T00:00:00+00:00</lastmod></url><url><loc>/posts/2012-09-21-power-sets/</loc><lastmod>2012-09-21T00:00:00+00:00</lastmod></url><url><loc>/posts/2012-09-17-composition/</loc><lastmod>2012-09-17T00:00:00+00:00</lastmod></url><url><loc>/posts/2012-09-02-creating-a-language-5/</loc><lastmod>2012-09-02T00:00:00+00:00</lastmod></url><url><loc>/posts/2012-09-01-creating-a-language4/</loc><lastmod>2012-09-01T00:00:00+00:00</lastmod></url><url><loc>/posts/2012-08-31-creating-a-language3/</loc><lastmod>2012-08-31T00:00:00+00:00</lastmod></url><url><loc>/posts/2012-08-30-creating-a-language-2/</loc><lastmod>2012-08-30T00:00:00+00:00</lastmod></url><url><loc>/posts/2012-08-29-creating-a-language-1/</loc><lastmod>2012-08-29T00:00:00+00:00</lastmod></url><url><loc>/about/</loc></url><url><loc>/categories/</loc></url></urlset>