| ▲ | NewLogic 4 hours ago | |
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" | ||
| ▲ | chasd00 2 hours ago | parent | prev [-] | |
:shrug: LLMs understand those too. | ||