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.
- 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.