Yes
With this, it has amazing debugging skills. Orders of magnitude faster than myself, and it has yet to fail finding the cause of an issue
sadilek on Hacker News
Orders of magnitude faster than myself
In the thread “LLMs are making formal software verification feasible at a much larger scale”, replying to this comment
Helped: Read-only access to prod DB, logs, and traces.
Got in the way: Earlier models rewrote the same bug repeatedly.
… For debugging, I give Claude read-only access to the prod DB, and it has access to logs and traces (Signoz in our case). With this, it has amazing debugging skills. Orders of magnitude faster than myself, and it has yet to fail finding the cause of an issue.