|
|
|
|
|
|
by adsharma
362 days ago
|
|
|
> 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/ |
|
|