Tag
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.