Thread

1. fsmv · 1789587076 · focus · HN ↗

   But how will you know that the query plan actually does what your query asked for?

   1. quotemstr · 1789591335 · focus · HN ↗

      Because P!=NP (very probably IMHO) there's a huge class of problem for which LLMs are useful on the expensive and heuristic-y generation side because the verification is relatively inexpensive.

Unofficial Hacker News client; not affiliated with Y Combinator.