Links to some blogs I enjoy
Computer science blogs
- The Homotopy Type Theory blog
- The Type Theory Podcast
- Pigworker in a space
- Wadler’s blog
- Mathematics and Computation
- Types and Kinds
- Twan van Laarhoven’s blog
- Inside 245-5D
- Effectfully
- Osa1
- Ralf’s Ramblings
- Mazzo.li
- Shtetl-Optimized
- Mathy Van Hoef’s blog