Mon, Mar 26, 2018, ~200 Words
As a small improvement for this site, I wanted to add a favicon. Naively, I thought that this would be trivial. The logo is generated by a small script, and can easily be resized or converted to a different format. I had one small question, what is the best size?