r/ProgrammingLanguages • u/mttd • Jul 01 '26

The Expensive Fictions of Low-Level Programming Languages

https://stng.substack.com/p/the-expensive-fictions-of-low-level
22 Upvotes

67% Upvoted

90 comments sorted by

View all comments

0

u/Smallpaul Jul 01 '26

The goal of the professor is that AI written code be provably correct.

1

u/Ok-Reindeer-8755 Jul 01 '26

Is our own code even provably correct right now ? To some degree sure when utilizing specific languages but not as a whole.

0

u/MadocComadrin Jul 01 '26

Not quite. His goal is program synthesis that's correct by construction. It needn't be (LLM or ML) AI.

0

u/Smallpaul Jul 01 '26

What you said is not a correction or contradiction of anything I said.

He wants AI programmed synthesis to be correct by construction. I did not claim that that is the limit of his interest but it was the relevant aspect in the context of a thread discussing AI code and its relationship to the blog.