Stubsack: weekly thread for sneers not worth an entire post, week ending Sunday 28 July 2024
Stubsack: weekly thread for sneers not worth an entire post, week ending Sunday 28 July 2024
Need to let loose a primal scream without collecting footnotes first? 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 soo 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.
You're viewing a single thread.
Regarding that claimed breakthrough about AI winning the International Mathematical Olympiad: a reminder that a proof which hangs together logically is not necessarily a proof that makes sense.
Those formalized proofs are so incredibly ugly, it's amazing. Of course it doesn't much of a sensible indentation, but then there are single proof steps where I have no idea what it's even doing. [...] And then there are nonsense mathematical steps. The solution of problem 2 starts with induction, before introducing any variables. It applies induction to the number 12. And it write 12 as
(10)+2. Then it proceeds to do the whole proof in the base case of the induction, and notices that the induction step is trivial, since the goal is the same as the induction hypothesis (but instead of theassumptiontactic it usescongr 26).
'manual translation' undoubtably doing some heavy lifting here
Spending an unknown but potentially long amount of time to maybe get a solution of potentially minimal legibility is definitely AI's killer app.
movie announcer voice aaaaaand now, from the org structures that brought you Teams Doing Standup Poker, an announcement!
heeeeeeere's Promptfondling!
the org structures that brought you Teams Doing Standup Poker
which must be destroyed. find me who’s responsible for this (it’s the Google OKR people, isn’t it?)
listen buddy if you're not arguing about the definition of done for design phase and overspending your meeting windows by 2 hours because of points quibbling, are you even SAFe
Also, choice sneer in the comments:
AlphaProof is more "AlphaZero doing self play against Lean" and less "Gemeni reading human proofs"