Hackernews posts about Terry Tao
- Decomposing a Factorial into Large Factors (terrytao.wordpress.com)
- Terence Tao's Linear Algebra Lecture Notes (Math 115A) [pdf] (terrytao.wordpress.com)
- Whatever Happened to 'Three Gun Terry'? (thepulp.net)
- Terry Tao's generals (2012) (web.math.princeton.edu)
- Terry Tao note on the Black-Scholes equation (terrytao.wordpress.com)
- The elephant in the room – Terry Tao (terrytao.wordpress.com)
- Terry Tao on the Limitations of Tools (2008) (terrytao.wordpress.com)
- Ask yourself dumb questions and answer them (2020) (terrytao.wordpress.com)
- There's more to mathematics than rigour and proofs (2007) (terrytao.wordpress.com)
- A pilot project in universal algebra to explore new ways to collaborate (terrytao.wordpress.com)
- A mathematical formalization of dimensional analysis (2012) (terrytao.wordpress.com)
- AI for math resources, and erdosproblems.com (terrytao.wordpress.com)
- Be sceptical of your own work (2009) (terrytao.wordpress.com)
- Quaternions and spherical trigonometry (terrytao.wordpress.com)
- Closing the “green gap”: energy savings from the math of the landscape function (terrytao.wordpress.com)
- Formalizing the proof of PFR in Lean4 using Blueprint: a short tour (terrytao.wordpress.com)
- A slightly longer Lean 4 proof tour (terrytao.wordpress.com)
- AI to Assist Mathematical Reasoning: A Workshop (terrytao.wordpress.com)
- Inequalities, convergence, and continuity as "special deals" (terrytao.wordpress.com)
- The three-dimensional Kakeya conjecture, after Wang and Zahl (terrytao.wordpress.com)
- What are the odds, II: the Venezuelan presidential election (terrytao.wordpress.com)
- Work Hard (2007) (terrytao.wordpress.com)
- The distribution of eigenvalues of GUE and its minors at fixed index (terrytao.wordpress.com)
- What are the odds, II: the Venezuelan presidential election (terrytao.wordpress.com)
- Terence Tao's Introduction to Measure Theory [pdf] (terrytao.files.wordpress.com)
- The Elephant in the Room (terrytao.wordpress.com)
- Cosmic Distance Ladder video with 3blue1brown: commentary and corrections (terrytao.wordpress.com)
- Don't prematurely obsess on a single "big problem" or "big theory" (terrytao.wordpress.com)
- Formalizing the Proof of Polynomial Freiman-Ruzsa in Lean4 (terrytao.wordpress.com)
- Terry, 57 is not a prime (terrytao.wordpress.com)
- A tour of the equational theories project (terrytao.wordpress.com)