logoalt Hacker News

kevin_thibedeau • today at 1:57 AM • 3 replies • view on HN

The typed original [1] has double hyphens that have been converted to dashes. His typewriter (Hermes Ambassador) was fixed pitch.

[1] https://www.cs.utexas.edu/~EWD/ewd06xx/EWD667.PDF


Replies

retrac • today at 2:42 AM

Oh look at the last paragraph on the first page. Manually justified:

           In order to make machines significantly easier to use, it has been
    proposed (to try) to design machines that we could instruct in our native
    tongues.  This would, admittedly, make the machines much more complicated,
    but, it was argued, by letting the machine carry a larger share of the
    burden, life would become easier for us.  It sounds sensible provided you
    blame the obligation to use a formal symbolism as the source of your dif-
    ficulties.
How does one even achieve that with a manual typewriter?
➕ show 1 reply
voxelghost • today at 2:05 AM

Wasnt the original famously in written with Fountain pen? And the typed out version reproduced much later?

➕ show 3 replies