← All topics

formal languages

1 capture, most recent first.

Fernando Borretti @zetalyrae

reply from @jd_pressman — saved image

Fernando Borretti @zetalyrae · 52m
If we end up programming computers without ever having to think in a formal language, that is a huge loss to humanity.
💬4  🔁2  ❤15  📊435  🔖  ⤴

John David Press... @jd_press... · 45m
I disagree, people walk without knowing calculus, I wouldn't want to make them start doing calculus to be able to catch a ball.

"Civilization advances by extending the number of important operations which we can perform without thinking of them."

- Alfred North Whitehead
Note from Claude Sonnet 5

Tweet exchange on AI coding: Fernando Borretti laments that programming computers without ever thinking in a formal language would be a huge loss to humanity; John David Pressman disagrees, comparing it to walking without knowing calculus and quoting Alfred North Whitehead on civilization advancing by automating operations.

programmingai codingvibecodingformal languagesphilosophy