Technical details: - 9 month of work by 3 people; - real thing, runs over all code of #Stripe - is ridiculously fast, 100k lines\second\core non-incremental mode - written in modern C++; - currently in beta: Stripe engineers can opt-in for it; (continued)