I mean at this point there's no doubt that LLM cans be RL maxxed and give you _some working output_ but the next frontier is whether they can create good abstractions, a.k.a use the correct level of expressivity so as to not inline everything yet not play code golf.

my feel after a lot of experience with agentic haskell at scale has been...no they cannot and maybe the opposite lol