Tripos Bot
From charlesreid1
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:
latex problems
this just got a whole lot easier... Gutenberg offers a TeX 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.}
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?