2 ms·

All good, except that going forward the new languages to be designed are going to be specifications and formal verification for agents. I think the way of clas

by pjmlp 8mo ago

All good, except that going forward the new languages to be designed are going to be specifications and formal verification for agents. I think the way of classical programming languages is behind us, unless AI implodes and we are back to programming without it.