Text this: Algorithmic number theory