It feels as though the director made this movie just for me. I had to be at this point in my life to truly appreciate it. While my life isn’t as dramatic as the characters’, there is something about the immigrant experience that is so uniquely captured by the film. Not too far . . . Read more

$\tau$ manifesto The Tau Manifesto is dedicated to one of the most important numbers in mathematics, perhaps the most important: the circle constant relating the circumference of a circle to its linear dimension. For millennia, th . . . Read more

LMFDB Github The LMFDB is a database of mathematical objects arising in number theory and arithmetic geometry that illustrates some of the mathematical connections predicted by the Langlands prog . . . Read more

I came across this essay by Rodrigo Ochigame exploring possible future impact of math formalization and automation. Automated Mathematics and the Reconfiguration of Proof and Labor Abstract: This essay examines how . . . Read more

. . . Read more

I came across this “one sentence” proof that every prime congruent to 1 mod 4 can be written as a sum of two squares: https://doi.org/10.2307/2323918 The proof involves constructing the following cryptic involution $$ (x, y, . . . Read more

I came across two LLM based tactics for Lean llmstep: [L]LM proofstep suggestions in Lean LeanInfer: Neural Network Inference in Lean 4 They both use [LeanDoj . . . Read more

On one of my long drives recently, I was listening to the Smartless episode featuring Willem Dafoe. He shared a perspective that resonated with me. Althou . . . Read more

This was posted a while back on the Lean Zulip: LeanDojo LeanDojo: Theorem Proving with Retrieval-Augmented Language Models According to their description, LeanDojo is an open-source Lean play . . . Read more

I have been trying out some board games groups around Baltimore. Sadly I could not find any in the city itself but I found quite a few in the surrounding areas. I have been to two events of far and already learned quite a few new games. . . . Read more