sue_me_please to SneerClubEnglish · 2 years agoThe Control Problem: Unsolved or Unsolvable?www.lesswrong.comexternal-linkmessage-square13linkfedilinkarrow-up18arrow-down11
arrow-up17arrow-down1external-linkThe Control Problem: Unsolved or Unsolvable?www.lesswrong.comsue_me_please to SneerClubEnglish · 2 years agomessage-square13linkfedilink
minus-squareselfMAlinkfedilinkEnglisharrow-up4·2 years 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