Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

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?




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: