Admins; please consider editing the title, it has a redundant "things" that makes it hard to read and confusing.

The blog post's real title ("10 things Idris improved over Haskell") is better; unless that's a problem due to being a list (which are often spammy). Seems fine/serious to me, though.