undefined | Better HN

0 pointsotabdeveloper41y ago0 comments

You don't understand.

The fact that getting a formal spec is impossible is precisely why you need to hire a developer with a big salary and generous benefits.

The formal spec lives only in the developer's head. It's the only way.

Does an LLM coding agent provide any value here?

Hardly. It's just an excuse for the developer to waste time futzing around "coding" when what they're really paid to do is cram that ineffable but very much important formal spec into their heads.

0 comments

criddell1y ago

> The formal spec lives only in the developer's head.

You and I have different ideas of what a formal spec is.

otabdeveloper4OP1y ago

Programming language code is a kind of formal spec.

Zambyte1y ago

https://en.wikipedia.org/wiki/Formal_specification

vidarh1y ago

Nonsense.

It works just fine to use an LLM coding agent in cases like this, but you need to be aware of what you're actually trying to do with them and be specific instead of assuming they'll magic up the spec from thin air.

j / k navigate · click thread line to collapse