you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
this post was submitted on 24 May 2026
17 points (94.7% liked)
TechTakes
2586 readers
67 users here now
Big brain tech dude got yet another clueless take over at HackerNews etc? Here's the place to vent. Orange site, VC foolishness, all welcome.
This is not debate club. Unless it’s amusing debate.
For actually-good tech, you want our NotAwfulTech community
founded 2 years ago
MODERATORS
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.