Why Nostr? What is Njump?
2024-03-23 10:33:38
in reply to

buherator on Nostr: npub1f6a33…xpnql Now let me put on my Grumpy Security Guy Hat: Verifying code is ...

Now let me put on my Grumpy Security Guy Hat:

Verifying code is incredibly hard. One of the main dangers of LLM's I see is that it's really easy to conclude that the code is correct because it works in the general case, but it will break havoc in edge cases. Worst, you won't be able to reason about those edge cases because you wouldn't know how the code works (you can figure it out of course, but then there goes your claimed efficiency).

Now for toy problems this is all good and well. On the other hand we've all seen toy scripts ending up in production...
Author Public Key
npub1n3p6whdpmt9k8rxzcmvrs053utg662lfrgdxh7dl9t04ff8sdk7qqdjee0