Did Microsoft switch GitHub to AGI as part of the OpenAI deal? | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		0x006A on July 22, 2019 \| parent \| context \| favorite \| on: GitHub is down Did Microsoft switch GitHub to AGI as part of the OpenAI deal?

omarhaneef on July 22, 2019 [–]

Q: Can it automatically reject bad code or would that be impossible because of the halting problem?

EamonnMR on July 22, 2019 | [–]

it could automatically reject bad-looking code perhaps

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact