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:
\Item{18.} 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.}