https://tannerduve.github.io/books/analytic-idealism-in-a-nutshell/ 2026-02-25T07:11:59+00:00 https://tannerduve.github.io/books/braiding-sweetgrass/ 2026-02-25T07:11:59+00:00 https://tannerduve.github.io/books/categories-for-quantum-theory/ 2026-02-25T07:11:59+00:00 https://tannerduve.github.io/books/category-theory-in-context/ 2026-02-25T07:11:59+00:00 https://tannerduve.github.io/books/computational-complexity-a-modern-approach/ 2026-02-25T07:11:59+00:00 https://tannerduve.github.io/books/ecofeminism-feminist-intersections-with-other-animals-and-the-earth/ 2026-02-25T07:11:59+00:00 https://tannerduve.github.io/books/lectures-on-the-philosophy-of-mathematics/ 2026-02-25T07:11:59+00:00 https://tannerduve.github.io/books/logic-of-reliable-inquiry/ 2026-02-25T07:11:59+00:00 https://tannerduve.github.io/books/logicomix-an-epic-search-for-truth/ 2026-02-25T07:11:59+00:00 https://tannerduve.github.io/books/modern-mathematical-logic/ 2026-02-25T07:11:59+00:00 https://tannerduve.github.io/books/naming-and-necessity/ 2026-02-25T07:11:59+00:00 https://tannerduve.github.io/books/paths-to-god-living-the-bhagavad-gita/ 2026-02-25T07:11:59+00:00 https://tannerduve.github.io/books/philosophy-of-mind-classical-and-contemporary-readings/ 2026-02-25T07:11:59+00:00 https://tannerduve.github.io/books/quintessence/ 2026-02-25T07:11:59+00:00 https://tannerduve.github.io/books/rationalist-spirit/ 2026-02-25T07:11:59+00:00 https://tannerduve.github.io/books/reality-plus/ 2026-02-25T07:11:59+00:00 https://tannerduve.github.io/books/tantra-illuminated/ 2026-02-25T07:11:59+00:00 https://tannerduve.github.io/books/tao-te-ching/ 2026-02-25T07:11:59+00:00 https://tannerduve.github.io/books/the-dao-of-functional-programming/ 2026-02-25T07:11:59+00:00 https://tannerduve.github.io/books/the-joy-of-abstraction-an-exploration-of-math-category-theory-and-life/ 2026-02-25T07:11:59+00:00 https://tannerduve.github.io/books/the-perennial-philosophy/ 2026-02-25T07:11:59+00:00 https://tannerduve.github.io/books/the-tao-is-silent/ 2026-02-25T07:11:59+00:00 https://tannerduve.github.io/books/the-zen-teachings-of-huang-po-on-the-transmission-of-mind/ 2026-02-25T07:11:59+00:00 https://tannerduve.github.io/books/topoi-the-categorial-analysis-of-logic/ 2026-02-25T07:11:59+00:00 https://tannerduve.github.io/books/tractatus-logico-philosophicus/ 2026-02-25T07:11:59+00:00 https://tannerduve.github.io/books/type-theory-and-formal-proof/ 2026-02-25T07:11:59+00:00 https://tannerduve.github.io/books/types-and-programming-languages/ 2026-02-25T07:11:59+00:00 https://tannerduve.github.io/books/zhuangzi/ 2026-02-25T07:11:59+00:00 https://tannerduve.github.io/news/announcement_1/ 2015-10-22T19:59:00+00:00 https://tannerduve.github.io/news/announcement_2/ 2015-11-07T20:11:00+00:00 https://tannerduve.github.io/news/announcement_3/ 2016-01-15T11:59:00+00:00 https://tannerduve.github.io/blog/2025/verified-dp/ 2025-05-21T20:00:00+00:00 https://tannerduve.github.io/blog/2025/freer-monad/ 2025-05-21T21:00:00+00:00 https://tannerduve.github.io/blog/2025/freer-monad-part1/ 2025-06-16T17:00:00+00:00 https://tannerduve.github.io/blog/2025/freer-monad-part2/ 2025-06-16T18:00:00+00:00 https://tannerduve.github.io/blog/2025/freer-monad-part3/ 2025-06-16T19:00:00+00:00 https://tannerduve.github.io/blog/2025/freer-monad-part4/ 2025-06-18T20:00:00+00:00 https://tannerduve.github.io/blog/2026/algorithmic-randomness/ 2026-02-07T20:00:00+00:00 https://tannerduve.github.io/projects/1_project/ 2026-02-25T07:11:59+00:00 https://tannerduve.github.io/projects/2_project/ 2026-02-25T07:11:59+00:00 https://tannerduve.github.io/projects/3_project/ 2026-02-25T07:11:59+00:00 https://tannerduve.github.io/projects/4_project/ 2026-02-25T07:11:59+00:00 https://tannerduve.github.io/projects/5_project/ 2026-02-25T07:11:59+00:00 https://tannerduve.github.io/projects/6_project/ 2026-02-25T07:11:59+00:00 https://tannerduve.github.io/projects/7_project/ 2026-02-25T07:11:59+00:00 https://tannerduve.github.io/projects/8_project/ 2026-02-25T07:11:59+00:00 https://tannerduve.github.io/projects/9_project/ 2026-02-25T07:11:59+00:00 https://tannerduve.github.io/ https://tannerduve.github.io/books/ https://tannerduve.github.io/coursework/ https://tannerduve.github.io/cv/ https://tannerduve.github.io/_pages/dropdown/ https://tannerduve.github.io/lean/ https://tannerduve.github.io/news/ https://tannerduve.github.io/projects/ https://tannerduve.github.io/publications/ https://tannerduve.github.io/repositories/ https://tannerduve.github.io/talks/ https://tannerduve.github.io/teaching/ https://tannerduve.github.io/blog/2025/ https://tannerduve.github.io/blog/2026/ https://tannerduve.github.io/blog/tag/lean/ https://tannerduve.github.io/blog/tag/dynamic-programming/ https://tannerduve.github.io/blog/tag/formal-verification/ https://tannerduve.github.io/blog/tag/dependent-types/ https://tannerduve.github.io/blog/tag/sigma-types/ https://tannerduve.github.io/blog/tag/free-monads/ https://tannerduve.github.io/blog/tag/category-theory/ https://tannerduve.github.io/blog/tag/effects/ https://tannerduve.github.io/blog/tag/lean/ https://tannerduve.github.io/blog/tag/free-monads/ https://tannerduve.github.io/blog/tag/catamorphisms/ https://tannerduve.github.io/blog/tag/interpreters/ https://tannerduve.github.io/blog/tag/universal-properties/ https://tannerduve.github.io/blog/tag/effect-handlers/ https://tannerduve.github.io/blog/tag/formal-verification/ https://tannerduve.github.io/blog/tag/type-theory/ https://tannerduve.github.io/blog/tag/tutorial/ https://tannerduve.github.io/blog/tag/computability/ https://tannerduve.github.io/blog/tag/randomness/ https://tannerduve.github.io/blog/tag/kolmogorov-complexity/ https://tannerduve.github.io/blog/category/formal-verification/ https://tannerduve.github.io/blog/category/algorithms/ https://tannerduve.github.io/blog/category/free-monads/ https://tannerduve.github.io/blog/category/formal/ https://tannerduve.github.io/blog/category/verification/ https://tannerduve.github.io/blog/category/free/ https://tannerduve.github.io/blog/category/monads/ https://tannerduve.github.io/blog/category/type/ https://tannerduve.github.io/blog/category/theory/ https://tannerduve.github.io/blog/category/computability/ https://tannerduve.github.io/blog/category/randomness/ https://tannerduve.github.io/books/2026/ https://tannerduve.github.io/books/tag/philosophy/ https://tannerduve.github.io/books/tag/ecology/ https://tannerduve.github.io/books/tag/math/ https://tannerduve.github.io/books/tag/physics/ https://tannerduve.github.io/books/tag/logic/ https://tannerduve.github.io/books/tag/pop-math/ https://tannerduve.github.io/books/tag/mysticism/ https://tannerduve.github.io/blog/ https://tannerduve.github.io/files/ACT_presentation.pdf 2026-02-25T07:11:28+00:00 https://tannerduve.github.io/files/algebrization.pdf 2026-02-25T07:11:28+00:00 https://tannerduve.github.io/files/domain-theory.pdf 2026-02-25T07:11:28+00:00 https://tannerduve.github.io/files/files/ACT_presentation.pdf 2026-02-25T07:11:28+00:00 https://tannerduve.github.io/files/files/algebrization.pdf 2026-02-25T07:11:28+00:00 https://tannerduve.github.io/files/files/domain-theory.pdf 2026-02-25T07:11:28+00:00 https://tannerduve.github.io/files/files/game-comonads.pdf 2026-02-25T07:11:28+00:00 https://tannerduve.github.io/files/files/monads.pdf 2026-02-25T07:11:28+00:00 https://tannerduve.github.io/files/files/paper1.pdf 2026-02-25T07:11:28+00:00 https://tannerduve.github.io/files/files/paper2.pdf 2026-02-25T07:11:28+00:00 https://tannerduve.github.io/files/files/paper3.pdf 2026-02-25T07:11:28+00:00 https://tannerduve.github.io/files/files/slides1.pdf 2026-02-25T07:11:28+00:00 https://tannerduve.github.io/files/files/slides2.pdf 2026-02-25T07:11:28+00:00 https://tannerduve.github.io/files/files/slides3.pdf 2026-02-25T07:11:28+00:00 https://tannerduve.github.io/files/game-comonads.pdf 2026-02-25T07:11:28+00:00 https://tannerduve.github.io/files/monads.pdf 2026-02-25T07:11:28+00:00 https://tannerduve.github.io/test-tikz.html 2026-02-25T07:11:28+00:00