A little thread with implications for specifying software rigorously enough for an LLM (or a person, for that matter) to go off and build it.

Fully specifying software is hard and takes not just human-level intelligence but a kind of persnickety perseveration that few people can achieve, let alone enjoy.