Have a sneer percolating in your system but not enough time/energy to make a whole post about it? Go forth and be mid — welcome to the Stubsack, your first port of call for learning fresh Awful you’ll near-instantly regret.
Any awful.systems sub may be subsneered in this subthread, techtakes or no.
If your sneer seems higher quality than you thought, feel free to cut’n’paste it into its own post — there’s no quota for posting and the bar really isn’t that high.
The post Xitter web has spawned so many “esoteric” right wing freaks, but there’s no appropriate sneer-space for them. I’m talking redscare-ish, reality challenged “culture critics” who write about everything but understand nothing. I’m talking about reply-guys who make the same 6 tweets about the same 3 subjects. They’re inescapable at this point, yet I don’t see them mocked (as much as they should be)
Like, there was one dude a while back who insisted that women couldn’t be surgeons because they didn’t believe in the moon or in stars? I think each and every one of these guys is uniquely fucked up and if I can’t escape them, I would love to sneer at them.
(Credit and/or blame to David Gerard for starting this.)
I’m disappointed in the maths community but not regretting my decision to avoid taking maths as a major. This is remarkably in line with the mentality cultivated by the typical maths department and must be a frustrating daily experience.
If you ever reopen the topic with your colleagues, an interesting starting point might be their thoughts on theorem 14 from this suite; in my opinion, Lean 4 is clearly untrustable. The lack of awareness of this issue seems to stem from the same blind spot that leads to lack of awareness of non-mathematical cognition: whaddaya mean it doesn’t all reduce to one particular pile of symbols which all fit together perfectly?
Theorem 13 lead to a recent inconsistency