logoalt Hacker News

bryanlarsenyesterday at 6:17 PM1 replyview on HN

Verification is the bottleneck now, so we have to adjust our tooling and processes to make verification as easy as possible.

When you submit a PR, verifiability should be top of mind. Use those magic AI tools to make the PR as easy to possible to verify as possible. Chunk your PR into palatable chunks. Document and comment to aid verification. Add tests that are easy for the reviewer to read, test and tweak. Etc.


Replies

gowldyesterday at 6:43 PM

Just prompt the AI to verify the software.