PostDoc Problems
Math Arena AI
Lean
I was doing some research for a talk and came across this website for recording AI results on math problems: https://matharena.ai/ LLMs have been getting better and better at solving math problems but there is a worry that all they do is regurgitate what . . . Read more
Rubik's Cube in Lean
Lean
This Github repo contains the proof that there are $2^{12} \times 3^{8} \times 8! \times 11!$ Rubik’s cubes: https://github.com/vihdzp/rubik-lean4 What! This is the most amazing thing I’ve read in a long time. What is t . . . Read more
Mir Publications
Popular Science
I loathe American textbooks from the bottom of my heart. I learned math from these tiny 100 page books that made the point directly and succinctly and trusted the reader’s intelligence to figure out the rest. Textbooks here seem to be written for people who are incapable of thinking for the . . . Read more
Candles
Stray Thoughts
I was driving north on Greenmount and noticed that the traffic lights at many intersections had stopped working. “Typical Baltimore,” was my first thought. Thankfully, it was Sunday morning, and the streets were empty, so it wasn’t too bad. If anything, I was pleasantly surprise . . . Read more
Pythagoras using Hilbert 90
Popular Science
Dummit and Foote has a fun way of classifying Pythagorean triples. It is a classic fact that if $(a, b, c)$ is a reduced Pythagorean triple then there exists integers $m, n$ such that $$ \begin{align*} a &= m^2 - n^2, \ b &= 2mn, \ c &= m^2 + n^2. \end{align*} $$ To prov . . . Read more
Mind Game
Movies
Weird as fuck is . . . Read more
Phistomephel Ring in Sudoku
Popular Science
Came across this really cool short video about identities in a Sudoku square: . . . Read more
Godzilla Minus One
Movies
I never imagined that I would like a Kaiju movie. I never understood about their point or their attraction. But Godzilla Minus One was a really good movie. The Godzilla is a metaphor for nuclear holocaust, a force of nature, a tragedy too big to control. Even though it is the central plo point an . . . Read more
Poor Things
Movies
After watching the trailer, I was very reluctant to watch Poor Things. But one boring Saturday I had nothing else to do so I watched it in a theater and am I glad I did. What a visual feast! There was not a dull moment in the movie. It felt like I would miss something important if I blinked. Emma . . . Read more
Tom Scott
Series
Tom Scott stopped making weekly videos today after 10 years. When I first discovered his channel, I binged through all of his videos - at least the ones about travel, and science, and stuff. His departure feels significant. Signaling me to change as well, shed some of my old skin. . . . Read more