[badprose]

They do use Redis. They have a page on their tech here: https://stackexchange.com/performance

[southerntofu]

That makes sense. From what i remember of using redis a few years back, it doesn't do file-based cache, only in-memory. Something like nginx is very good at file caching, though.