| 2025-03-13 | Parametricity via Parametricity |
| 2025-02-10 | An Imperfect Graph Representation |
| 2025-02-02 | Parametricity and Comma Categories |
| 2025-01-11 | Constructing Parametricity Gel Type as Pushout |
| 2025-01-10 | An Almost Slice Category |
| 2024-12-28 | An Exciting Internalized Parametricity Gotcha |
| 2024-12-23 | A Postulate for Internalized Parametricity |
| 2024-12-21 | Thoughts About a Directed Interval |
| 2024-12-18 | The Pentagonal Icositetrahedron as a 24-sided Die |
| 2024-12-11 | A Funny Definition of Groups |
| 2024-12-03 | Maps and Knots |
| 2024-11-14 | Three Lists in One |
| 2024-11-12 | A Heuristic Argument for the Central Limit Theorem |
| 2024-09-30 | Defining Fillets |
| 2024-09-16 | Naive Topology Intuitions and Logic |
| 2024-09-04 | Parametricity and Substructural Types |
| 2024-08-30 | A Probability Distribution Puzzle |
| 2024-07-26 | Type Combinators for Interactive Forms |
| 2024-05-13 | A Signal-Processing Cheatsheet |
| 2024-03-13 | Set-Theoretic Geometry |
| 2024-03-09 | A Picture of Sheaves |
| 2024-02-12 | What Type is a Deck of Cards? |
| 2024-01-29 | Linear Logic and Algebraic Geometry |
| 2023-12-14 | Cache Types, Part 2 |
| 2023-12-09 | Stretchable Edges in Graphs |
| 2023-11-14 | Constructing the Cotangent Function |
| 2023-10-29 | How to Invent Hyperbolic Geometry |
| 2023-10-22 | How to Invent Topographs |
| 2023-09-20 | A Bernoulli Number Identity |
| 2023-09-11 | Type Manifolds |
| 2023-08-19 | Understanding the Hook Length Formula |
| 2023-02-18 | Do Univalent Universes Arise from Higher Adjoints? |
| 2023-01-24 | Attention for Type Theorists |
| 2023-01-17 | Somewhat-Topology-Preserving Hex Map Reduction |
| 2023-01-14 | Rigid String Diagrams |
| 2022-12-09 | The Higher-Dimensional Graph Game |
| 2022-08-10 | The Functional Programmer's -1/12 (2) |
| 2022-08-08 | The Functional Programmer's -1/12 |
| 2022-08-01 | Jacobi Triple Product Identity |
| 2022-07-18 | Coxeter Groups and Chebyshev Polynomials |
| 2022-06-12 | Some Animation I Like |
| 2022-05-22 | Thoughts on Braids |
| 2021-12-28 | Modal Logic for the Kolmogorov Puzzle |
| 2021-12-05 | Chromatic Type Polynomials |
| 2021-09-26 | Semisimplicial Types |
| 2021-09-20 | Map Colorings in Type Theory |
| 2021-04-03 | Sealevel Logic |
| 2021-03-14 | Differential Geometry On Cartographic Spaces |
| 2021-02-04 | Surface Diagrams |
| 2021-01-14 | Trees as Fibrations |
| 2020-12-20 | Classical Logic in Intuitionistic Logic |
| 2020-11-22 | Directed Spaces vs. Categories |
| 2020-01-05 | Polynomials as $n$-cells |
| 2019-09-03 | Some Thoughts on Story Games |
| 2018-08-31 | Orienting Simplices |
| 2018-08-23 | Some More Thoughts About Types with Internal References |
| 2018-08-19 | Types of DAG-like structures |
| 2018-08-12 | A Graph Polynomial, Sort of |
| 2018-08-05 | A Simple Matrix Game |
| 2018-07-29 | Focusing and Ends |
| 2018-07-22 | Two Warping Operations |
| 2018-07-15 | Action/Proposition Logic |
| 2018-07-08 | Towards a Judgmental Reconstruction of Dynamic Logic |
| 2018-07-01 | Focusing and Category Variables |
| 2018-06-24 | Cache Types |
| 2018-06-17 | Feeling the Yoneda Lemma in my Guts |
| 2018-06-10 | Creative Annealing |
| 2018-06-03 | Focusing Dissection of Exponentials In Presheaf Categories |
| 2018-05-27 | Depending on Category Variables, Dependently |
| 2018-05-20 | Depending on Category Variables |
| 2018-05-13 | Slices of Presheaf Categories |
| 2018-05-06 | Everything I've Learned About Logic in the Last Decade or So, Part 4 |
| 2018-04-29 | Everything I've Learned About Logic in the Last Decade or So, Part 3 |
| 2018-04-22 | Everything I've Learned About Logic in the Last Decade or So, Part 2 |
| 2018-04-15 | Everything I've Learned About Logic in the Last Decade or So, Part 1 |
| 2018-04-08 | Wellen's Synthetic Differential Geometry |
| 2018-04-01 | Doing $k$-means with intermediate points |