This on r/programming today: Font size is useless; let’s fix it. Interesting article, but I didn’t read it closely.