Comment by onlyrealcuzzo
6 days ago
And here I am trying to get an LLM to add types to a 100k line Ruby repository for 2 days, and it's not going so hot...
6 days ago
And here I am trying to get an LLM to add types to a 100k line Ruby repository for 2 days, and it's not going so hot...
I have some experience in this. Reach out (email in my bio) I would love to chat.
A SMT solver may work better.
Will 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?
[dead]