Post

They say PL people only produce languages that are good for implementing languages but that pathology seems laughably tame compared to LLM frameworks/orchestrators…

obviously need to combine the two languages for creating orchestrators, or orchestrators for creating languages, hmmm

needs more commutative diagrams

My regrettably serious take on this is that once all the prescientific productivity slop in harnesses fades away we’ll rediscover that machine checkable formal specs are kind of a nifty idea at which point LLMs will reach the final stage of every ML approach: (Proof/Program) Search