6 ms·
Depending on the language you're writing in and the problem domain, the smaller models can do dramatically better or worse. I suspect in the future we'll see l
by Kadin 1mo ago
Depending on the language you're writing in and the problem domain, the smaller models can do dramatically better or worse.
I suspect in the future we'll see language-specific small models. "Coding" is still pretty broad as an activity. It'd be nice to be able to load up a model specific to, say, class-based Python and run it on-device.
- eru 1mo agoHarmonic's Aristotle is a sort-of language specific model for Lean, if you want to see the future you described today.