Hacker News Reader

How about people just write the spec and AI give us the code on that, that would be mind blowing.

Less immediately plausible, though.

A system for converting a natural language specification document into a formal specification would be interesting.