ð’€ð’‚—ð’† ENKI ][ethe version of me from 2008 would hate me for saying this but i wish all the attention currently applied to language models was instead applied to constraint solvers
like... declarative programming & using tooling to augment humans is a real thing, and really does expand the set of people who can exert meaningful control over their machines. the LLM crowd is gonna set development back another 50 years because nobody will be willing to touch a "programming assistant" with a 10 foot pole, but a good "programming assistant" is doing real-time static analysis as you type and interacting with an expert system built based on your preferences.
what's more, if you get constraint resolvers to be really stupidly fast, that means you get to put capability architecture and backtracking basically everywhere, which makes everything way more stable and secure