Post

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

Compilers when `emit(rand())`