Computation, proof, machine | lit.salon