Hackernews posts about Terry Tao

  1. Top researchers [including Terry Tao ] consider leaving U.S. amid funding cuts [video] (www.youtube.com)
    5 points by paulpauper 17 days ago | discuss
  2. Mathematical exploration and discovery at scale (terrytao.wordpress.com)
    273 points by nabla9 11 days ago | 126 comments
  3. An Introduction to Measure Theory [pdf] (terrytao.wordpress.com)
    5 points by tzury 3 days ago | 1 comments
  4. New Nikodym set constructions over finite fields (terrytao.wordpress.com)
    2 points by jjgreen 5 days ago | discuss
  5. X-ray table allegedly used in poker scam linked to mafia, NBA (www.usatoday.com)
    4 points by ilamont 25 days ago | discuss
  6. Dozens charged in illegal sports betting and rigged poker games tied to Mafia (www.bostonglobe.com)
    4 points by rawgabbit 25 days ago | discuss
  7. Part two of Grant Sanderson's video with Terry Tao on the cosmic distance ladder (mathstodon.xyz)
    385 points by ColinWright 9 months ago | 94 comments
  8. NSF has suspended Terry Tao's grant (bsky.app)
    268 points by xqcgrek2 4 months ago | 336 comments
  9. Terry Tao note on the Black-Scholes equation (terrytao.wordpress.com)
    4 points by sebg over 1 year ago | discuss
  10. The elephant in the room – Terry Tao (terrytao.wordpress.com)
    2 points by anonyonoor about 1 year ago | discuss
  11. Terry Tao on the Limitations of Tools (2008) (terrytao.wordpress.com)
    2 points by HiPHInch about 1 year ago | discuss
  12. A Lean companion to Analysis I (terrytao.wordpress.com)
    292 points by jeremyscanvic 6 months ago | 42 comments
  13. Ask yourself dumb questions and answer them (2020) (terrytao.wordpress.com)
    228 points by vector_spaces almost 2 years ago | 119 comments
  14. There's more to mathematics than rigour and proofs (2007) (terrytao.wordpress.com)
    195 points by haraball over 1 year ago | 98 comments
  15. A pilot project in universal algebra to explore new ways to collaborate (terrytao.wordpress.com)
    182 points by anothermathbozo about 1 year ago | 22 comments
  16. AI for math resources, and erdosproblems.com (terrytao.wordpress.com)
    160 points by nabla9 over 1 year ago | 35 comments
  17. Decomposing a Factorial into Large Factors (terrytao.wordpress.com)
    139 points by surprisetalk 8 months ago | 27 comments
  18. Quaternions and spherical trigonometry (terrytao.wordpress.com)
    124 points by t55 10 months ago | 48 comments
  19. Closing the “green gap”: energy savings from the math of the landscape function (terrytao.wordpress.com)
    111 points by raphlinus 9 months ago | 71 comments
  20. Formalizing the proof of PFR in Lean4 using Blueprint: a short tour (terrytao.wordpress.com)
    99 points by georgehill almost 2 years ago | 37 comments
  21. A proof of concept tool to verify estimates (terrytao.wordpress.com)
    85 points by jjgreen 7 months ago | 23 comments
  22. Orders of Infinity (terrytao.wordpress.com)
    82 points by matt_d 7 months ago | 15 comments
  23. A slightly longer Lean 4 proof tour (terrytao.wordpress.com)
    78 points by iso8859-1 almost 2 years ago | 27 comments
  24. A tool to verify estimates, II: a flexible proof assistant (terrytao.wordpress.com)
    69 points by jjgreen 6 months ago | 3 comments
  25. The three-dimensional Kakeya conjecture, after Wang and Zahl (terrytao.wordpress.com)
    47 points by robinhouston 9 months ago | 1 comments
  26. What are the odds, II: the Venezuelan presidential election (terrytao.wordpress.com)
    38 points by cashew22 over 1 year ago | 27 comments
  27. Work Hard (2007) (terrytao.wordpress.com)
    29 points by ent101 over 1 year ago | 4 comments
  28. The distribution of eigenvalues of GUE and its minors at fixed index (terrytao.wordpress.com)
    14 points by surprisetalk 11 months ago | 1 comments
  29. What are the odds, II: the Venezuelan presidential election (terrytao.wordpress.com)
    12 points by sebg over 1 year ago | 1 comments
  30. The Elephant in the Room (terrytao.wordpress.com)
    7 points by nokita about 1 year ago | 2 comments
  31. Cosmic Distance Ladder video with 3blue1brown: commentary and corrections (terrytao.wordpress.com)
    7 points by Tomte 9 months ago | discuss
  32. Don't prematurely obsess on a single "big problem" or "big theory" (terrytao.wordpress.com)
    6 points by yamrzou about 1 year ago | discuss
  33. Terence Tao's Linear Algebra Lecture Notes (Math 115A) [pdf] (terrytao.wordpress.com)
    5 points by jimsojim 7 months ago | 1 comments
  34. Formalizing the Proof of Polynomial Freiman-Ruzsa in Lean4 (terrytao.wordpress.com)
    5 points by jjgreen almost 2 years ago | discuss
  35. On "local" and "global" errors in mathematical papers, and how to detect them (terrytao.wordpress.com)
    4 points by dargscisyhp 4 months ago | discuss
  36. A tour of the equational theories project (terrytao.wordpress.com)
    4 points by johndcook about 1 year ago | discuss