34 ms·

Love this idea, would like to read more. Got a source?

• deleted 4y ago
  [deleted]
• jxy 4y ago
  https://www.cs.utexas.edu/users/EWD/ewd06xx/EWD667.PDF https://www.cs.utexas.edu/users/EWD/ewd06xx/EWD667.PDF > From one gut feeling I derive much consolation: I suspect that machines to be programmed in our native tongues—be it Dutch, English, American, French, German, or Swahili—are as damned difficult to make as they would be to use.
• qsort 4y ago
  > 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. https://www.cs.utexas.edu/users/EWD/transcriptions/EWD06xx/EWD667.html https://www.cs.utexas.edu/users/EWD/transcriptions/EWD06xx/E...
  • rgbrgb 4y ago
    thank you!