Mastodon Feed
Boosted by pixxl:
amy@types.pl ("Amélia Liao 🍊😈") wrote:
"The purpose of proof assistants is not to advance our understanding of mathematics, but to make its enterprise dependent on Sam Altman's destruction of [at least] the computer hardware market, through which his grace has allowed one to feed the same shit they'd been doing for centuries into the bullshit generator to get Lean to spit out a green checkmark" Do you hear yourself? Do you need me to tell you how to go fuck yourself, too, since Claude has taken over where your prefrontal cortex used to be?