https://blueberrywren.dev/ https://blueberrywren.dev/blog/ https://blueberrywren.dev/blog/2025-03-27/ 2025-03-27 https://blueberrywren.dev/blog/cubical-j/ 2026-01-01 https://blueberrywren.dev/blog/debruijn-explanation/ 2025-05-26 https://blueberrywren.dev/blog/dependent-p1/ 2025-07-19 https://blueberrywren.dev/blog/dependent-types-suck/ 2025-04-01 https://blueberrywren.dev/blog/first/ 2023-06-17 https://blueberrywren.dev/blog/horrible-types/ 2025-11-17 https://blueberrywren.dev/blog/isabelle-rule-musings/ 2025-09-19 https://blueberrywren.dev/blog/on-zig/ 2025-10-14 https://blueberrywren.dev/blog/pattern-unification-short/ 2025-03-30 https://blueberrywren.dev/blog/pure-sea/ 2025-12-19 https://blueberrywren.dev/blog/type-safe-interpreters/ 2026-01-17 https://blueberrywren.dev/me/ https://blueberrywren.dev/me/about/ https://blueberrywren.dev/me/inf/