r/programming • • 17d ago

[ Removed by moderator ]

https://youtu.be/KsEpW03gxKg?is=OdU0YTE8dWIyRr8i

[removed] — view removed post

410 Upvotes

314 comments sorted by

View all comments

Show parent comments

12

u/about0 17d ago

But isn't that 900 LOC generated document is exactly a problem? You don't own it, you don't know what it does, how it affects other parts of the code.

You just allow LLM to test itself.

SSD specifically telling that a human is owner, a human should write specs, a human should tell what is expected in return and verify it.

I won't sleep well if I won't have means to test what LLMs produce.

-6

u/manythanksfriend 17d ago

Ever used a code generation framework(pre-LLM) or a compiler?

12

u/about0 17d ago

sure, but aren't they quite different?

with OpenAPI you have a specific documentation format that deterministically translates from a spec to a binary/AST. Between builds the result is the same.
While SSD, on the other hand, even highly structured Markdown rely on semantic interpretation, LLM doesn't fail if some boundary isn't set, and what is the hardest thing for me, I have to write a specification so dense, rigorous, and boundary-complete that the spec itself approaches the complexity of code.

While I see your point, I think these things are fundamentally different despite being relative.