Submissions from terrytao.wordpress.com

		The Equational Theories Project: Collaborative Mathematical Research at Scale (terrytao.wordpress.com)
		2 points by matt_d 1 day ago \| past \| discuss
		The story of Erdős problem #1026 (terrytao.wordpress.com)
		3 points by signa11 1 day ago \| past \| discuss
		Erdős Problem #1026 (terrytao.wordpress.com)
		6 points by cgdl 1 day ago \| past \| discuss
		Climbing the cosmic distance ladder: another sample chapter (terrytao.wordpress.com)
		2 points by jjgreen 18 days ago \| past
		An Introduction to Measure Theory [pdf] (terrytao.wordpress.com)
		5 points by tzury 26 days ago \| past \| 1 comment
		New Nikodym set constructions over finite fields (terrytao.wordpress.com)
		2 points by jjgreen 28 days ago \| past
		Mathematical exploration and discovery at scale (terrytao.wordpress.com)
		273 points by nabla9 34 days ago \| past \| 128 comments
		Generalised solutions and law of conservation of difficulty (2008) (terrytao.wordpress.com)
		2 points by measurablefunc 70 days ago \| past
		A crowdsourced project to link up erdosproblems.com to the OEIS (terrytao.wordpress.com)
		3 points by robinhouston 3 months ago \| past \| 1 comment
		On "local" and "global" errors in mathematical papers, and how to detect them (terrytao.wordpress.com)
		4 points by dargscisyhp 4 months ago \| past
		Exceptional intervals to the prime number theorem in short intervals (terrytao.wordpress.com)
		2 points by surprisetalk 6 months ago \| past
		Decomposing a factorial into large factors (second version) (terrytao.wordpress.com)
		2 points by jeremyscanvic 6 months ago \| past
		A Lean companion to Analysis I (terrytao.wordpress.com)
		292 points by jeremyscanvic 6 months ago \| past \| 42 comments
		A tool to verify estimates, II: a flexible proof assistant (terrytao.wordpress.com)
		69 points by jjgreen 7 months ago \| past \| 3 comments
		Orders of Infinity (terrytao.wordpress.com)
		82 points by matt_d 7 months ago \| past \| 15 comments
		A proof of concept tool to verify estimates (terrytao.wordpress.com)
		85 points by jjgreen 7 months ago \| past \| 23 comments
		A proof of concept tool to verify estimates (terrytao.wordpress.com)
		2 points by jeremyscanvic 7 months ago \| past \| 1 comment
		Stonean spaces, projective objects, Riesz rep. theorem, and condensed maths (terrytao.wordpress.com)
		1 point by surprisetalk 7 months ago \| past
		Terence Tao's Linear Algebra Lecture Notes (Math 115A) [pdf] (terrytao.wordpress.com)
		5 points by jimsojim 7 months ago \| past \| 1 comment
		Decomposing a Factorial into Large Factors (terrytao.wordpress.com)
		139 points by surprisetalk 8 months ago \| past \| 27 comments
		The three-dimensional Kakeya conjecture, after Wang and Zahl (terrytao.wordpress.com)
		1 point by EvgeniyZh 9 months ago \| past
		The three-dimensional Kakeya conjecture, after Wang and Zahl (terrytao.wordpress.com)
		47 points by robinhouston 9 months ago \| past \| 1 comment
		Closing the “green gap”: energy savings from the math of the landscape function (terrytao.wordpress.com)
		111 points by raphlinus 9 months ago \| past \| 71 comments
		Cosmic Distance Ladder [pdf] (terrytao.wordpress.com)
		2 points by paulpauper 9 months ago \| past
		Cosmic Distance Ladder video with 3blue1brown: commentary and corrections (terrytao.wordpress.com)
		7 points by Tomte 9 months ago \| past
		Quaternions and spherical trigonometry (terrytao.wordpress.com)
		124 points by t55 10 months ago \| past \| 48 comments
		Write down what you've done (terrytao.wordpress.com)
		2 points by kiyanwang 11 months ago \| past
		The distribution of eigenvalues of GUE and its minors at fixed index (terrytao.wordpress.com)
		14 points by surprisetalk 11 months ago \| past \| 1 comment
		The elephant in the room – Terry Tao (terrytao.wordpress.com)
		2 points by anonyonoor on Nov 11, 2024 \| past
		The Elephant in the Room (terrytao.wordpress.com)
		7 points by nokita on Nov 8, 2024 \| past \| 2 comments
		More