I have some experience in this. Reach out (email in my bio) I would love to chat.
replyA SMT solver may work better.
replyWill that work if my codebase is filled with nils it shouldn't be filled with, and HashMaps instead of structs with a loosely defined schema, and tuples masquerading as arrays?
replyNo since you just use an LLM to code, so itll probably fix all that for you. Your pronouns are probably they/them. Lol!
reply