Take over the world... By finding bugs in distributed systems?