Some links to sites 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
Other blogs
- LessWrong 2.0
- Put A Number On It!
- Wait But Why
- What If?
- Scientist Sees Squirrel
- Troy Hunt’s blog
- Thomas Piketty’s blog
- James Hayton’s PhD advice