top | item 39394682 (no title) 4silvertooth | 2 years ago How about people just write the spec and AI give us the code on that, that would be mind blowing. discuss order hn newest pfdietz|2 years ago Less immediately plausible, though.A system for converting a natural language specification document into a formal specification would be interesting.
pfdietz|2 years ago Less immediately plausible, though.A system for converting a natural language specification document into a formal specification would be interesting.
pfdietz|2 years ago
A system for converting a natural language specification document into a formal specification would be interesting.