News for hackers. Stuff that matters.

A comment on My Experience with Claude Code After 2 Weeks of Adventures. Parent comment

Re:My Experience with Claude Code After 2 Weeks of Adventures by ghuntley on Friday July 18, 2025 @08:26AM (#44603941)
What do you define as a production system? Are you aware that one can generate TLA+ specifications, then code generate from these specifications and assert that the implementation matches the TLA+ spec?
[ Parent | on HN ]

There are no comments on this comment yet.