[–] 6 points 3 weeks ago (1 child)

Agreed, but tbh even after reading the article I’m left scratching my head about the exact type of journalism on display here. The Verge is just going around eliciting hot takes from mathematicians who are completely overwhelmed with this drop - only 40% formalized in Lean and three retractions in only a few days.

The math community doesn’t know what to make of it, the verge doesn’t either but they feel the need to report something.. so they’re pressuring for comments when the only reasonable thing to do is to keep your head down and read more until you parse wtf it is this unknown model with an unknown prompt produced for an unknown field of mathematics with almost no apparent explanation or fleshed out ideas on how this could apply to current knowledge or problems.

So calling it slop, at least for the time being seems at least somewhat reasonable. Though some claimed that there were 10s of interesting papers among the 700.

  • source
  • parent
  • context
  • [–] 7 points 2 months ago (2 children)

    I don’t blame you for that gut reaction, probably the safest instinct in today’s world. That being said I honestly can’t tell if OPs videos are real or not. It appears to be a news agency called France24 but the footage is so surreal as to be indistinguishable from disaster movie cgi and a few of the shots capturing the initial collapse look like they may have been recreated?

    What a time to be alive.

  • source
  • parent
  • context
  • [–] 4 points 3 months ago (4 children)

    Same. Then finding out that Americans can mute these things and the CRTC prevents IOS and Android from doing so in Canada was infuriating.

    My phone now has an automation to go into airplane mode when it hits the charger at night. Fuck the CRTC for thinking they have any right to make decisions over my device.

  • source
  • parent
  • context
  • [–] 4 points 3 months ago

    Na I think it’s more revealing as to how abnormal a flight is for that person and how it’s a stressful situation so their friends are more supportive because of that context. If you’re a traveling business man your friends stopped caring when flights stopped being novel for you.

  • source
  • parent
  • context
  • view more: next ›