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.

  • @blakestaceyA
    link
    English
    104 months ago

    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).

    • @BigMuffin69
      link
      English
      154 months ago

      ‘manual translation’ undoubtably doing some heavy lifting here

      • @blakestaceyA
        link
        English
        134 months ago

        Spending an unknown but potentially long amount of time to maybe get a solution of potentially minimal legibility is definitely AI’s killer app.

        • @froztbyte
          link
          English
          74 months ago

          movie announcer voice aaaaaand now, from the org structures that brought you Teams Doing Standup Poker, an announcement!

          heeeeeeere’s Promptfondling!

          • @selfA
            link
            English
            54 months ago

            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?)

            • @froztbyte
              link
              English
              64 months ago

              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

    • @BigMuffin69
      link
      English
      114 months ago

      Also, choice sneer in the comments:

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