41554 blogs · [ { "id": "01a087e9-77be-71f4-9658-23eec8f486e3", "title": "Quantum Algorithms in Lean", "url": "https://tannerduve.github.io/blog/2026/quantum-algos/", "published_at": "2026-06-10T21:00:00+00:00" }, { "id": "01a087e9-77be-71f4-9658-23eec95f645b", "title": "Currying in Categories", "url": "https://tannerduve.github.io/blog/2026/curry-categories/", "published_at": "2026-04-30T21:00:00+00:00" }, { "id": "01a087e9-77be-71f4-9658-23eeca3cac78", "title": "Partiality in a Total Type Theory", "url": "https://tannerduve.github.io/blog/2026/part-monad/", "published_at": "2026-04-17T21:00:00+00:00" }, { "id": "01a087e9-77be-71f4-9658-23eeca949729", "title": "Foundations of Algorithmic Randomness and Computability", "url": "https://tannerduve.github.io/blog/2026/algorithmic-randomness/", "published_at": "2026-02-07T20:00:00+00:00" }, { "id": "01a087e9-77be-71f4-9658-23eecad3e22c", "title": "The Free Monad", "url": "https://tannerduve.github.io/blog/2025/freer-monad/", "published_at": "2025-05-21T21:00:00+00:00" }, { "id": "01a087e9-77be-71f4-9658-23eecbc86f19", "title": "Verified Dynamic Programming with Σ-types in Lean", "url": "https://tannerduve.github.io/blog/2025/verified-dp/", "published_at": "2025-05-21T20:00:00+00:00" } ] posts Claim your blog

Blog · corpus.blog/blogs/tannerduve.github.io/posts