Remix.run Logo
▲ pjmlp 5 hours ago

Not really, the future are natural languages, with some markdown files for formal specification, yaml or whatever, and then Assembly gets generated directly.

3 GLs are going to slowly fade out as LLM tooling improves, and coding looks increasingly as envisioned by 4 GLs advocates.

▲NewLogic 4 hours ago | parent [-]

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

▲pjmlp 2 hours ago | parent | next [-]

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 2 hours ago | parent | prev [-]

:shrug: LLMs understand those too.