Submissions from mathstodon.xyz

		Since Linux 6.9, LUKS suspend stopped wiping disk-encryption keys from memory (mathstodon.xyz)
		539 points by IngoBlechschmid 24 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 24 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 37 days ago \| past
		Terence Tao: My recollections on the early history of compressed sensing (mathstodon.xyz)
		8 points by johnbarron 71 days ago \| past \| 2 comments
		Mikan: a proof assistant for cubical type theory (forked from Agda) (mathstodon.xyz)
		2 points by baruchel 82 days ago \| past
		John Carlos Baez: "Learning from Nature with System Dynamics" (mathstodon.xyz)
		2 points by _Microft 89 days ago \| past
		Impact of AI on the practice of math analogous to cars on evolution of cities (mathstodon.xyz)
		2 points by ColinWright 4 months ago \| past
		AI's impact on mathematics is analogous to the car's impact on cities (mathstodon.xyz)
		4 points by birdculture 4 months ago \| past
		The ArXiv is separating from Cornell University, and is hiring a CEO (mathstodon.xyz)
		5 points by mellosouls 4 months ago \| past
		The ArXiv is separating from Cornell University, and is hiring a CEO for 300k/yr (mathstodon.xyz)
		6 points by binsquare 4 months ago \| past \| 2 comments
		Terence Tao had a paper rejected (mathstodon.xyz)
		6 points by paulpauper 4 months ago \| past \| 1 comment
		Tao: An experiment reviving an archaic practice from the era of Gauss (mathstodon.xyz)
		3 points by ColinWright 5 months ago \| past \| 1 comment
		A non-technical but capable friend has asked me about installing Linux (mathstodon.xyz)
		1 point by ColinWright 5 months ago \| past
		Book: "Beading with Algorithms: Cellular Automata in Peyote Stitch." (mathstodon.xyz)
		2 points by sohkamyung 5 months ago \| past
		Some 20-sided dice from Ptolemaic Egypt (ca.140BC) (mathstodon.xyz)
		2 points by aebtebeten 6 months ago \| past
		“Erdos problem #728 was solved more or less autonomously by AI” (mathstodon.xyz)
		619 points by cod1r 6 months ago \| past \| 363 comments
		Erdos Problem #728 Solved (Mostly) Autonomously by AI (mathstodon.xyz)
		4 points by pfdietz 6 months ago \| past
		The application of AI tools to Erdos problems passes a milestone (mathstodon.xyz)
		1 point by ColinWright 6 months ago \| past
		Erdos problems solved more or less autonomously by AI (mathstodon.xyz)
		3 points by gmays 6 months ago \| past
		AI tools are becoming capable enough to pick off open Erdos problem (mathstodon.xyz)
		4 points by olalonde 6 months ago \| past
		I doubt that anything resembling genuine AGI is within reach of current AI tools (mathstodon.xyz)
		140 points by gmays 7 months ago \| past \| 114 comments
		Artificial General Cleverness (mathstodon.xyz)
		4 points by bigdict 7 months ago \| past
		Terence Tao: Cleverness versus Intelligence in AI Tools and Humans (mathstodon.xyz)
		4 points by bertman 7 months ago \| past
		Apple Maps claims it's 29,905 miles away (mathstodon.xyz)
		156 points by ColinWright 7 months ago \| past \| 145 comments
		Intelligence is too high-dimensional for any low-dimensional narrative (mathstodon.xyz)
		6 points by gmays 7 months ago \| past \| 1 comment
		Tao: Intelligence is too high-dimensional for accurate low-dimensional narrative (mathstodon.xyz)
		3 points by bertman 8 months ago \| past \| 1 comment
		Terence Tao: At the Erdos problem website, AI assistance now becoming routine (mathstodon.xyz)
		311 points by dwohnitmok 8 months ago \| past \| 90 comments
		The third AI Math Olympiad Progress Prize has now launched (mathstodon.xyz)
		1 point by riffraff 8 months ago \| past
		Terrence Taos recent posts on AI, automated proof (mathstodon.xyz)
		3 points by webnrrd2k 9 months ago \| past \| 1 comment
		Resolving a $1000 Erdős problem, and vibe coding a Lean proof using ChatGPT (mathstodon.xyz)
		5 points by mathfan 9 months ago \| past \| 1 comment
		More