|
|
|
|
|
|
by badcryptobitch
6 days ago
|
|
|
Yeah, his post resulted in a rise in everyone and their mother becoming formal verification "experts" now. But I think he's right. We no longer have good excuses for not trying to secure code with FV in this brave new world of agentic coding |
|
|