I'd be interested to know what platform they're running Redis on. Is it Windows or Linux?

Edit: Oh, the article link mentions it's running on CentOS. I was looking for that in the parent's link.