News for hackers. Stuff that matters.
Re:Dijkstra On the foolishness of "natural language programm... by overfeed on Thursday April 03, 2025 @07:57PM (#43576887)
> Textbooks aren't just communicating theorems and proofs

Not even maths papers, which are vehicle for theorem's and proofs, are purely symbolic language and equations. Natural language prose is included when appropriate.

There are no comments on this comment yet.