• 19 Posts
  • 947 Comments
Joined 3 years ago
cake
Cake day: June 27th, 2023

help-circle


  • More than anything else, the AI-rdős Problem cottage industry has damaged my trust in mathematicians. First of all, just how bad does a company have to be before you boycott their products? Just where is your line? Because the industry passed my line about seven thousand lines ago. Second, we know that in other fields, the output is shit, that people brainfuck themselves by counting the hits and forgetting the misses, that users de-skill themselves through slop dependence… What makes you so special? Piping the output through an automated theorem-prover, or any other hack to improve the reliability of the stochastic text extruder, can at best shift the probabilities.





  • From the linked post:

    Hacker News is my favorite place on the web, because it’s the last bastion of curiosity online.

    Fuuuuck off

    I need you to donate publicly under your real name and I want you to tell your friends how much money you gave me, since that’s the best way to show that you’re serious.

    This improves dramatically if you read it in the voice of Wayne Newton’s televangelist character from License to Kill (1989).

    I want to travel around the world and experience the cosmopolitan lifestyle my project is named after, using only private aviation, so that I won’t be molested or risk being detained each time I fly.

    Grifting off the United States’ escalating institutional abuse of trans people is a special kind of ghoulish.