alt Hacker NewsSounds awful, natural language sucks for describing complex problems and relationships. That's why people have historically reached for diagrams and pseudo code.
Replies
chasd00 • today at 11:35 AM
:shrug: LLMs understand those too.
Sounds awful, natural language sucks for describing complex problems and relationships. That's why people have historically reached for diagrams and pseudo code.
:shrug: LLMs understand those too.
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