Ooh this looks really neat! I'd love to see more content in the future on Structured outputs/Guided generation and sampling. Another great reference on inference-time algorithms for sampling is here: https://rentry.co/samplers
First time trying a code golf solution, managed to do Part 2 in 231 characters.
p="one two three four five six seven eight nine".split();sum(int(x[0]+x[-1])for x in["".join([["",s[0]][s[0].isdigit()],str(p.index(w)+1)][s.startswith(w)]for s in[l[i:]for i in range(len(l))]for w in p)for l in open("input.txt")])
I would love to see a combination of Markdown + Pandoc used to generate LaTeX whilst keeping the writing process content-centric.
I find the mathematical typesetting functionality of LaTeX to be incredible, but anything else (tables, columns, etc.) to be an absolute nightmare.
Pandoc allows for Lua filter to pre-process an AST generated from raw Markdown, and can then convert to 'traditional' LaTeX - why can't we utilise the best of both worlds?
For example, I used Pandoc to create Beamer slides in Markdown, with nice `div` syntax and maths typesetting - the advantage was I could focus on the semantics (and have a directly readable document) without any LaTeX fluff that was purely aesthetic.
> A set-theoretic approach to calculus has me intrigued.
Well calculus (and more generally, analysis) really does hinge on set theory. For example, points of accumulation for limits and hence differentiation, Riemann integration via the supremum and infimum etc are all set-theoretic ideas. Just generally encountered in a Real Analysis class and introductory calculus largely abstracts over the fundamental set concepts that underpin the mechanics.
I currently work for the University I study at in the (biomedical) library. I scan lots of old journal articles and periodicals for academics who need it for their research. A typical job might be scanning an article from 1960 on Potato Research for an agriculturalist, or a graph of human energy expenditure, or an analysis of fibres for forensic medicine. We get researchers from all around the world requesting articles on all sorts of topics from our archives. It's a Sandstone university, so we have some very old collections that are definitely getting crumby!
Other than locating the books, by far the most tedious aspect is the scanning. We only have a terrible flatbed scanner, that is completely unforgiving - it only has a 25 page email limit, otherwise you have to split it into separate emails. And if you mis-scan a page accidentally (some of the book margins are super tight), then you have to restart the entire scan - there's no delete page button!
> And if you mis-scan a page accidentally (some of the book margins are super tight), then you have to restart the entire scan - there's no delete page button!
Sounds like you need a license for Adobe Acrobat Pro or some other application that will let you reshuffle/insert pages.
Just to be pedantic, the Taylor series definition of the exponential converges absolutely, hence we can reorder the terms by odd/even powers without changing the sum.
