Theory and practice in distributed systems | lit.salon