> Language Design Direction 1: Teaching LLMs about DSLs (through Python?) This is what I've been focused on last few years with a bit of Direction 3 via pyt

> Language Design Direction 1: Teaching LLMs about DSLs (through Python?) This is what I've been focused on last few years with a bit of Direction 3 via python -> smt2 -> z3 -> verified rust Perhaps a diffusion model for programming can be thought of as: requirements -> design -> design by contract -> subset of python -> gc capable language (a fork of golang with ML features?) -> low level compiled language (rust, zig or C++) As you go from left to right, there is an increasing level of detail the programmer has to worry about. The trick is to pick the right level of detail for a task. Previous writing: https://adsharma.github.io/agentic-transpilers/ https://adsharma.github.io/agentic-transpilers/