4 ms·Maybe there should be an IRC group #namingthings on Freenode?by peterhil 6y agoMaybe there should be an IRC group #namingthings on Freenode?