This is probably outside the purview of Jepsen but have you ever looked at Kdb, or the language it is build on top of? (K) Curious to hear your thought on it!

This is probably outside the purview of Jepsen but have you ever looked at Kdb, or the language it is build on top of? (K) Curious to hear your thought on it! Would love a Jepsen style analysis of kdb