Notes on data, automation, and mathematics