Submissions from mathstodon.xyz

		Tao: Open math problems being non-renewably mined by AI (mathstodon.xyz)
		242 points by _alternator_ 7 hours ago \| past \| 173 comments
		Terence Tao on Breakthrough in finite-time blowups for 3D incompressible Euler (mathstodon.xyz)
		5 points by haxiomic 15 hours ago \| past \| discuss
		By coincidence an independent result on Euler blowup has been released (mathstodon.xyz)
		2 points by YeGoblynQueenne 18 hours ago \| past \| discuss
		Terrence Tao – AI math solutions hurting the field (mathstodon.xyz)
		4 points by danielmorozoff 1 day ago \| past \| discuss
		Terence Tao on "Solving Maths Problems Prematurely with AI Methods (mathstodon.xyz)
		3 points by birdculture 2 days ago \| past \| discuss
		Terence Tao on the Navier-Stokes Equations (mathstodon.xyz)
		7 points by aaraujo002 3 days ago \| past \| discuss
		Terence Tao: Protecting math problems from automated solvers (mathstodon.xyz)
		4 points by bertman 5 days ago \| past \| discuss
		The advent of capable AI tools has highighted a variant of Simpson's paradox (mathstodon.xyz)
		2 points by ColinWright 12 days ago \| past \| discuss
		It's not the end of programming (mathstodon.xyz)
		49 points by boris_m 13 days ago \| past \| 89 comments
		Copyright does not protect AI-generated content in EU (mathstodon.xyz)
		190 points by u1hcw9nx 19 days ago \| past \| 212 comments
		John Carlos Baez: How many Erdős problems will be solved by the end of the year? (mathstodon.xyz)
		3 points by ColinWright 23 days ago \| past
		Terence Tao creates his first meme (mathstodon.xyz)
		6 points by u1hcw9nx 28 days ago \| past
		One of my papers got declined today by the journal I submitted it to (2024) (mathstodon.xyz)
		4 points by paulpauper 42 days ago \| past
		Since Linux 6.9, LUKS suspend stopped wiping disk-encryption keys from memory (mathstodon.xyz)
		539 points by IngoBlechschmid 68 days ago \| past \| 226 comments
		The primary purpose of code review is to find code that will be hard to maintain (mathstodon.xyz)
		379 points by ColinWright 68 days ago \| past \| 177 comments
		LUKS suspend failed to wipe volume encryption key from memory since Linux 6.9 (mathstodon.xyz)
		3 points by microtonal 81 days ago \| past
		Terence Tao: My recollections on the early history of compressed sensing (mathstodon.xyz)
		8 points by johnbarron 3 months ago \| past \| 2 comments
		Mikan: a proof assistant for cubical type theory (forked from Agda) (mathstodon.xyz)
		2 points by baruchel 4 months ago \| past
		John Carlos Baez: "Learning from Nature with System Dynamics" (mathstodon.xyz)
		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)
		2 points by ColinWright 5 months ago \| past
		AI's impact on mathematics is analogous to the car's impact on cities (mathstodon.xyz)
		4 points by birdculture 5 months ago \| past
		The ArXiv is separating from Cornell University, and is hiring a CEO (mathstodon.xyz)
		5 points by mellosouls 5 months ago \| past
		The ArXiv is separating from Cornell University, and is hiring a CEO for 300k/yr (mathstodon.xyz)
		6 points by binsquare 5 months ago \| past \| 2 comments
		Terence Tao had a paper rejected (mathstodon.xyz)
		6 points by paulpauper 6 months ago \| past \| 1 comment
		Tao: An experiment reviving an archaic practice from the era of Gauss (mathstodon.xyz)
		3 points by ColinWright 7 months ago \| past \| 1 comment
		A non-technical but capable friend has asked me about installing Linux (mathstodon.xyz)
		1 point by ColinWright 7 months ago \| past
		Book: "Beading with Algorithms: Cellular Automata in Peyote Stitch." (mathstodon.xyz)
		2 points by sohkamyung 7 months ago \| past
		Some 20-sided dice from Ptolemaic Egypt (ca.140BC) (mathstodon.xyz)
		2 points by aebtebeten 7 months ago \| past
		“Erdos problem #728 was solved more or less autonomously by AI” (mathstodon.xyz)
		619 points by cod1r 8 months ago \| past \| 363 comments
		Erdos Problem #728 Solved (Mostly) Autonomously by AI (mathstodon.xyz)
		4 points by pfdietz 8 months ago \| past
		More