So the standard/typical size of the most common DC power plug/socket is 5.5 x 2.1 mm. There are a bunch of other sizes too.
This on r/programming today: Font size is useless; let’s fix it. Interesting article, but I didn’t read it closely.
So I was poking about in my VSCode settings, File -> Preferences -> Settings. And I found the Workbench > Tree: Indent options which controls the tree indentation in pixels. The default settings was 8 pixels, which is too small for my liking, so I cranked it up a notch to 37 pixels! Yay woo!
Today I read The Surprising Impact of Medium-Size Texts on PostgreSQL Performance which popped up on reddit.
Found out about this handy utility the other day: ScreenFly.
It allows you to test your website on various device form-factors. Handy!
I found this article (Some Guidelines for Determining Web Page and File Size) today which talks about the average size of HTML and other files on the web. According the article (and I’m not clear how they got their data) the average HTML file is 25k, JPEG 11.9k, GIF 2.9k, PNG 14.5k, SWF 32k, external scripts 11.2k and external CSS 17k with the average total size of a web page being 130k. Interesting stuff. Particularly that scripts are typically 11.2k given that jQuery is 90k.
So many pros and cons, and it’s all hypothetical… what I really need is data. Anyway, I don’t have data, nor do I really have the tools to get it. So given that I have to fly in the dark, here’s my plan:
I’m always wondering how big I should make my database columns. I put together a simple PHP script which demonstrates the sizes of various strings which is handy as a reference when thinking about how big you should make your fields.