Tag
The tweet discusses how natural language programming has raised the bar for coding, criticizing that without clear thinking, output remains poor regardless of token usage.
A tweet endorsing ProgramAsWeights as a working replacement for regex, demonstrating an email validation function compiled from natural language.
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.