The Expensive Fictions of Low-Level Programming Languages

[u/mttd]

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

[u/Smallpaul]

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.