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 Thursday July 17, 2025 @10:59PM (#44600771)
I think you are perhaps missing the point. Investing into these techniques [2] enables you to do unhinged things. Such as building a compiler whilst you are AFK [1].

[1] https://x.com/i/broadcasts/1OyJALVOnEzGb

[2] https://ghuntley.com/ralph

[ Parent | on HN ]
Re:My Experience with Claude Code After 2 Weeks of Adventures by moomoo11 on Friday July 18, 2025 @12:45AM (#44601294)
Sure if I want to just toy around for fun.

Those are cool, but a production system is infinitely more complex.

[ Parent | on HN ]
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 ]