Welcome to my blog! 25 Sep 2020

I am particularly enthusiastic about the univalent foundations of mathematics and functional programming.

Here are some of my favorite sites:

Mathematics / Software: Haskell, Purescript, Unison, Svelte, Hybrids, Bartoz Milewski, Bartoz Milewski: Category Theory for Programmers, Hott, Hott/Agda, KaTeX, Data-Driven Documents, Ramda