Hackernews posts about Terry Tao

  1. Generalised solutions and law of conservation of difficulty (2008) (terrytao.wordpress.com)
    2 points by measurablefunc 2 days ago | discuss
  2. A Tribute to Terry Davis TempleOS – A Small App to Talk with God (github.com)
    2 points by scraper02 9 days ago | discuss
  3. Ask HN: Local hostnames without root/admin
    13 points by terry_hc 12 days ago | 32 comments
  4. Part two of Grant Sanderson's video with Terry Tao on the cosmic distance ladder (mathstodon.xyz)
    385 points by ColinWright 7 months ago | 94 comments
  5. NSF has suspended Terry Tao's grant (bsky.app)
    268 points by xqcgrek2 2 months ago | 336 comments
  6. Terry Tao note on the Black-Scholes equation (terrytao.wordpress.com)
    4 points by sebg about 1 year ago | discuss
  7. The elephant in the room – Terry Tao (terrytao.wordpress.com)
    2 points by anonyonoor 11 months ago | discuss
  8. Terry Tao on the Limitations of Tools (2008) (terrytao.wordpress.com)
    2 points by HiPHInch about 1 year ago | discuss
  9. A Lean companion to Analysis I (terrytao.wordpress.com)
    292 points by jeremyscanvic 4 months ago | 42 comments
  10. Ask yourself dumb questions and answer them (2020) (terrytao.wordpress.com)
    228 points by vector_spaces almost 2 years ago | 119 comments
  11. There's more to mathematics than rigour and proofs (2007) (terrytao.wordpress.com)
    195 points by haraball over 1 year ago | 98 comments
  12. 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
  13. AI for math resources, and erdosproblems.com (terrytao.wordpress.com)
    160 points by nabla9 over 1 year ago | 35 comments
  14. Decomposing a Factorial into Large Factors (terrytao.wordpress.com)
    139 points by surprisetalk 6 months ago | 27 comments
  15. Quaternions and spherical trigonometry (terrytao.wordpress.com)
    124 points by t55 8 months ago | 48 comments
  16. Closing the “green gap”: energy savings from the math of the landscape function (terrytao.wordpress.com)
    111 points by raphlinus 7 months ago | 71 comments
  17. 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
  18. A proof of concept tool to verify estimates (terrytao.wordpress.com)
    85 points by jjgreen 5 months ago | 23 comments
  19. Orders of Infinity (terrytao.wordpress.com)
    82 points by matt_d 5 months ago | 15 comments
  20. A slightly longer Lean 4 proof tour (terrytao.wordpress.com)
    78 points by iso8859-1 almost 2 years ago | 27 comments
  21. A tool to verify estimates, II: a flexible proof assistant (terrytao.wordpress.com)
    69 points by jjgreen 5 months ago | 3 comments
  22. Inequalities, convergence, and continuity as "special deals" (terrytao.wordpress.com)
    64 points by bdr almost 2 years ago | 10 comments
  23. The three-dimensional Kakeya conjecture, after Wang and Zahl (terrytao.wordpress.com)
    47 points by robinhouston 7 months ago | 1 comments
  24. What are the odds, II: the Venezuelan presidential election (terrytao.wordpress.com)
    38 points by cashew22 about 1 year ago | 27 comments
  25. Work Hard (2007) (terrytao.wordpress.com)
    29 points by ent101 over 1 year ago | 4 comments
  26. The distribution of eigenvalues of GUE and its minors at fixed index (terrytao.wordpress.com)
    14 points by surprisetalk 10 months ago | 1 comments
  27. What are the odds, II: the Venezuelan presidential election (terrytao.wordpress.com)
    12 points by sebg about 1 year ago | 1 comments
  28. Terence Tao's Introduction to Measure Theory [pdf] (terrytao.files.wordpress.com)
    10 points by defrost almost 2 years ago | discuss
  29. The Elephant in the Room (terrytao.wordpress.com)
    7 points by nokita 11 months ago | 2 comments
  30. Cosmic Distance Ladder video with 3blue1brown: commentary and corrections (terrytao.wordpress.com)
    7 points by Tomte 7 months ago | discuss
  31. Don't prematurely obsess on a single "big problem" or "big theory" (terrytao.wordpress.com)
    6 points by yamrzou 12 months ago | discuss
  32. Terence Tao's Linear Algebra Lecture Notes (Math 115A) [pdf] (terrytao.wordpress.com)
    5 points by jimsojim 6 months ago | 1 comments
  33. Formalizing the Proof of Polynomial Freiman-Ruzsa in Lean4 (terrytao.wordpress.com)
    5 points by jjgreen almost 2 years ago | discuss