V videlalvaro.github.io Donald Knuth used an Erlang-like notation 149 points old_sound 10 years ago 93 comments