sue_me_please@awful.systems to SneerClub@awful.systemsEnglish · 1 year agoThe Control Problem: Unsolved or Unsolvable?www.lesswrong.comexternal-linkmessage-square17fedilinkarrow-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-square17fedilink
minus-squareDavid Gerard@awful.systemsMlinkfedilinkEnglisharrow-up5·1 year agoremembering how Thiel paid Buterin to drop out of his comp sci course so he spent all of 2018 trying to implement plans for Ethereum that only required that P=NP
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
minus-square🆘Bill Cole 🇺🇦@toad.sociallinkfedilinkarrow-up2·1 year ago@dgerard @sneerclub It’s a reasonably close approximation, at least…
remembering how Thiel paid Buterin to drop out of his comp sci course so he spent all of 2018 trying to implement plans for Ethereum that only required that P=NP
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
@dgerard @sneerclub It’s a reasonably close approximation, at least…