Linkage for a rainy Halloween

Elliot Kienzle illustrates the AI proof of the Mahler conjecture (\(\mathbb{M}\)) on symplectic embeddings of a ball into the Cartesian product of a convex body and its dual, showing that the product’s volume is always at least as large as the ball. On the generation of names of weevils and popes by L-systems (\(\mathbb{M}\)). Marginalia search (\(\mathbb{M}\)), a web search engine that prioritizes the stuff the big ones don’t: text-heavy, non-commercial pages, personal blogs, old university pages, and the like. Sudoku but you have to prove your answer before it’s allowed. Which raises the question: prove under what assumptions? Are you allowed to assume uniqueness in your proofs? Borromean hexagonal tilings, embedded orthogonally in \(\mathbb{R}^3\) in such a way that removing one of them allows the other two to be pulled apart. Lance Fortnow on reading messy proofs (\(\mathbb{M}\)). He quotes Noam Nisan as saying that “reading a badly written proof leads to better understanding…