Advent of Code 2024 complete!

MarkItDown: Python tool for converting various files to Markdown. It presently supports: PDF, PowerPoint, Word, Excel, Images, Audio, HTML, csv, json, xml, etc. github.com/microsoft/markitdown

Vanilla JS vanilla-js.com

Donald Knuth's 28th annual Christmas Lecture: Strong Components and Weak Components www.youtube.com/watch?v=au26uZfuxV… (past recordings www.youtube.com/playlist?list=PLoR…)

In Python, comparisons can be chained arbitrarily, e.g., x < y <= z is equivalent to x < y and y <= z docs.python.org/3/reference/expres…

Lean: First Steps leanfirststeps.blogspot.com/p/cont…

Are all natural numbers interesting? If not, there must be a smallest uninteresting number - and that makes it interesting. 🤔 en.wikipedia.org/wiki/Interesting_…

Kaleidoscope: Implementing a Language with LLVM llvm.org/docs/tutorial

Beating OpenBLAS and MKL in FP32 Matrix Multiplication From Scratch salykova.github.io/matmul-cpu

Note that the function $s(x)=(\ln x) / x$ from the post has the following property:

$$-s(e^{-x}) = -\frac{\ln(e^{-x})}{e^{-x}} = x e^x$$

and the inverse function (branches) of $x \mapsto x e^x$ is commonly called the Lambert W function, which has undergone a lot of study.

en.wikipedia.org/wiki/Lambert_W_fu… mathworld.wolfram.com/LambertW-Fun…

Journal of Open Source Software @joss joss.theoj.org

A curated list of awesome mathematics resources github.com/rossant/awesome-math

AlphaGeometry: An Olympiad-level AI system for geometry deepmind.google/discover/blog/alph…

Math OCR model that outputs LaTeX and Markdown github.com/VikParuchuri/texify

Easily train AlphaZero-like agents on any environment you want github.com/s-casci/tinyzero

A chiral aperiodic monotile - one that tiles the plane aperiodically without reflections cs.uwaterloo.ca/~csk/spectre

Donald Knuth Annual Christmas Lectures youtube.com/playlist?list=PLoROMvo…

Benchmarking LLMs in the Wild, an Elo-based LLM leaderboard huggingface.co/spaces/lmsys/chatbo…

The AWS SDK for Rust is now generally available and supported for production use aws.amazon.com/blogs/developer/ann…

The Miracle Sudoku. A puzzle with sudoku rules plus some extra restrictions. The host's reaction on seeing the puzzle for the first time (around 3:45) is hilarious. www.youtube.com/watch?v=yKf9aUIxdb…

MacTutor History of Mathematics Archive mathshistory.st-andrews.ac.uk