miniblog.

I think you could build an interesting IDE with a tiny embedded LLM in addition to the usual tooling. Features like 'extract method' would be much nicer if an LLM could provide a name. Choosing a good name is virtually impossible from just a typed AST.

Are there any FOSS licensees that explicitly allow people to train AI models on the source code? This seems like a useful addition, and there's already precedent with the "classpath exception" for the GPL.

OCaml has several unusual design features that I've come to appreciate. (1) Separating integer and float addition is really clear. (2) No subtyping (everything is 'a or concrete) simplifies lots too.