Isn’t programming the clearest form of writing? Perhaps it’s the non programmers that need to “catch up”.

We are still in the pigsty compared to math

I'd have to disagree. We're much less ambiguous than math.

In fact, according to theory, we're writing executable proofs.

If programming was the most clear form of writing, then how come eductators frequently use pseudo code to make programming more clear?

The same reason kids are first taught the Bohrian atom model. It is less clear and precise, but thereby also less complex.

"100 baskets of apples" is easier to hold in your head than "23 baskets of red, small-ish apples, 12 of large red, 6 of any size green...", but my no means does it permit a more clear view of the Truth.

Different usage of the word "clear".

> Isn’t programming the clearest form of writing?

Not the way most people do it.