Submissions from mathstodon.xyz

		Terence Tao: DeepMind's open repository of formalized mathematics conjectures (mathstodon.xyz)
		3 points by joak 32 days ago \| past \| 1 comment
		Terence Tao on the importance of funding basic mathematical research (mathstodon.xyz)
		5 points by bertman 39 days ago \| past \| 1 comment
		Terence Tao: Using modern tools to semi-automatically formalize a proof in Lean (mathstodon.xyz)
		1 point by ColinWright 53 days ago \| past
		Bluesky trusts the client app to fetch, and honestly report, webpage metadata (mathstodon.xyz)
		6 points by ColinWright 70 days ago \| past \| 1 comment
		Deconstructions of the Jigsaw Puzzles (mathstodon.xyz)
		1 point by ColinWright 85 days ago \| past
		Terence Tao: A short text about when to consider using an AI for a task (mathstodon.xyz)
		6 points by ColinWright 3 months ago \| past
		I Saw Democracy Die in Russia (mathstodon.xyz)
		51 points by jordigh 4 months ago \| past \| 13 comments
		Claude 3.7 in Cursor is eager – sometimes a bit too eager (mathstodon.xyz)
		19 points by stared 4 months ago \| past \| 9 comments
		Custom Software Becomes Commodity (mathstodon.xyz)
		2 points by stared 4 months ago \| past
		Part two of Grant Sanderson's video with Terry Tao on the cosmic distance ladder (mathstodon.xyz)
		385 points by ColinWright 4 months ago \| past \| 94 comments
		What are Majorana zero modes? (mathstodon.xyz)
		79 points by ColinWright 4 months ago \| past \| 10 comments
		The asteroid posing the greatest threat of collision is called 2024 YR₄ (mathstodon.xyz)
		3 points by ColinWright 4 months ago \| past
		Is the ArXiv safe from the current US Government attacks? (mathstodon.xyz)
		127 points by ColinWright 4 months ago \| past \| 101 comments
		Four Pieces Is Optimal (mathstodon.xyz)
		3 points by ColinWright 4 months ago \| past \| 1 comment
		Complex dynamics require complex solutions (mathstodon.xyz)
		214 points by ckemere 4 months ago \| past \| 144 comments
		"Homotopical macrocosms for higher category theory" identified as woke DEI grant (mathstodon.xyz)
		108 points by nabla9 4 months ago \| past \| 146 comments
		Terence Tao on the Ongoing Process of "Enshittification" (mathstodon.xyz)
		9 points by yo_yo_yo-yo 4 months ago \| past
		Trump's Federal Funding Freeze and Mean-Field Game Theory (mathstodon.xyz)
		107 points by bertman 5 months ago \| past \| 89 comments
		Terence Tao about the balance between quantitative and qualitative thinking (mathstodon.xyz)
		3 points by bertman 5 months ago \| past
		Terence Tao: The Regime of "No Effective Dynamics" (mathstodon.xyz)
		4 points by bertman 5 months ago \| past
		Dark patterns: It's not a real checkbox, but an SVG lookalike (mathstodon.xyz)
		1 point by ColinWright 5 months ago \| past \| 1 comment
		Folklore Maths Tricks from Terence Tao (mathstodon.xyz)
		2 points by colinprince 5 months ago \| past
		One of my papers got declined today (mathstodon.xyz)
		853 points by GavCo 6 months ago \| past \| 290 comments
		What's Causing the Great Stagnation? (mathstodon.xyz)
		15 points by hackandthink 6 months ago \| past \| 1 comment
		The number pi has an evil twin (mathstodon.xyz)
		579 points by pkaeding 6 months ago \| past \| 207 comments
		QwQ-32B significantly better at competition problems than previous open models (mathstodon.xyz)
		1 point by fspeech 7 months ago \| past
		Terence Tao's Update on Equational Theories Project Results (mathstodon.xyz)
		3 points by riffraff 7 months ago \| past
		Terence Tao: Solving problems by abstracting away highly relevant information (mathstodon.xyz)
		11 points by bertman 7 months ago \| past \| 1 comment
		Terence Tao: A little bit of math can go a long way (mathstodon.xyz)
		7 points by ColinWright 7 months ago \| past
		Chandler Davis: Funded in Part by the Federal Prison System ... (mathstodon.xyz)
		2 points by ColinWright 7 months ago \| past
		More