Submissions from mathstodon.xyz

		The Void Spiral: How to Avoid the Void (mathstodon.xyz/isaacg)
		1 point by rapnie 2 days ago \| past \| discuss
		All grown-ups were once children (mathstodon.xyz/tao)
		4 points by joebig 5 days ago \| past \| 2 comments
		In this era of AI, it is important to remember what it is like to be a child (mathstodon.xyz/tao)
		4 points by o4c 5 days ago \| past \| discuss
		More questions about whether researchers can trust OpenAI with unpublished math (mathstodon.xyz/andreasthom)
		866 points by pred_ 6 days ago \| past \| 817 comments
		All grown-ups were once children, but only few of them remember it (mathstodon.xyz/tao)
		272 points by yurivish 6 days ago \| past \| 237 comments
		Tao: Open math problems being non-renewably mined by AI (mathstodon.xyz/tao)
		491 points by _alternator_ 7 days ago \| past \| 420 comments
		Terence Tao on Breakthrough in finite-time blowups for 3D incompressible Euler (mathstodon.xyz/tao)
		5 points by haxiomic 7 days ago \| past \| discuss
		By coincidence an independent result on Euler blowup has been released (mathstodon.xyz/tao)
		2 points by YeGoblynQueenne 7 days ago \| past \| discuss
		Terrence Tao – AI math solutions hurting the field (mathstodon.xyz/tao)
		4 points by danielmorozoff 8 days ago \| past \| discuss
		Terence Tao on "Solving Maths Problems Prematurely with AI Methods (mathstodon.xyz/tao)
		3 points by birdculture 9 days ago \| past \| discuss
		Terence Tao on the Navier-Stokes Equations (mathstodon.xyz/tao)
		7 points by aaraujo002 10 days ago \| past \| discuss
		Terence Tao: Protecting math problems from automated solvers (mathstodon.xyz/tao)
		4 points by bertman 13 days ago \| past \| discuss
		The advent of capable AI tools has highighted a variant of Simpson's paradox (mathstodon.xyz/tao)
		2 points by ColinWright 19 days ago \| past
		It's not the end of programming (mathstodon.xyz/abuseofnotation)
		49 points by boris_m 20 days ago \| past \| 89 comments
		Copyright does not protect AI-generated content in EU (mathstodon.xyz/maxpool)
		190 points by u1hcw9nx 26 days ago \| past \| 212 comments
		John Carlos Baez: How many Erdős problems will be solved by the end of the year? (mathstodon.xyz/johncarlosbaez)
		3 points by ColinWright 30 days ago \| past
		Terence Tao creates his first meme (mathstodon.xyz/tao)
		6 points by u1hcw9nx 35 days ago \| past
		One of my papers got declined today by the journal I submitted it to (2024) (mathstodon.xyz/tao)
		4 points by paulpauper 49 days ago \| past
		Since Linux 6.9, LUKS suspend stopped wiping disk-encryption keys from memory (mathstodon.xyz/iblech)
		539 points by IngoBlechschmid 75 days ago \| past \| 226 comments
		The primary purpose of code review is to find code that will be hard to maintain (mathstodon.xyz/mjd)
		379 points by ColinWright 75 days ago \| past \| 177 comments
		LUKS suspend failed to wipe volume encryption key from memory since Linux 6.9 (mathstodon.xyz/iblech)
		3 points by microtonal 88 days ago \| past
		Terence Tao: My recollections on the early history of compressed sensing (mathstodon.xyz/tao)
		8 points by johnbarron 4 months ago \| past \| 2 comments
		Mikan: a proof assistant for cubical type theory (forked from Agda) (mathstodon.xyz/jonmsterling)
		2 points by baruchel 4 months ago \| past
		John Carlos Baez: "Learning from Nature with System Dynamics" (mathstodon.xyz/johncarlosbaez)
		2 points by _Microft 4 months ago \| past
		Impact of AI on the practice of math analogous to cars on evolution of cities (mathstodon.xyz/tao)
		2 points by ColinWright 5 months ago \| past
		AI's impact on mathematics is analogous to the car's impact on cities (mathstodon.xyz/tao)
		4 points by birdculture 5 months ago \| past
		The ArXiv is separating from Cornell University, and is hiring a CEO (mathstodon.xyz/johncarlosbaez)
		5 points by mellosouls 6 months ago \| past
		The ArXiv is separating from Cornell University, and is hiring a CEO for 300k/yr (mathstodon.xyz/johncarlosbaez)
		6 points by binsquare 6 months ago \| past \| 2 comments
		Terence Tao had a paper rejected (mathstodon.xyz/tao)
		6 points by paulpauper 6 months ago \| past \| 1 comment
		Tao: An experiment reviving an archaic practice from the era of Gauss (mathstodon.xyz/tao)
		3 points by ColinWright 7 months ago \| past \| 1 comment
		More