Do LLMs dream of Type Inference?

Session of RubyConf 2024