3 ms·
Is that your actual believe? That non-formal, natural human language explaining the task will replace formal programming?
by blks 10mo ago
Is that your actual believe? That non-formal, natural human language explaining the task will replace formal programming?
- felipeerias 10mo agoThings seem to be heading in the direction of using formal languages to define deterministic behaviour and natural languages to express matters of human taste.
- spaceman_2020 10mo agoIf you zoom out, it does seem like the most natural thing - why should humans with finite memory and context better than an all knowing machine?