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.

  • blakestacey@awful.systems
    link
    fedilink
    English
    arrow-up
    10
    Ā·
    2 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).

      • blakestacey@awful.systems
        link
        fedilink
        English
        arrow-up
        13
        Ā·
        2 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@awful.systems
          link
          fedilink
          English
          arrow-up
          7
          Ā·
          2 months ago

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

          heeeeeeereā€™s Promptfondling!

          • self@awful.systems
            link
            fedilink
            English
            arrow-up
            5
            Ā·
            2 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@awful.systems
              link
              fedilink
              English
              arrow-up
              6
              Ā·
              2 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@awful.systems
      link
      fedilink
      English
      arrow-up
      11
      Ā·
      2 months ago

      Also, choice sneer in the comments:

      AlphaProof is more ā€œAlphaZero doing self play against Leanā€ and less ā€œGemeni reading human proofsā€