#ai #computing #todo [[Ada]] [[Turing]]