Remix.run Logo
Barrin92 2 hours ago

>Half of my work is telling claude how to behave

Dijkstra in the Foolishness of Natural Language Programming

[...] the "naturalness" with which we use our native tongues boils down to the ease with which we can use them for making statements the nonsense of which is not obvious. It may be illuminating to try to imagine what would have happened if, right from the start our native tongue would have been the only vehicle for the input into and the output from our information processing equipment. My considered guess is that history would, in a sense, have repeated itself, and that computer science would consist mainly of the indeed black art how to bootstrap from there to a sufficiently well-defined formal system.

Imagine if only we had languages at our fingertips whose explicit purpose was to precisely and unambiguously tell a machine what to do!

https://www.cs.utexas.edu/~EWD/transcriptions/EWD06xx/EWD667...