On: Port of the TypeScript compiler, checker and lsp to Rust, by LLM

[NewLogic]

Sounds awful, natural language sucks for describing complex problems and relationships. That's why people have historically reached for diagrams and pseudo code.

[pjmlp → NewLogic]

Which you can provide on your Markdown files as well.

These are not what-ifs, this is an active area of research currently,

"CGO 2022 Keynote: Compiler 2.0"

https://www.youtube.com/watch?v=w_sX9aZoZxg

"Machine-Generated, Machine-Checked Proofs for a Verified Compiler"

https://www.youtube.com/watch?v=Dmt0h99iOmM

[chasd00 → NewLogic]

:shrug: LLMs understand those too.