> A programmer translates a natural-language spec into a machine-readable spec W... | Hacker News

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

dyauspitr 19 days ago | parent | context | favorite | on: How Terry Tao became an evangelist for AI in math

> A programmer translates a natural-language spec into a machine-readable spec

Why do we need a human for this?

pvillano 18 days ago [–]

Liability, and it's the hardest part.

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