<?xml version="1.0" encoding="UTF-8"?>
<urlset xmlns="http://www.sitemaps.org/schemas/sitemap/0.9">
  <url>
    <loc>https://www.saattrupdan.com/</loc>
    <lastmod>2026-05-22</lastmod>
    <priority>1.0</priority>
  </url>
  <url>
    <loc>https://www.saattrupdan.com/posts</loc>
    <lastmod>2026-05-22</lastmod>
    <priority>0.8</priority>
  </url>
  <url>
    <loc>https://www.saattrupdan.com/papers</loc>
    <lastmod>2026-05-22</lastmod>
    <priority>0.8</priority>
  </url>
  <url>
    <loc>https://www.saattrupdan.com/projects</loc>
    <lastmod>2026-05-22</lastmod>
    <priority>0.8</priority>
  </url>
  <url>
    <loc>https://www.saattrupdan.com/talks</loc>
    <lastmod>2026-05-22</lastmod>
    <priority>0.8</priority>
  </url>
  <url>
    <loc>https://www.saattrupdan.com/posts/2026-03-08-local-ai-coding-assistant-in-nvim-v2</loc>
    <lastmod>2026-03-08</lastmod>
    <priority>0.6</priority>
  </url>
  <url>
    <loc>https://www.saattrupdan.com/posts/2026-01-18-local-ai-coding-assistant-in-nvim</loc>
    <lastmod>2026-01-18</lastmod>
    <priority>0.6</priority>
  </url>
  <url>
    <loc>https://www.saattrupdan.com/posts/2025-05-04-buying-a-home-in-denmark</loc>
    <lastmod>2025-05-04</lastmod>
    <priority>0.6</priority>
  </url>
  <url>
    <loc>https://www.saattrupdan.com/posts/2024-06-13-gpt-4-performance</loc>
    <lastmod>2024-06-13</lastmod>
    <priority>0.6</priority>
  </url>
  <url>
    <loc>https://www.saattrupdan.com/posts/2023-10-21-making-a-voice-bot</loc>
    <lastmod>2023-10-21</lastmod>
    <priority>0.6</priority>
  </url>
  <url>
    <loc>https://www.saattrupdan.com/posts/2023-09-28-dark-mode-in-vuejs</loc>
    <lastmod>2023-09-28</lastmod>
    <priority>0.6</priority>
  </url>
  <url>
    <loc>https://www.saattrupdan.com/posts/2023-04-16-open-source-chatgpt-alternatives</loc>
    <lastmod>2023-04-16</lastmod>
    <priority>0.6</priority>
  </url>
  <url>
    <loc>https://www.saattrupdan.com/posts/2023-04-03-crash-course-in-vue</loc>
    <lastmod>2023-04-03</lastmod>
    <priority>0.6</priority>
  </url>
  <url>
    <loc>https://www.saattrupdan.com/posts/2022-11-19-monitoring-with-uncertainty</loc>
    <lastmod>2022-11-19</lastmod>
    <priority>0.6</priority>
  </url>
  <url>
    <loc>https://www.saattrupdan.com/posts/2022-08-28-makefu</loc>
    <lastmod>2022-08-28</lastmod>
    <priority>0.6</priority>
  </url>
  <url>
    <loc>https://www.saattrupdan.com/posts/2022-07-19-int</loc>
    <lastmod>2022-07-19</lastmod>
    <priority>0.6</priority>
  </url>
  <url>
    <loc>https://www.saattrupdan.com/posts/2021-05-30-graph-convolutional-neural-networks</loc>
    <lastmod>2021-05-30</lastmod>
    <priority>0.6</priority>
  </url>
  <url>
    <loc>https://www.saattrupdan.com/posts/2021-04-04-doubt</loc>
    <lastmod>2021-04-04</lastmod>
    <priority>0.6</priority>
  </url>
  <url>
    <loc>https://www.saattrupdan.com/posts/2020-08-24-deepwalk</loc>
    <lastmod>2020-08-24</lastmod>
    <priority>0.6</priority>
  </url>
  <url>
    <loc>https://www.saattrupdan.com/posts/2020-08-07-pagerank</loc>
    <lastmod>2020-08-07</lastmod>
    <priority>0.6</priority>
  </url>
  <url>
    <loc>https://www.saattrupdan.com/posts/2020-04-05-quantile-regression-forests</loc>
    <lastmod>2020-04-05</lastmod>
    <priority>0.6</priority>
  </url>
  <url>
    <loc>https://www.saattrupdan.com/posts/2020-03-09-quantile-regression</loc>
    <lastmod>2020-03-09</lastmod>
    <priority>0.6</priority>
  </url>
  <url>
    <loc>https://www.saattrupdan.com/posts/2020-03-01-bootstrap-prediction</loc>
    <lastmod>2020-03-01</lastmod>
    <priority>0.6</priority>
  </url>
  <url>
    <loc>https://www.saattrupdan.com/posts/2020-02-26-parametric-prediction</loc>
    <lastmod>2020-02-26</lastmod>
    <priority>0.6</priority>
  </url>
  <url>
    <loc>https://www.saattrupdan.com/posts/2020-02-20-confidence</loc>
    <lastmod>2020-02-20</lastmod>
    <priority>0.6</priority>
  </url>
  <url>
    <loc>https://www.saattrupdan.com/posts/2020-01-21-scholarly</loc>
    <lastmod>2020-01-21</lastmod>
    <priority>0.6</priority>
  </url>
  <url>
    <loc>https://www.saattrupdan.com/posts/2019-11-11-syllables</loc>
    <lastmod>2019-11-11</lastmod>
    <priority>0.6</priority>
  </url>
  <url>
    <loc>https://www.saattrupdan.com/posts/2019-10-27-squared-error-and-cross-entropy</loc>
    <lastmod>2019-10-27</lastmod>
    <priority>0.6</priority>
  </url>
  <url>
    <loc>https://www.saattrupdan.com/posts/2019-09-07-naturalselection</loc>
    <lastmod>2019-09-07</lastmod>
    <priority>0.6</priority>
  </url>
  <url>
    <loc>https://www.saattrupdan.com/posts/2019-06-12-singular-value-decomposition</loc>
    <lastmod>2019-06-12</lastmod>
    <priority>0.6</priority>
  </url>
  <url>
    <loc>https://www.saattrupdan.com/posts/2019-06-05-normal</loc>
    <lastmod>2019-06-05</lastmod>
    <priority>0.6</priority>
  </url>
  <url>
    <loc>https://www.saattrupdan.com/posts/2019-05-28-geometric-exponential</loc>
    <lastmod>2019-05-28</lastmod>
    <priority>0.6</priority>
  </url>
  <url>
    <loc>https://www.saattrupdan.com/posts/2019-05-22-uniform</loc>
    <lastmod>2019-05-22</lastmod>
    <priority>0.6</priority>
  </url>
  <url>
    <loc>https://www.saattrupdan.com/posts/2019-05-15-poisson</loc>
    <lastmod>2019-05-15</lastmod>
    <priority>0.6</priority>
  </url>
  <url>
    <loc>https://www.saattrupdan.com/posts/2019-03-31-core-model-induction-the-pointclass-perspective</loc>
    <lastmod>2019-03-31</lastmod>
    <priority>0.6</priority>
  </url>
  <url>
    <loc>https://www.saattrupdan.com/posts/2019-02-27-characterisation-of-woodins-in-mice</loc>
    <lastmod>2019-02-27</lastmod>
    <priority>0.6</priority>
  </url>
  <url>
    <loc>https://www.saattrupdan.com/posts/2019-01-30-concrete-and-abstract</loc>
    <lastmod>2019-01-30</lastmod>
    <priority>0.6</priority>
  </url>
  <url>
    <loc>https://www.saattrupdan.com/posts/2019-01-08-shoenfield-absoluteness-and-choice</loc>
    <lastmod>2019-01-08</lastmod>
    <priority>0.6</priority>
  </url>
  <url>
    <loc>https://www.saattrupdan.com/posts/2018-12-22-separating-atoms</loc>
    <lastmod>2018-12-22</lastmod>
    <priority>0.6</priority>
  </url>
  <url>
    <loc>https://www.saattrupdan.com/posts/2018-12-10-closure-distributivity-and-choice</loc>
    <lastmod>2018-12-10</lastmod>
    <priority>0.6</priority>
  </url>
  <url>
    <loc>https://www.saattrupdan.com/posts/2018-11-26-applied-core-model-theory-iii</loc>
    <lastmod>2018-11-26</lastmod>
    <priority>0.6</priority>
  </url>
  <url>
    <loc>https://www.saattrupdan.com/posts/2018-11-13-applied-core-model-theory-ii</loc>
    <lastmod>2018-11-13</lastmod>
    <priority>0.6</priority>
  </url>
  <url>
    <loc>https://www.saattrupdan.com/posts/2018-10-22-applied-core-model-theory-i</loc>
    <lastmod>2018-10-22</lastmod>
    <priority>0.6</priority>
  </url>
  <url>
    <loc>https://www.saattrupdan.com/posts/2018-10-03-antichains-and-closure-properties</loc>
    <lastmod>2018-10-03</lastmod>
    <priority>0.6</priority>
  </url>
  <url>
    <loc>https://www.saattrupdan.com/posts/2018-09-20-a-categorical-approach-to-forcing</loc>
    <lastmod>2018-09-20</lastmod>
    <priority>0.6</priority>
  </url>
  <url>
    <loc>https://www.saattrupdan.com/posts/2018-08-30-a-universe-of-hierarchies</loc>
    <lastmod>2018-08-30</lastmod>
    <priority>0.6</priority>
  </url>
  <url>
    <loc>https://www.saattrupdan.com/posts/2018-08-16-distribution</loc>
    <lastmod>2018-08-16</lastmod>
    <priority>0.6</priority>
  </url>
  <url>
    <loc>https://www.saattrupdan.com/posts/2018-08-02-mice-and-long-games</loc>
    <lastmod>2018-08-02</lastmod>
    <priority>0.6</priority>
  </url>
  <url>
    <loc>https://www.saattrupdan.com/posts/2018-06-28-a-travel-guide-to-the-large-cardinals</loc>
    <lastmod>2018-06-28</lastmod>
    <priority>0.6</priority>
  </url>
  <url>
    <loc>https://www.saattrupdan.com/posts/2018-05-24-encode-decode</loc>
    <lastmod>2018-05-24</lastmod>
    <priority>0.6</priority>
  </url>
  <url>
    <loc>https://www.saattrupdan.com/posts/2018-05-10-core-model-induction-101</loc>
    <lastmod>2018-05-10</lastmod>
    <priority>0.6</priority>
  </url>
  <url>
    <loc>https://www.saattrupdan.com/posts/2018-04-13-incomplete-approaches-to-the-incompleteness-theorems</loc>
    <lastmod>2018-04-13</lastmod>
    <priority>0.6</priority>
  </url>
  <url>
    <loc>https://www.saattrupdan.com/posts/2018-03-30-measuring-more</loc>
    <lastmod>2018-03-30</lastmod>
    <priority>0.6</priority>
  </url>
  <url>
    <loc>https://www.saattrupdan.com/posts/2018-03-16-the-strength-of-ideal-hypotheses</loc>
    <lastmod>2018-03-16</lastmod>
    <priority>0.6</priority>
  </url>
  <url>
    <loc>https://www.saattrupdan.com/posts/2018-03-01-the-ideal-kind-of-saturation</loc>
    <lastmod>2018-03-01</lastmod>
    <priority>0.6</priority>
  </url>
  <url>
    <loc>https://www.saattrupdan.com/posts/2018-02-16-a-brief-overview-of-forcing-notions</loc>
    <lastmod>2018-02-16</lastmod>
    <priority>0.6</priority>
  </url>
  <url>
    <loc>https://www.saattrupdan.com/posts/2018-01-31-choice-principles</loc>
    <lastmod>2018-01-31</lastmod>
    <priority>0.6</priority>
  </url>
  <url>
    <loc>https://www.saattrupdan.com/posts/2018-01-20-projectively-correct-mice</loc>
    <lastmod>2018-01-20</lastmod>
    <priority>0.6</priority>
  </url>
  <url>
    <loc>https://www.saattrupdan.com/posts/2017-12-29-from-mice-to-determinacy</loc>
    <lastmod>2017-12-29</lastmod>
    <priority>0.6</priority>
  </url>
  <url>
    <loc>https://www.saattrupdan.com/posts/2017-12-18-projective-understanding-via-woodins</loc>
    <lastmod>2017-12-18</lastmod>
    <priority>0.6</priority>
  </url>
  <url>
    <loc>https://www.saattrupdan.com/posts/2017-12-01-categorification-of-large-cardinals</loc>
    <lastmod>2017-12-01</lastmod>
    <priority>0.6</priority>
  </url>
  <url>
    <loc>https://www.saattrupdan.com/posts/2017-11-17-pcf-scales-and-squares</loc>
    <lastmod>2017-11-17</lastmod>
    <priority>0.6</priority>
  </url>
  <url>
    <loc>https://www.saattrupdan.com/posts/2017-10-27-scales-101-part-iv</loc>
    <lastmod>2017-10-27</lastmod>
    <priority>0.6</priority>
  </url>
  <url>
    <loc>https://www.saattrupdan.com/posts/2017-10-20-scales-101-part-iii</loc>
    <lastmod>2017-10-20</lastmod>
    <priority>0.6</priority>
  </url>
  <url>
    <loc>https://www.saattrupdan.com/posts/2017-10-13-scales-101-part-ii</loc>
    <lastmod>2017-10-13</lastmod>
    <priority>0.6</priority>
  </url>
  <url>
    <loc>https://www.saattrupdan.com/posts/2017-10-06-scales-101-part-i</loc>
    <lastmod>2017-10-06</lastmod>
    <priority>0.6</priority>
  </url>
  <url>
    <loc>https://www.saattrupdan.com/posts/2017-09-29-generalised-square-inaccesibility</loc>
    <lastmod>2017-09-29</lastmod>
    <priority>0.6</priority>
  </url>
  <url>
    <loc>https://www.saattrupdan.com/posts/2017-09-21-partition-relations-suslin-trees-and-jonsson-cardinals</loc>
    <lastmod>2017-09-21</lastmod>
    <priority>0.6</priority>
  </url>
  <url>
    <loc>https://www.saattrupdan.com/posts/2017-09-08-descriptive-inner-model-theory-an-overview</loc>
    <lastmod>2017-09-08</lastmod>
    <priority>0.6</priority>
  </url>
  <url>
    <loc>https://www.saattrupdan.com/posts/2017-08-25-three-paths-to-weak-compactness</loc>
    <lastmod>2017-08-25</lastmod>
    <priority>0.6</priority>
  </url>
  <url>
    <loc>https://www.saattrupdan.com/posts/2017-08-11-consistency-strength-of-forcing-axioms</loc>
    <lastmod>2017-08-11</lastmod>
    <priority>0.6</priority>
  </url>
  <url>
    <loc>https://www.saattrupdan.com/posts/2017-07-28-jonsson-successors-of-singulars</loc>
    <lastmod>2017-07-28</lastmod>
    <priority>0.6</priority>
  </url>
  <url>
    <loc>https://www.saattrupdan.com/posts/2017-07-14-limitations-of-zfc-determinacy</loc>
    <lastmod>2017-07-14</lastmod>
    <priority>0.6</priority>
  </url>
  <url>
    <loc>https://www.saattrupdan.com/posts/2017-06-21-hod-models-of-determinacy</loc>
    <lastmod>2017-06-21</lastmod>
    <priority>0.6</priority>
  </url>
  <url>
    <loc>https://www.saattrupdan.com/posts/2017-06-07-borel-determinacy</loc>
    <lastmod>2017-06-07</lastmod>
    <priority>0.6</priority>
  </url>
  <url>
    <loc>https://www.saattrupdan.com/posts/2017-05-24-the-structure-of-games</loc>
    <lastmod>2017-05-24</lastmod>
    <priority>0.6</priority>
  </url>
  <url>
    <loc>https://www.saattrupdan.com/posts/2017-05-10-from-determinacy-to-a-woodin-ii</loc>
    <lastmod>2017-05-10</lastmod>
    <priority>0.6</priority>
  </url>
  <url>
    <loc>https://www.saattrupdan.com/posts/2017-04-26-what-is-k</loc>
    <lastmod>2017-04-26</lastmod>
    <priority>0.6</priority>
  </url>
  <url>
    <loc>https://www.saattrupdan.com/posts/2017-04-05-from-determinacy-to-a-woodin-i</loc>
    <lastmod>2017-04-05</lastmod>
    <priority>0.6</priority>
  </url>
  <url>
    <loc>https://www.saattrupdan.com/posts/2017-03-22-hahn-banach-sans-zorn</loc>
    <lastmod>2017-03-22</lastmod>
    <priority>0.6</priority>
  </url>
  <url>
    <loc>https://www.saattrupdan.com/posts/2017-03-08-choiceless-non-free-algebras</loc>
    <lastmod>2017-03-08</lastmod>
    <priority>0.6</priority>
  </url>
  <url>
    <loc>https://www.saattrupdan.com/posts/2017-02-22-determinacy-from-woodins-iii</loc>
    <lastmod>2017-02-22</lastmod>
    <priority>0.6</priority>
  </url>
  <url>
    <loc>https://www.saattrupdan.com/posts/2017-02-08-determinacy-from-woodins-ii</loc>
    <lastmod>2017-02-08</lastmod>
    <priority>0.6</priority>
  </url>
  <url>
    <loc>https://www.saattrupdan.com/posts/2017-01-25-determinacy-from-woodins-i</loc>
    <lastmod>2017-01-25</lastmod>
    <priority>0.6</priority>
  </url>
  <url>
    <loc>https://www.saattrupdan.com/posts/2017-01-11-an-overview-of-determinacy-axioms</loc>
    <lastmod>2017-01-11</lastmod>
    <priority>0.6</priority>
  </url>
  <url>
    <loc>https://www.saattrupdan.com/posts/2016-12-28-sigma2_1-absoluteness</loc>
    <lastmod>2016-12-28</lastmod>
    <priority>0.6</priority>
  </url>
  <url>
    <loc>https://www.saattrupdan.com/posts/2016-12-14-the-stationary-tower-ii</loc>
    <lastmod>2016-12-14</lastmod>
    <priority>0.6</priority>
  </url>
  <url>
    <loc>https://www.saattrupdan.com/posts/2016-11-30-the-stationary-tower-i-generic-ultrapowers</loc>
    <lastmod>2016-11-30</lastmod>
    <priority>0.6</priority>
  </url>
  <url>
    <loc>https://www.saattrupdan.com/posts/2016-11-16-jonsson-cardinals-and-the-core-model</loc>
    <lastmod>2016-11-16</lastmod>
    <priority>0.6</priority>
  </url>
  <url>
    <loc>https://www.saattrupdan.com/posts/2016-11-02-jonsson-cardinals</loc>
    <lastmod>2016-11-02</lastmod>
    <priority>0.6</priority>
  </url>
  <url>
    <loc>https://www.saattrupdan.com/posts/2016-10-19-genericity-iterations-ii</loc>
    <lastmod>2016-10-19</lastmod>
    <priority>0.6</priority>
  </url>
  <url>
    <loc>https://www.saattrupdan.com/posts/2016-10-05-genericity-iterations-i</loc>
    <lastmod>2016-10-05</lastmod>
    <priority>0.6</priority>
  </url>
</urlset>
