natural-language-programming

Gilad Bracha envisions a future where software engineers use AI to translate informal requirements into formal specs and review them, while AI implements and verifies code. The human ensures the formal spec is correct, writing only natural language.