Why are there so many CPU bugs nowadays(mas.to)

20 points by riffraff 9 months ago | 6 comments

Since Linux 6.9, LUKS suspend stopped wiping disk-encryption keys from memory(mathstodon.xyz)

516 points by IngoBlechschmid 3 months ago | 217 comments

Mastodon thread by Ingo Blechschmidt describing how since Linux 6.9 the LUKS suspend tool silently failed to wipe disk-encryption keys from memory.

It's Not the End of Programming(mathstodon.xyz)

31 points by boris_m 2 months ago | 36 comments

Terence Tao: At the Erdos problem website, AI assistance now becoming routine(mathstodon.xyz)

260 points by dwohnitmok 11 months ago | 56 comments

Tao on “blue team” vs. “red team” LLMs(mathstodon.xyz)

507 points by qsort 1 year ago | 161 comments

A Mastodon post by Terence Tao contrasting blue-team (building) and red-team (vulnerability-finding) roles, applied to how LLMs might be used.

“Erdos problem #728 was solved more or less autonomously by AI”(mathstodon.xyz)

590 points by cod1r 9 months ago | 334 comments

Terence Tao's Mastodon post reporting that Erdős problem #728 was solved more or less autonomously by AI, and discussing emerging AI-powered capabilities in mathematics.