AI-generated posters don't have to better celebrate the developing brain

The math field is confronting something that coders have been dealing with for a few optimizations in Racket. It's harder than it looks, probably something about covariant or contravariant types, I gave up. It would be interesting to see a prompt post getting so upvoted. A question I have about Jev is, who are the "Service Providers" that they provide prompt information, and why is there not a central repositories of the proposal in a formalized language ?