maurelian
@maurelian.eth
A major contributor to this is that you've tested the fuck out of it. I call this Verification over Generation, and it's an increasingly important concept in the vibe coded world. As a thought experiment, imagine that you've exhaustively tested every possible state of your program for every possible failure mode, then it does not matter who or how you generate the source code. LLM, junior dev, fuzzing, whatever. Can you get all the way there? No, and you'd also be an idiot to write secure code this way, but you can strive for it.
2 replies
2 recasts
9 reactions
Paul Berg
@prberg
Exhaustive testing is one of the goals of BTT!
0 reply
0 recast
1 reaction
shazow
@shazow.eth
Overlapping but also very important concept: Maintainability. The more brittle something is, the more expensive it is to maintain (minor changes become very expensive). Having a codebase that is highly verified yet retains plasticity allows for continued improvement at low cost.
0 reply
0 recast
1 reaction