Tripos Bot

original notes

Code: https://charlesreid1.com:3000/charlesreid1/tripos-bot

Tripos bot:

• Tweets one problem per week
• One image per problem
• Images come from Latex, rendered with "index card" class, converted to image (one-time, offline)
• Depending on number of Tripos problems: can definitely find 52, but not sure if I can find 365
• If we can find 365, then one per day...

Hardy's Course of Pure Mathematics:

• Around 210 Tripos problems - still need another 150 or so.

This should round it out:

• https://books.google.com/books?id=awMAAAAAQAAJ&printsec=frontcover&dq=cambridge+mathematics+tripos&hl=en&sa=X&ved=0ahUKEwiY85ufqsjYAhUL_4MKHWBtALA4FBDoAQgnMAA#v=onepage&q=cambridge%20mathematics%20tripos&f=false

latex

Gutenberg offers a Latex version of Hardy's Course of Pure Mathematics: https://www.gutenberg.org/ebooks/38769

This means the problems appear like this:

If $a$, $b$, $x$, $y$ are rational numbers such that
\[
(ay - bx)^{2} + 4(a - x)(b - y) = 0,
\]
then either (i)~$x = a$, $y = b$ or (ii)~$1 - ab$ and~$1 - xy$ are squares of rational
numbers. \MathTrip{1903.}

There are a few macros from the Latex version that need to be included when the problems are compiled with Latex, but we'll get to that in a moment.

planning

Task list for Tripos Bot:

Task 1: Tripos problems into Latex.

Task 2: Rainbow mind machine, using list of images and/or .json to define bot items

Task 3: Latex to jpg script and templating solution

Task 4: Rainbow mind machine, ability to tweet multimedia images

timing

See how long it takes to complete, put yourself on a deadline.

Task 1: How long to extract all tripos problems? few minutes (15 minutes)

Task 2: Keep it simple, define bot items as a single image, same text different images each time (15-20 minutes)

Task 3: Latex to jpg is easy using convert, so main difficulty is templating system. Use sed and \input{FILENAME}. (30 minutes)

Task 4: Will take some experimenting, but pretty sure Rainbow Mind Machine has multimedia tweeting already. (15-20 minutes)

Can we finish Tripos bot in 1.5 hours?