I know that I am typing these words on a device of staggering computational power; a device such as Lovelace dreamt of, such as Leibniz thirsted for, such as Poincaré would have chainsawed his thumbs to possess; a device that promises to transform mathematics and the world.
A device that I use mostly for word processing.
Ben Orlin