Skip Navigation

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.

203 comments
  • 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 the assumption tactic it uses congr 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.

    • Also, choice sneer in the comments:

      AlphaProof is more "AlphaZero doing self play against Lean" and less "Gemeni reading human proofs"

    • How do people do this without dying of anxiety?

      BTW, that last comment on RetractionWatch was grim:

      I recently saw a presentation by a job candidate (a PhD with many years experience) who used figures that were clearly AI-generated. They weren’t as funny as this example or the giant rat penis, but certainly fictional and unreal. In and of itself, troubling enough. Worse was that my colleagues involved in the interview didn’t care when I pointed it out.

    • 2 Giant 2 Rat Penis

    • ai use case: you can pump out pseudoscience promoting fluff disguised as papers in predatory journals with less effort

    • Okay but this is about alkaline water so it's garbage even without the genAI imagery.

      It's even by Wu et al., come on, low hanging fruit

  • Jeremy Keith on the bullshit "privacy sandbox" in chrome and firefox: https://adactio.com/journal/21285

    I like Jeremy because he is an OG, but I think his requirement for proof that targeted advertising "works" before the browsers implement these features is off the mark for me. He's an agency guy, a bit like Andy Budd, so they tend to have these really visceral takes about the state of the web but with this skewed perspective of best interests

    • Google just announced they're not getting rid of third party cookies after all. They announced this in a wordy blog post with so much spin as to be confusing (as is tradition): https://privacysandbox.com/news/privacy-sandbox-update/

      • We developed the Privacy Sandbox with the goal of finding innovative solutions that meaningfully improve online privacy while preserving an ad-supported internet that supports a vibrant ecosystem of publishers, connects businesses with customers, and offers all of us free access to a wide range of content.

        god, the opening paragraph made my head spin with tech pr copy

    • There was no technical reason why we couldn’t have web fonts. The reason why we didn’t get web fonts for years and years was because browser makers were concerned about piracy and type foundries.

      I was a bit surprised when I learned fonts are CORSd at least party as a sort of primitive DRM so that font companies would buy into the webfont spec (that's how I remember it anyway, it's been awhile since I dug up the relevant mailing list messages)

  • pivot-to-ai.com needs a new theme. Blocksy looks really nice - but it doesn't work with WP Dark Mode and caches badly.

    Need a 2 column blog theme suiting full short posts on the front page, that plays nice with Dark Mode. Any tips?

  • Butters and Trump are ruining my ability to get anything done in town today. Not a big fan of this dumb shit inconveniencing me IRL.

    • Here's a tweet of Winklevoss feeling snubbed by VP Harris (twittercom)

      The Biden-Harris Administration wages all-out war on the crypto industry for 4 years. Despite all of this, Kamala is still invited to the @TheBitcoinConf in Nashville and given a chance to speak to our industry and reset the relationship. What does she do? She declines. She can’t even take the first step and show up to start mending fences. Our industry won't forget this. We will show no mercy in November.

      and another much longer one.

      My hope is that in the not-too-distant future there are no politicians at any Bitcoin or crypto conferences. Not because they are not welcome, but because crypto is so universally accepted that it is no longer a campaign issue and therefore would be a waste of their time. Like going to a conference on whether or not email or the Internet should be legal or allowed.

      Ooh, Like the internet! I got Bingo!

      Bitcoin bros: more of this self-aggrandizing rage please. It's so entertaining to read.

203 comments