News for hackers. Stuff that matters.

A comment on Why numbering should start at zero (1982). Parent comment

Re:Why numbering should start at zero (1982) by rhplus on Thursday August 16, 2018 @01:16PM (#17776592)
It's real, but if you'd like to emulate it, there's a TTF font floating around out there:

http://lucacardelli.name/indexartifacts.html (go to Artifacts > Fonts tab).

Or, https://www.google.com/search?q=dijkstra+ttf+font

[ Parent | on HN ]

There are no comments on this comment yet.