4 ms·
Generally speaking, I try to ensure that the LLM is using core abstractions throughout the codebase in a consistent manner. This makes it easier for me to revie
by catgary 6mo ago
Generally speaking, I try to ensure that the LLM is using core abstractions throughout the codebase in a consistent manner. This makes it easier for me to review any changes it makes.
- raw_anon_1111 6mo agoSort of a devils advocate question. If you write and review your tests and the functional and non functional requirements and the human tests for usability pass, why does the code matter? Non functional requirements: performance, security, reliability, logging etc?
- catgary 6mo agoBecause the code is the actual thing, tests can only show that the code fails in certain cases, they don’t actually prove the code is correct.
- raw_anon_1111 6mo agoIf you are writing the correct tests that mirror the requirements, why wouldn’t passing tests mean the code is correct?
- cindyllm 6mo ago[dead]
- viktorianer 6mo ago[flagged]
- catgary 6mo agoBecause it doesn’t? Thats why the field of formal methods exists.
- raw_anon_1111 6mo agoThen that sounds like you aren’t writing good tests…
- viktorianer 6mo ago[flagged]