Text this: Theory and practice in distributed systems :