jcreed blog
POSTS
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
OTHER
2024-04-01
twelf-wasm
2019-04-21
lambda map drawer
2019-04-07
cubetest
2019-02-11
white noise generator