https://saattrupdan.com/2026-03-27T10:54:06.360Zdaily1.0https://saattrupdan.com/2026-03-27T10:54:06.360Zdaily1.0https://saattrupdan.com/posts2026-03-27T10:54:06.360Zdaily1.0https://saattrupdan.com/papers2026-03-27T10:54:06.360Zdaily1.0https://saattrupdan.com/projects2026-03-27T10:54:06.360Zdaily1.0https://saattrupdan.com/podcasts2026-03-27T10:54:06.360Zdaily1.0https://saattrupdan.com/multiwikiqa-feedback2026-03-27T10:54:06.360Zdaily1.0https://saattrupdan.com/geomatic-demo2026-03-27T10:54:06.360Zdaily1.0https://saattrupdan.com/tqe-feedback2026-03-27T10:54:06.360Zdaily1.0https://saattrupdan.com/posts/2026-03-08-local-ai-coding-assistant-in-nvim-v22026-03-27T10:54:06.360Zdaily1.0https://saattrupdan.com/posts/2026-01-18-local-ai-coding-assistant-in-nvim2026-03-27T10:54:06.360Zdaily1.0https://saattrupdan.com/posts/2025-05-04-buying-a-home-in-denmark2026-03-27T10:54:06.360Zdaily1.0https://saattrupdan.com/posts/2024-06-13-gpt-4-performance2026-03-27T10:54:06.360Zdaily1.0https://saattrupdan.com/posts/2023-10-21-making-a-voice-bot2026-03-27T10:54:06.360Zdaily1.0https://saattrupdan.com/posts/2023-09-28-dark-mode-in-vuejs2026-03-27T10:54:06.360Zdaily1.0https://saattrupdan.com/posts/2023-04-16-open-source-chatgpt-alternatives2026-03-27T10:54:06.360Zdaily1.0https://saattrupdan.com/posts/2023-04-03-crash-course-in-vue2026-03-27T10:54:06.360Zdaily1.0https://saattrupdan.com/posts/2022-11-19-monitoring-with-uncertainty2026-03-27T10:54:06.360Zdaily1.0https://saattrupdan.com/posts/2022-08-28-makefu2026-03-27T10:54:06.360Zdaily1.0https://saattrupdan.com/posts/2022-07-19-int2026-03-27T10:54:06.360Zdaily1.0https://saattrupdan.com/posts/2021-05-30-graph-convolutional-neural-networks2026-03-27T10:54:06.360Zdaily1.0https://saattrupdan.com/posts/2021-04-04-doubt2026-03-27T10:54:06.360Zdaily1.0https://saattrupdan.com/posts/2020-08-24-deepwalk2026-03-27T10:54:06.360Zdaily1.0https://saattrupdan.com/posts/2020-08-07-pagerank2026-03-27T10:54:06.360Zdaily1.0https://saattrupdan.com/posts/2020-04-05-quantile-regression-forests2026-03-27T10:54:06.360Zdaily1.0https://saattrupdan.com/posts/2020-03-09-quantile-regression2026-03-27T10:54:06.360Zdaily1.0https://saattrupdan.com/posts/2020-03-01-bootstrap-prediction2026-03-27T10:54:06.360Zdaily1.0https://saattrupdan.com/posts/2020-02-26-parametric-prediction2026-03-27T10:54:06.360Zdaily1.0https://saattrupdan.com/posts/2020-02-20-confidence2026-03-27T10:54:06.360Zdaily1.0https://saattrupdan.com/posts/2020-01-21-scholarly2026-03-27T10:54:06.360Zdaily1.0https://saattrupdan.com/posts/2019-11-11-syllables2026-03-27T10:54:06.360Zdaily1.0https://saattrupdan.com/posts/2019-10-27-squared-error-and-cross-entropy2026-03-27T10:54:06.360Zdaily1.0https://saattrupdan.com/posts/2019-09-07-naturalselection2026-03-27T10:54:06.360Zdaily1.0https://saattrupdan.com/posts/2019-06-12-singular-value-decomposition2026-03-27T10:54:06.360Zdaily1.0https://saattrupdan.com/posts/2019-06-05-normal2026-03-27T10:54:06.360Zdaily1.0https://saattrupdan.com/posts/2019-05-28-geometric-exponential2026-03-27T10:54:06.360Zdaily1.0https://saattrupdan.com/posts/2019-05-22-uniform2026-03-27T10:54:06.360Zdaily1.0https://saattrupdan.com/posts/2019-05-15-poisson2026-03-27T10:54:06.360Zdaily1.0https://saattrupdan.com/posts/2019-03-31-core-model-induction-the-pointclass-perspective2026-03-27T10:54:06.360Zdaily1.0https://saattrupdan.com/posts/2019-02-27-characterisation-of-woodins-in-mice2026-03-27T10:54:06.360Zdaily1.0https://saattrupdan.com/posts/2019-01-30-concrete-and-abstract2026-03-27T10:54:06.360Zdaily1.0https://saattrupdan.com/posts/2019-01-08-shoenfield-absoluteness-and-choice2026-03-27T10:54:06.360Zdaily1.0https://saattrupdan.com/posts/2018-12-22-separating-atoms2026-03-27T10:54:06.360Zdaily1.0https://saattrupdan.com/posts/2018-12-10-closure-distributivity-and-choice2026-03-27T10:54:06.360Zdaily1.0https://saattrupdan.com/posts/2018-11-26-applied-core-model-theory-iii2026-03-27T10:54:06.360Zdaily1.0https://saattrupdan.com/posts/2018-11-13-applied-core-model-theory-ii2026-03-27T10:54:06.360Zdaily1.0https://saattrupdan.com/posts/2018-10-22-applied-core-model-theory-i2026-03-27T10:54:06.360Zdaily1.0https://saattrupdan.com/posts/2018-10-03-antichains-and-closure-properties2026-03-27T10:54:06.360Zdaily1.0https://saattrupdan.com/posts/2018-09-20-a-categorical-approach-to-forcing2026-03-27T10:54:06.360Zdaily1.0https://saattrupdan.com/posts/2018-08-30-a-universe-of-hierarchies2026-03-27T10:54:06.360Zdaily1.0https://saattrupdan.com/posts/2018-08-16-distribution2026-03-27T10:54:06.360Zdaily1.0https://saattrupdan.com/posts/2018-08-02-mice-and-long-games2026-03-27T10:54:06.360Zdaily1.0https://saattrupdan.com/posts/2018-06-28-a-travel-guide-to-the-large-cardinals2026-03-27T10:54:06.360Zdaily1.0https://saattrupdan.com/posts/2018-05-24-encode-decode2026-03-27T10:54:06.360Zdaily1.0https://saattrupdan.com/posts/2018-05-10-core-model-induction-1012026-03-27T10:54:06.360Zdaily1.0https://saattrupdan.com/posts/2018-04-13-incomplete-approaches-to-the-incompleteness-theorems2026-03-27T10:54:06.360Zdaily1.0https://saattrupdan.com/posts/2018-03-30-measuring-more2026-03-27T10:54:06.360Zdaily1.0https://saattrupdan.com/posts/2018-03-16-the-strength-of-ideal-hypotheses2026-03-27T10:54:06.360Zdaily1.0https://saattrupdan.com/posts/2018-03-01-the-ideal-kind-of-saturation2026-03-27T10:54:06.360Zdaily1.0https://saattrupdan.com/posts/2018-02-16-a-brief-overview-of-forcing-notions2026-03-27T10:54:06.360Zdaily1.0https://saattrupdan.com/posts/2018-01-31-choice-principles2026-03-27T10:54:06.360Zdaily1.0https://saattrupdan.com/posts/2018-01-20-projectively-correct-mice2026-03-27T10:54:06.360Zdaily1.0https://saattrupdan.com/posts/2017-12-29-from-mice-to-determinacy2026-03-27T10:54:06.360Zdaily1.0https://saattrupdan.com/posts/2017-12-18-projective-understanding-via-woodins2026-03-27T10:54:06.360Zdaily1.0https://saattrupdan.com/posts/2017-12-01-categorification-of-large-cardinals2026-03-27T10:54:06.360Zdaily1.0https://saattrupdan.com/posts/2017-11-17-pcf-scales-and-squares2026-03-27T10:54:06.360Zdaily1.0https://saattrupdan.com/posts/2017-10-27-scales-101-part-iv2026-03-27T10:54:06.360Zdaily1.0https://saattrupdan.com/posts/2017-10-20-scales-101-part-iii2026-03-27T10:54:06.360Zdaily1.0https://saattrupdan.com/posts/2017-10-13-scales-101-part-ii2026-03-27T10:54:06.360Zdaily1.0https://saattrupdan.com/posts/2017-10-06-scales-101-part-i2026-03-27T10:54:06.360Zdaily1.0https://saattrupdan.com/posts/2017-09-29-generalised-square-inaccesibility2026-03-27T10:54:06.360Zdaily1.0https://saattrupdan.com/posts/2017-09-21-partition-relations-suslin-trees-and-jonsson-cardinals2026-03-27T10:54:06.360Zdaily1.0https://saattrupdan.com/posts/2017-09-08-descriptive-inner-model-theory-an-overview2026-03-27T10:54:06.360Zdaily1.0https://saattrupdan.com/posts/2017-08-25-three-paths-to-weak-compactness2026-03-27T10:54:06.360Zdaily1.0https://saattrupdan.com/posts/2017-08-11-consistency-strength-of-forcing-axioms2026-03-27T10:54:06.360Zdaily1.0https://saattrupdan.com/posts/2017-07-28-jonsson-successors-of-singulars2026-03-27T10:54:06.360Zdaily1.0https://saattrupdan.com/posts/2017-07-14-limitations-of-zfc-determinacy2026-03-27T10:54:06.360Zdaily1.0https://saattrupdan.com/posts/2017-06-21-hod-models-of-determinacy2026-03-27T10:54:06.360Zdaily1.0https://saattrupdan.com/posts/2017-06-07-borel-determinacy2026-03-27T10:54:06.360Zdaily1.0https://saattrupdan.com/posts/2017-05-24-the-structure-of-games2026-03-27T10:54:06.360Zdaily1.0https://saattrupdan.com/posts/2017-05-10-from-determinacy-to-a-woodin-ii2026-03-27T10:54:06.360Zdaily1.0https://saattrupdan.com/posts/2017-04-26-what-is-k2026-03-27T10:54:06.360Zdaily1.0https://saattrupdan.com/posts/2017-04-05-from-determinacy-to-a-woodin-i2026-03-27T10:54:06.360Zdaily1.0https://saattrupdan.com/posts/2017-03-22-hahn-banach-sans-zorn2026-03-27T10:54:06.360Zdaily1.0https://saattrupdan.com/posts/2017-03-08-choiceless-non-free-algebras2026-03-27T10:54:06.360Zdaily1.0https://saattrupdan.com/posts/2017-02-22-determinacy-from-woodins-iii2026-03-27T10:54:06.360Zdaily1.0https://saattrupdan.com/posts/2017-02-08-determinacy-from-woodins-ii2026-03-27T10:54:06.360Zdaily1.0https://saattrupdan.com/posts/2017-01-25-determinacy-from-woodins-i2026-03-27T10:54:06.360Zdaily1.0https://saattrupdan.com/posts/2017-01-11-an-overview-of-determinacy-axioms2026-03-27T10:54:06.360Zdaily1.0https://saattrupdan.com/posts/2016-12-28-sigma2_1-absoluteness2026-03-27T10:54:06.360Zdaily1.0https://saattrupdan.com/posts/2016-12-14-the-stationary-tower-ii2026-03-27T10:54:06.360Zdaily1.0https://saattrupdan.com/posts/2016-11-30-the-stationary-tower-i-generic-ultrapowers2026-03-27T10:54:06.360Zdaily1.0https://saattrupdan.com/posts/2016-11-16-jonsson-cardinals-and-the-core-model2026-03-27T10:54:06.360Zdaily1.0https://saattrupdan.com/posts/2016-11-02-jonsson-cardinals2026-03-27T10:54:06.360Zdaily1.0https://saattrupdan.com/posts/2016-10-19-genericity-iterations-ii2026-03-27T10:54:06.360Zdaily1.0https://saattrupdan.com/posts/2016-10-05-genericity-iterations-i2026-03-27T10:54:06.360Zdaily1.0