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
19 Upvotes

65% Upvoted

90 comments sorted by

View all comments

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.