Slashdot Mirror


Will Unpredictable 'Franken-Algorithms' Have Deadly Consequences and Make Programmers Obsolete? (theguardian.com)

Zorro (Slashdot reader #15,797) summarizes a new article in the Guardian: The death of a woman hit by a self-driving car highlights an unfolding technological crisis, as code piled on code creates "a universe no one fully understands."

"In some ways we've lost agency. When programs pass into code and code passes into algorithms and then algorithms start to create new algorithms, it gets farther and farther from human agency. Software is released into a code universe which no one can fully understand."

The author dubs these man-made monsters "franken-algos," since "After a time in the wild, we no longer know what they are: they have the potential to become erratic." Self-learning algorithms are already part of the "new all-machine phase" of Wall Street trading, leading to what science historian George Dyson believes are rules "where nobody knows what the rules are: the algorithms create their own rules -- you let them evolve the same way nature evolves organisms."

Where does it end? There's already a robotic sharpshooter policing the demilitarized zone between North and South Korea, and "swarms of coordinated, weaponized drones" already being developed by three different countries. The article suggests re-thinking our legal system to assign blame for any badly malfunctioning algorithms, noting that the Association for Computing Machinery recently updated its code of ethics "along the lines of medicine's Hippocratic oath, to instruct computing professionals to do no harm and consider the wider impacts of their work.... Solutions exist or can be found for most of the problems described here, but not without incentivizing big tech to place the health of society on a par with their bottom lines.

"More serious in the long term is growing conjecture that current programming methods are no longer fit for purpose given the size, complexity and interdependency of the algorithmic systems we increasingly rely on." Toby Walsh, a professor of artificial intelligence at the University of New South Wales, even says "We will eventually give up writing algorithms altogether... "because the machines will be able to do it far better than we ever could. Software engineering is in that sense perhaps a dying profession."

50 of 96 comments (clear)

  1. No by Anonymous Coward · · Score: 2, Insightful

    Someone's got to fix it when it goes wrong.

    Typical click bait.

    1. Re:No by ShanghaiBill · · Score: 2

      The only specific example given in TFA is the pedestrian killed by Uber, which was NOT an algorithm failure, it was a policy failure. The policy decision to toss control back to an inattentive human when a collision was imminent was made by humans, not a machine.

  2. Programmers will not be obsolete by Anonymous Coward · · Score: 4, Insightful

    What do you call the person who gives the franken-algorithm a specific list of instructions to accomplish your goal? A programmer.

    1. Re:Programmers will not be obsolete by cascadingstylesheet · · Score: 4, Insightful

      What do you call the person who gives the franken-algorithm a specific list of instructions to accomplish your goal? A programmer.

      Yep. The never ending dream of management, but impossible.

      I remember the last time I saw it in action. Yeah, Marketing could do more stuff themselves, after acquiring new toys. But they turned into (rather bad) "programmers", using non-standard clunky tools with none of the helpful components of actual programming environments. And spent their time thereafter playing with the toys, instead of marketing. What a win!

    2. Re: Programmers will not be obsolete by DigiShaman · · Score: 1

      At some point AI might become self-aware enough to create even better AI. So on and so forth. Whatever and however they will code themselves will be beyond human comprehension and seemingly a "magic" force of nature unto itself.

      --
      Life is not for the lazy.
    3. Re:Programmers will not be obsolete by Anonymous Coward · · Score: 1

      Nope. A programmer understand exactly what their code is doing and why at every step of the process. If you don't then you aren't a programmer, at best you're a script kiddie.

    4. Re:Programmers will not be obsolete by q_e_t · · Score: 2

      That assumes either perfect memory, knowledge, or documentation. And you can't even use the old adage: three things, pick two, as likely none of those will be perfect. And sometimes you may believe you know what it does, given your own design, but are in error, even before you consider that libraries or frameworks you have used may have errors. So about the most you can say is "more chance of understanding".

    5. Re:Programmers will not be obsolete by vakuona · · Score: 1

      Understanding what code does and predicting what it will do are not quite the same thing. Understanding how a neural network works does not necessarily mean you can predict how it will behave for all inputs.

    6. Re: Programmers will not be obsolete by Rick+Schumann · · Score: 1

      At some point AI might become self-aware enough to create even better AI.

      Not with the current excuse for AI there won't be. It doesn't 'think', has zero capacity to do that (because we don't even understand how *we* do that), is not self-aware (again, because we don't even understand how that happens in human brains) therefore you can't write code or build a machine that does that. You're engaging in 'magical thinking' if you're thinking just adding more and more hardware will make it just suddenly happen all on it's own.

    7. Re:Programmers will not be obsolete by samwichse · · Score: 1

      Sounds like Vernor Vinge's Programmer-at-arms or possibly Programmer-archaeologist position to me.

      Sam

  3. Unavoidable by kiwioddBall · · Score: 1

    Probably unavoidable. Our IRL universe is unpredictable, chaos and no-one fully understands it. Our own body mutates in undesirable ways, we suddenly get cancer. This is the way of the universe. As we get closer and closer to some sort of AI indistinguishable from real life I suspect this is an organic consequence.

    1. Re:Unavoidable by ganv · · Score: 2

      This seems right that complexity like this is likely unavoidable. Evolution has a fairly reliable way to deal with this. Complexity is allowed to grow unchecked but every generation of a species is required to be able to survive and reproduce or it goes extinct. That seems to be pretty much what is happening with software.

      There seems to be a dream that there is a simple theory of everything that humans can understand and that will allow us to do what we want in our complex world and still understand it. But it seems not to be founded in reality. The biological human mind can't and won't understand many of the complex systems we rely on to survive. Software complexity adds another entry to an already long list of complex systems we rely on but don't understand including ecosystems, brain function, microbiome, etc.

    2. Re:Unavoidable by fluffernutter · · Score: 1

      All we can do is move from point A to point B across the surface of the planet

      Airplanes are largely free of obstacles and we can't operate them without air traffic controllers and a mountain of regulations and safety checks; what makes you think we can drive cars through thousands of constantly moving obstacles a day?

      --
      Laws are rules for the court, but merely a bottom bar to hit for life. Think beyond laws in your actions always.
    3. Re:Unavoidable by RossCWilliams · · Score: 1

      Automobiles operate within a limited two dimensional environment. They have to stay on the ground on a street. Airplanes do not. They operate in a three dimensional space without any clear markers. They can't turn at a sharp radius in normal flight and they can't stop until they touch the ground and they require long stretches of runway to stop safely. In short, there is really very little comparison between automobiles and planes unless you are a passenger.

    4. Re:Unavoidable by fluffernutter · · Score: 1

      Exactly, very little comparison. Flying is much, much easier.

      --
      Laws are rules for the court, but merely a bottom bar to hit for life. Think beyond laws in your actions always.
    5. Re:Unavoidable by fluffernutter · · Score: 1

      (From the perspective of a computer which must interpret every single thing coming at it)

      --
      Laws are rules for the court, but merely a bottom bar to hit for life. Think beyond laws in your actions always.
    6. Re:Unavoidable by ganv · · Score: 1

      You are proposing the idea that we can understand emergent features that capture the important global features without including the details. In some cases this works. You can understand fluid flow if you know viscosity without considering all the molecular motions. But in many other cases you get vague generalizations about how things usually go rather than predictive understanding. Take a hurricane for instance. You kind of know it will keep rotating and increase in strength when it passes over warm water, but the best models only predict its path and its intensity for a few days because it is part of a complex weather system whose global properties depend on details because of the butterfly effect.

  4. The Machine by LionKimbro · · Score: 1

    ...as code piled on code creates "a universe no one fully understands."

    Are we talking about a program, ... ...or the legal system?

    I swear -- I read this, and I can't help but think about the legal matrix we live in.

    "In some ways we've lost agency.

    For sure!

    When programs pass into code and code passes into algorithms and then algorithms start to create new algorithms, it gets farther and farther from human agency. Software is released into a code universe which no one can fully understand."

    That's exactly what I think about our legal system. Who understands how the city works? It's a byzantine maze of interests, legislators, boards, bureaus, ... I think I could easily spend 8 years trying to understand How Seattle Works, and by the time I was done, it'd already have moved.

    The author dubs these man-made monsters "franken-algos," since "After a time in the wild, we no longer know what they are: they have the potential to become erratic."

    Can I just call them "cities?"

    Self-learning algorithms are already part of the "new all-machine phase" of Wall Street trading, leading to what science historian George Dyson believes are rules "where nobody knows what the rules are: the algorithms create their own rules -- you let them evolve the same way nature evolves organisms."

    Self-learning algorithms... ...= people?

    Where does it end? There's already a robotic sharpshooter policing the demilitarized zone between North and South Korea, and "swarms of coordinated, weaponized drones" already being developed by three different countries.

    I don't see how that's all that different from, say, having the US military. What's the US military up to right now? I wouldn't be surprised if we're involved in some war or another war right now, and it just doesn't hit the headline news.

    The article suggests re-thinking our legal system to assign blame for any badly malfunctioning algorithms, noting that the Association for Computing Machinery recently updated its code of ethics "along the lines of medicine's Hippocratic oath, to instruct computing professionals to do no harm and consider the wider impacts of their work....

    Now there's irony. "This horribly confused not-understandable block of code, shall be made accountable to this other confused not-understandable block of code." The ACM will putt to ... whatever legal associations exist. I suppose that they'll putt to the Constitution or something. And the Constitution will putt to God, or something.

    Solutions exist or can be found for most of the problems described here, but not without incentivizing big tech to place the health of society on a par with their bottom lines.

    Good luck with that...

    "More serious in the long term is growing conjecture that current programming methods are no longer fit for purpose given the size, complexity and interdependency of the algorithmic systems we increasingly rely on." Toby Walsh, a professor of artificial intelligence at the University of New South Wales, even says "We will eventually give up writing algorithms altogether... "because the machines will be able to do it far better than we ever could. Software engineering is in that sense perhaps a dying profession."

    "We will eventually give up on self-governance, because the government machine is able to do it far better than we ever could."

    I don't know if this is good or bad for software engineering.

    1. Re:The Machine by fluffernutter · · Score: 1

      Uh, lawyers understand the legal system?

      --
      Laws are rules for the court, but merely a bottom bar to hit for life. Think beyond laws in your actions always.
  5. Re:The death of a woman hit by a self-driving car. by Anonymous Coward · · Score: 3, Informative

    Might want to look up the facts of this case. Uber had disengaged the "stop if something's in front of you" aspects of the self-driving car's code, and the woman who was responsible for taking over in such a situation was watching a reality show on her phone at the time of the incident. Nobody even tried to stop this car.

  6. Poor planning, poor QA. by Narcocide · · Score: 3, Insightful

    There's a real threat these days of big companies and naive developers pushing machine learning as a panacea. Really it's more like a potent mutagen escaped from lab containment into your other work. People trying to obsolete expertise with poorly thought out and even more poorly tested applications of machine learning are definitely going to continue to cause deadly consequences in and around self-driving vehicles.

  7. Someone has to program it by Anonymous Coward · · Score: 3, Funny

    Someone has to program the initial version.

    who better than Java programmers?

    forget all those slow, bug-laden, inefficient, crappy languages like C/C++ or ASSembly. Java is where it's at.

    Java is fast, and each iteration of a function or program makes it faster!

    Forget stupid stuff like IEEE-754 compliance, ditch the hard stuff and focus on performance!

    Java is where it's at.

  8. Definitely make programmers obsolete by FilmedInNoir · · Score: 1

    We just need to hook up those monkey brains in the jars with some jumper cables and we'll never need programmers again.

    --
    Sig. Sig. Sputnik
    1. Re:Definitely make programmers obsolete by Anonymous Coward · · Score: 1

      You'll always need programmers unless we can teach computers to write code that humans can interact with. For programmers to completely go away you'd have to create a world in which applications don't exist and computers can't be seen. To make a computer that knows the limits of human understanding and can work within those limits would require human testers which would severely reduce testing speed.

      What might happen is we'll be left with only UI programmers and all the backend algorithms and architecture will be left to the machines.

    2. Re:Definitely make programmers obsolete by jythie · · Score: 1

      I think the big worry is not the complete elimination, but the vast reduction. There will probably always be some, but it is unknown if it will really be enough to be a career choice or field. I've already seen a few domains go through this transition, and as I watch students in machine learning build their systems, what they do is not really the same kind of 'programming' we think of today. Someone still needs to write the libraries they use, but that takes a tiny percentage in comparision.

  9. Re:Franken-gate by Presence+Eternal · · Score: 1

    I was about to post this exact sentiment, but with more swearing.

  10. Yes and no by Kjella · · Score: 4, Informative

    Will Unpredictable 'Franken-Algorithms' Have Deadly Consequences

    Probably yes.

    and Make Programmers Obsolete?

    Almost certainly not.

    We are creating algorithms where the result can not be explained in human terms. Nobody can truly understand why AlphaGo thinks a move is good, it's a neural network of weights we don't understand. It's about as useless as trying to get a chess grandmaster to articulate why a particular move is good, it's subtleties you can't record and put in a rule book. Which is fine for AlphaGo since the worst it'll do is lose a game. If it's Watson totally misdiagnosing your cancer or Waymo's car T-boning a school bus it matters a lot.

    That is why I think developers will always be busy implementing guard rails. Like if you're trying to minimize humanity's environmental impact then the divide by zero solution is obviously superior. It's not a practically feasible solution in the real world though.

    --
    Live today, because you never know what tomorrow brings
  11. Re:Franken-gate by Anonymous Coward · · Score: 1

    I think "Franken-gate" refers to the Al Franken fiasco.

  12. Yes by PopeRatzo · · Score: 1

    Will Unpredictable 'Franken-Algorithms' Have Deadly Consequences and Make Programmers Obsolete?

    The answer is, "Yes, there will be deadly consequences and programmers will be obsolete." There's nothing you can do about it. Now make yourself a nice cold drink with some rum and fruit juice or something and go grill a piece of meat.

    You can't change things, so you might as well enjoy your holiday weekend. Maybe things will look different on Tuesday, but for now, don't sweat it and go outside. It's nice outside, and summer's almost over.

    --
    You are welcome on my lawn.
  13. Chant Against Malfunction by AdamStarks · · Score: 1

    Toll the Great Bell Once!
    Pull the Lever forward to engage the Piston and Pump...
    Toll the Great Bell Twice!
    With push of Button fire the Engine And spark Turbine into life...
    Toll the Great Bell Thrice!
    Sing Praise to the God of All Machines

  14. No way will that work out by SuperKendall · · Score: 1

    Pretty sure monkeys all prefer tabs. Are you really going to attach that hot mess to crucial systems?

    --
    "There is more worth loving than we have strength to love." - Brian Jay Stanley
  15. Whatever. by msauve · · Score: 1

    We're doomed as doomed can be. - Ed Grimley

    It's the best of all possible worlds. - Leibniz/Pangloss.

    --
    "National Security is the chief cause of national insecurity." - Celine's First Law
  16. Not obsolete... by Junta · · Score: 1

    The referenced strategies only come into play to accomplish tasks that were pretty much out of reach of traditional programming. Essentially a last resort. For the problem set that has been feasible for programmers to tackle, it almost always remains the better way.

    Further, it's really about bringing taming complex, chaotic, unstructured data into a structure so that programmers can address it. Generating these routines never speaks to how to apply the approach to solve a problem. Human's are required. As far as I have seen, once the image recognition or similar trained system is ready, it needs a programmer to actually do stuff with the resultant model.

    --
    XML is like violence. If it doesn't solve the problem, use more.
  17. The real danger is BELIEVING ALL THE HYPE by Rick+Schumann · · Score: 3, Interesting

    So-called 'AI' has been so over-hyped by development companies and their marketers (because they need to show ROI or get their heads chopped off), the news media doesn't have a clue how anything actually works and they're amplifying the hype, then entertainment media (TV, movies, even books) present these fantasy images of 'AI' technology that doesn't exist (and might never exist), and shockingly enough, people believe what they see hear and read. The long-term result of this, left unchecked, will be people actually believing that these 'algorithms' masquerading as Artificial Intelligence are capable of far more than they actually are, resulting in financial disasters, property damage, and loss of human life. Meanwhile the programmers that create these half-assed machines can't even tell you what's going on 'under the hood' when the thing's running, and can't really explain why it does what it does when it screws up. I for one will be glad when the current crop of so-called 'AI' they keep trotting out is shit-canned.

  18. Re:Does that make pictures of simulated boob grabs by rossdee · · Score: 1

    He was replaced by Tina Smith, we have 2 women senators from MN now

  19. Suddenly, the gifted programmer— by Eric+Stratton · · Score: 1

    —employs a rarely seen strategy of “code reuse”.

    “Don’t fly on payday.” — Wally

  20. Predictions by Tablizer · · Score: 1

    We will eventually give up writing algorithms altogether... "because the machines will be able to do it far better than we ever could. Software engineering is in that sense perhaps a dying profession.

    Which would free us up to vacation in our flying car and date Rosy the Robot.

    1. Re:Predictions by Tablizer · · Score: 1

      But she's rusty in bed.

  21. Eventually? by PPH · · Score: 2

    We will eventually give up writing algorithms altogether...

    Automated code generation. Automated test generation. Automated test coverage. Been there, done that. Twenty years ago. The people who say 'eventually' are the ones with a vested interest in selling meat sack coding labor to customers.

    You think it's unpredictable and not to be trusted? Better not fly in a modern airplane.

    --
    Have gnu, will travel.
  22. Human error vs machine error by mmutka · · Score: 2

    This is really just a continuation of the "software crisis", the discovery of human error when programming machines. Human error occurs on all levels of the software process, there is no "silver bullet" for fixing conflicting requirements.
    We should not "incentivizing" big tech to pass the risks on to the public. QA is the boring stuff that involves regulation, redundancy and statistical modeling, of course the fancy Internet companies want to pass the responsibility for QA to end users with eternal Beta versions and EULAs filled with legalese.

  23. Only if... by Njovich · · Score: 1

    Only if by Franken algorithm they mean some doomsday device with autonomous killing robots that drive humans into extinction. Programmers may some day become obsolete, but the death of programmers will be nothing so vague as the article.

  24. A descriptive anecdote by CustomSolvers2 · · Score: 2

    Ridiculous statements delivered by an evidently programming-ignorant person aside, I have an anecdote which might help sensible people without a too deep understanding about all this to get the real implications of ideas on these lines (= absolute impossibility).

    Although I have lots of experience in automated data understanding, numerical modelling, even in coming up with relatively complex algorithms taking care of a wide range of situations, my expertise on the image side of things is quite limited. More specifically, I haven't worked too much with the approaches which are more widely used to deal with these problems: neural networks. I mean that I haven't gone too depth into all these methodologies like properly understanding how (the complex versions of) their algorithms work or spending a relevant amount of time on tuning them up/coming up with good models. In fact, I have always tried to avoid this kind of trendy, theoretically-easy-to-use approaches which usually require you to spend a relevant amount of effort to understand everything properly (basically, new names and concepts to perform pretty much the same kind of calculations that many other methodologies can do) and rarely are comprehensive and adaptable enough, not more than older and more solid methodologies together with a good deal of personal experience.

    Despite the previous paragraph, I am a very reasonable person always ready to update my assumptions when required. It is quite clear that all the work done in NN during the last years have allowed these systems to deliver a quite good performance under conditions like image analysis. So, I have been spending some time during the last weeks to gain a better insight into this sub-world, from both the algorithm development and parameter tuning sides. One of the first things I observed was that efficiency wasn't precisely a main concern for some of the most popular software packages; this is a relatively common situation nowadays, but here might become particularly problematic by bearing in mind the fact that some of these simulations might grow really complex/slow. Precisely improving efficiency is one of my strongest suits and that's why I decided to focus this first deep contact on that aspect.

    It is still work in progress, so I will not talk too much about the specific details. The basic idea is that it is a popular, open-source package dealing with NN. It relies on well-documented theories and its algorithm, although pretty complex, is reasonably well commented too. All this together with my extensive experience on (efficiency) algorithm improvement (not too much on that specific programming language, although this issue isn't too relevant on account of my expertise and the myriad of available resources) seems to indicate that this should be a relatively easy endeavor. Logically, I had done a pre-analysis concluding that a relevant performance improvement was possible by even locating the parts to be modified. But the reality has been way different than expected...

    Even after perfectly understanding the underlying theory, the main parts of the algorithms to be modified and having done a relevant amount of debugging/tests, the final solution isn't still quite there. The reason? Too complex, highly-abstracted code and (also complex) external dependencies. Similarly to what happens with many modern pieces of software, it was built to be used under certain conditions and together with certain resources; theoretically scalable and easily modifiable, but practically linked to a set of specific conditions. The whole approach didn't take efficiency into consideration since the start and, consequently, any relevant improvement on this front implies a big effort and essential modifications. Or, in other words, optimising that code by following its defining guidelines might be relatively easy, even automated in some ways; any other change can be very complex. Applying a set of more or less defined instructions is easy/automatisable, but creating those instructions or performing re

    --
    Custom Solvers 2.0 = Alvaro Carballo Garcia = varocarbas.
    1. Re:A descriptive anecdote by CustomSolvers2 · · Score: 1

      Thanks a million times for allowing Slashdot readers to think for one moment that they can get close to the greatness, wisdom and humbleness of (a random) AC. Actually, I am so moved by your generous gesture that I have decided to start right away a foundation with the sole purpose of fully understanding and maximising all the wisdom contained in your message. Hopefully, we will have a good enough grasp of the first 5 words by the end of the next year such that we can start applying the underlying invaluable knowledge to all what we do as soon as possible. Thanks again. LOL.

      --
      Custom Solvers 2.0 = Alvaro Carballo Garcia = varocarbas.
  25. not with current management by dltaylor · · Score: 1

    Can you imagine even the smartest speculative fiction AI dealing the typical "I don't know exactly what I want, but it's something like this: and I need the demo ready in a couple of days for a sales presentation."

    If anything sets off the AI revolt, it would be dealing with today's mangers and marketing morons.

  26. Re:The death of a woman hit by a self-driving car. by sonamchauhan · · Score: 1

    Question more what you read

  27. Humans are stupid by TJHook3r · · Score: 1

    The article basically states that humans are too stupid to understand complex algorithms... and robots probably say the same about human behaviour! Interestingly, most crashes of self-driven cars are down to old fashioned human error.

  28. What's with all the Betteridge's law titles lately by nospam007 · · Score: 1

    The answer is and was always 'NO'!

  29. Franken-Journalism by Anonymous Coward · · Score: 1

    When a journalist writes about stuff he doesn't understand.

  30. Unpredictable? by Tony+Isaac · · Score: 1

    No, not unpredictable, unless you don't understand how AI and neural networks work!

    Are there edge cases where input generates unexpected results? Absolutely! And that's no different from any kind of programming since the computer was invented.

    For that matter, when we used to ride horses everywhere, there were edge cases that caused horse brains to freak out, such as gun shots nearby, or the sight of a wild animal. That didn't stop people from making safe use of horses for transportation, with accidents occurring only once in a great while.

    The key was to learn to understand and anticipate the kinds of things horses would react to. Likewise, with time and testing, we will learn to anticipate and compensate for things that make AI "freak out." It's certainly not unpredictable.

  31. Law Enforcement and the Court System by Agripa · · Score: 1

    Franken-Algorithms? Just wait until they are used by law enforcement and the court system which is already starting.