An AI-first program synthesis framework built around a new programming languagequeue.acm.org112 pointstosha year ago