Durability reviews and lightweight formal verification are very interesting approaches I'll need to learn more about.

98% caching is awe inspiring.