3 ms·

When Copilot and similar service gets this DALLE level of accuracy regarding coding ... It is going to be very relevant to the current software engineers, mayb

When Copilot and similar service gets this DALLE level of accuracy regarding coding ... It is going to be very relevant to the current software engineers, maybe just in next 5 years.

Jeff_Brown 5y ago
I'm skeptical. The thing about art is that so much qualifies as good. Something very close to a beautiful painting is probably also a beautiful painting. But an algorithm very close to the right way to count votes, or launch a rocket, or decide whether to lend to someone, is probably not the right way.
- deltaonefour 5y ago
  There are already exists machines that can produce beautiful art: Humans. More than any other technology the physical existence of human intelligence itself implies that it such intelligence can exist, which implies it can be built. Something like interstellar travel or even a civilization on mars is actually much less realistic due to the lack of examples in existence.
  - Jeff_Brown 5y ago
    You're right, the existence of humans strongly suggests that artificial general intelligence is possible. But the existence of DALL-E 2, which is not AGI and nonetheless produces beautiful art, does not convince me that software will be writing reliable software before AGI happens.
- BlueTemplar 5y ago
  Then you "just" have to use one of the formal proof languages and then verify the program ? Also, "decide how to lend to someone" is an interesting example, since it will always involve quite a bit of intuition even with a program helper (which won't be able to use a neural network due to transparency requirements).
  - Jeff_Brown 5y ago
    > Then you "just" have to use one of the formal proof languages and then verify the program ? Haha yes indeed, thereby elegantly reducing 8 hours of work to 40 hours.
    - BlueTemplar 5y ago
      Well, the question is how much of the formal verification can be automated too ?

When Copilot and similar service gets this DALLE level of accuracy regarding coding ... It is going to be very relevant to the current software engineers, maybe just in next 5 years.

Jeff_Brown 5y ago

I'm skeptical. The thing about art is that so much qualifies as good. Something very close to a beautiful painting is probably also a beautiful painting. But an algorithm very close to the right way to count votes, or launch a rocket, or decide whether to lend to someone, is probably not the right way.

deltaonefour 5y ago
There are already exists machines that can produce beautiful art: Humans. More than any other technology the physical existence of human intelligence itself implies that it such intelligence can exist, which implies it can be built. Something like interstellar travel or even a civilization on mars is actually much less realistic due to the lack of examples in existence.
- Jeff_Brown 5y ago
  You're right, the existence of humans strongly suggests that artificial general intelligence is possible. But the existence of DALL-E 2, which is not AGI and nonetheless produces beautiful art, does not convince me that software will be writing reliable software before AGI happens.
BlueTemplar 5y ago
Then you "just" have to use one of the formal proof languages and then verify the program ? Also, "decide how to lend to someone" is an interesting example, since it will always involve quite a bit of intuition even with a program helper (which won't be able to use a neural network due to transparency requirements).
- Jeff_Brown 5y ago
  > Then you "just" have to use one of the formal proof languages and then verify the program ? Haha yes indeed, thereby elegantly reducing 8 hours of work to 40 hours.
  - BlueTemplar 5y ago
    Well, the question is how much of the formal verification can be automated too ?