Text this: Notes from the International Autumn School on Computational Number Theory