sue_me_please@awful.systems to SneerClub@awful.systemsEnglish · 1 year agoThe Control Problem: Unsolved or Unsolvable?www.lesswrong.comexternal-linkmessage-square16fedilinkarrow-up18arrow-down11
arrow-up17arrow-down1external-linkThe Control Problem: Unsolved or Unsolvable?www.lesswrong.comsue_me_please@awful.systems to SneerClub@awful.systemsEnglish · 1 year agomessage-square16fedilink
minus-squareself@awful.systemsMlinkfedilinkEnglisharrow-up4·1 year agoit’s kind of amazing how many of the “I’ll never use CS theory in my career ever” folks end up trying to implement a fast SAT solver without realizing
it’s kind of amazing how many of the “I’ll never use CS theory in my career ever” folks end up trying to implement a fast SAT solver without realizing