dan on Nostr: if the llm is stalling writing a proof and constantly patching it up, something is ...

if the llm is stalling writing a proof and constantly patching it up, something is wrong. when abstractions are right, writing proofs is mostly easy and doesn't involve a lot of fiddling