Follow

The most successful area of AI is compiler theory.

@zpartacoos Early compilers were referred to as automated programming. Back in the day, translating mnemonics of assembly to binary was simple enough, but automatically optimizing, or checking a program for correctness, was AI magic. Now it is the only way to code for most problems.

Presently, there is a field called "program synthesis" which is basically compiler engineering with even more automated reasoning. This all part of the symbolic artificial intelligence branch of general AI research.

Sign in to participate in the conversation
Qoto Mastodon

QOTO: Question Others to Teach Ourselves
An inclusive, Academic Freedom, instance
All cultures welcome.
Hate speech and harassment strictly forbidden.