18
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 13 Feb 2024
18 points (100.0% liked)
SneerClub
983 readers
22 users here now
Hurling ordure at the TREACLES, especially those closely related to LessWrong.
AI-Industrial-Complex grift is fine as long as it sufficiently relates to the AI doom from the TREACLES. (Though TechTakes may be more suitable.)
This is sneer club, not debate club. Unless it's amusing debate.
[Especially don't debate the race scientists, if any sneak in - we ban and delete them as unsuitable for the server.]
founded 1 year ago
MODERATORS
For people who don't want to go to twitter, heres the thread:
Solving the is-ought problem is super easy when you change what "ought" means.
P=NP if N=1
from the same CS minds who brought you βthe solution to the halting problem is trivial, just ask the computer if it halted. hyperturing!β
"This... statement... is... false! (don't think about it don't think about it don't think about it...)"
"Uh, true, I'll go with true."
I dislike how often people pull this trick. 'here are 5 definitions of this thing, we are going to pick one, prove something for it, and claim it also holds for all the other definitions, and never tell people we are working with a non-standard thing'. I get that the goal is to make the non-standard definition the standard, it is activism masking as logic, but eurgh.