It is by the nature of an LLM impossible for it to find all bugs, and very hard to impossible for it to find novel classes of bugs
It is better to write provably correct code than to write code that you “vERiFy” with an LLM. If you can’t explain how a piece of code is secure, then don’t write it
We also have tons of tools to detect bugs via static and dynamic analysis. Barely anyone uses them
semisol
npub122…cgrkj
2026-10-11 16:19:58 UTC
in reply to nevent1q…nzkn
Author Public Key
npub12262qa4uhw7u8gdwlgmntqtv7aye8vdcmvszkqwgs0zchel6mz7s6cgrkjPublished at
2026-10-11 16:19:58 UTCEvent JSON
{
"id": "b2fc21655d5f37342d061eab4de8c950a323484cb0f747ee639dd33862e74dfa",
"pubkey": "52b4a076bcbbbdc3a1aefa3735816cf74993b1b8db202b01c883c58be7fad8bd",
"created_at": 1791735598,
"kind": 1,
"tags": [
[
"e",
"43be9e2bbfe2906fe45a27f493e660d1a7a760f455f00d8316468efacef4c826",
"wss://relay.damus.io/",
"root",
"52b4a076bcbbbdc3a1aefa3735816cf74993b1b8db202b01c883c58be7fad8bd"
],
[
"e",
"35b087815a3c79e1788efc8e399640747f77c8b46e43b9a8390e26479cd5b5b9",
"wss://nos.lol",
"reply",
"52b4a076bcbbbdc3a1aefa3735816cf74993b1b8db202b01c883c58be7fad8bd"
],
[
"p",
"01d0bbf9537ef1fd0ddf815f41c1896738f6a3a0f600f51c782b7d8891130d4c"
],
[
"p",
"d28413712171c33e117d4bd0930ac05b2c51b30eb3021ef8d4f1233f02c90a2b"
],
[
"p",
"40dba08627a2f2c69c3031666149b567168f049894aa5c42203a3920a3de8483"
],
[
"client",
"Damus"
]
],
"content": "It is by the nature of an LLM impossible for it to find all bugs, and very hard to impossible for it to find novel classes of bugs\n\nIt is better to write provably correct code than to write code that you “vERiFy” with an LLM. If you can’t explain how a piece of code is secure, then don’t write it\n\nWe also have tons of tools to detect bugs via static and dynamic analysis. Barely anyone uses them",
"sig": "7dad0839bcdca9f9a7aed0ee1c9f464da44efc0767823de2469bc155fc8067fe18f966a80fb90f4bced80f9dd215e2192edf3c517bf2c1b7f308e167e91464b7"
}