ed Is Pronounced “ee-dee”

Zettel#104

zettelkasten
Published

2023-07-04

This was stated by Brian Kernighan: https://youtu.be/NTfOnGZUZDk?t=113.