sue_me_please@awful.systems to SneerClub@awful.systemsEnglish · 2 years 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 · 2 years agomessage-square16fedilink
minus-squareDavid Gerard@awful.systemsMlinkfedilinkEnglisharrow-up5·2 years 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·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
minus-square🆘Bill Cole 🇺🇦@toad.sociallinkfedilinkarrow-up2·2 years 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…