Massive hat tip for all your work over the years. Redis is a lovely bit of work. I first used it as the datastore for a flash sale about 8 years ago now. Even

Massive hat tip for all your work over the years. Redis is a lovely bit of work. I first used it as the datastore for a flash sale about 8 years ago now. Even though close to 130k people were trying to book rooms at the same time, it performed just as I hoped it would. I was going to say that I haven’t used it in a few years, but really I’ve just forgotten that it’s running a critical part of our system day in day out because it never causes me any trouble. Good luck with your next adventure, here’s hoping it’s as fruitful for the community as your last one.