Two awesome blogs

July 20, 2014 - Tagged as: en.

I just want to link this two awesome blogs here. I’ve been spending my last couple of weekends trying to read every single post in those blogs.

• Robert Harper’s blog: About programming language semantics, type theory, type systems, sometimes HoTT and constructive mathematics related stuff.
• Andrej Bauer’s blog: About maths and computation. I don’t understand 80% of the posts(hopefully this will change). Rest of them is about constructive mathematics/proofs, Coq, sometimes Haskell and types.

Bonus content:

• http://poleiro.info/ is a great blog with beginner-intermediate level Coq posts. I hope the author keeps new posts coming.
• A master thesis on HoTT: I just started reading this and it looks like easy to understand even for people with not much understanding of type theory or related topics, like me. The author was a student of Andrej Bauer.

Side note: I’ll hopefully publish a blog post about verification of a somewhat weird and useless sorting algorithm soon.

---