xpmatteo
Re:Dijkstra On the foolishness of "natural language programming"
on Friday April 04, 2025 @07:53AM (#43580932)
Common expressions such as f = O(n) are not formal at all -- the "=" symbol does not represent equality, and the "n" symbol does not represent a number.
Re:A little story about the `yes` Unix command
on Thursday July 21, 2022 @06:25AM (#32177642)
The simplest Unix command is arguably "true"