iljitsch.com

topics: all · BGP / IPv6 / more · settings · b&w · my business: inet⁶ consult · Twitter · Mastodon · LinkedIn · email · 🇺🇸 🇳🇱

Hi, I'm Iljitsch van Beijnum. This page has all posts about all subjects.

Customize Safari Reader font

I think yesterday's WWDC was the longest one I've seen at nearly 2.5 hours. Still, there wasn't much to get excited about. Apple Pay is coming to the UK, but not to the rest of the world. Apple Maps transit directions are coming to two handfuls of cities and all of China, but not to Holland. Apple's new news app is also limited to the US, the UK and Australia. The music stuff may or may not be interesting, but I'm afraid it's going to get in the way of simply playing the music I have on my computer and my iPhone.

But... reading the fine print, there is one thing I can get behind:

A customizable font for Safari Reader!

I must be getting old, but I really can't stand what the web has become these days. The trend to have fixed banners at the top and/or bottom of pages gets on my nerves, because that way you can't scroll a webpage one screen at a time. It's also visually distracting. As are the attention-grabbing ads, which are often animated or video. So there's hardly any text I read on the web without invoking Safari Reader.

However, Safari Reader itself isn't all that great: the width of the text is fixed, so in order to get avoid having too many words per line, which makes it hard to land on the next line, I need to keep the text size bigger than I'd like. (Funny, because 95% of web pages use text that is way too small.)

Safari Reader uses the Georgia font, which isn't terrible, but largish serif fonts just don't take advantage of high resolution displays. So I hope that in addition to the ability to configure a nice sans serif font, we also get to adjust the margins in Safari Reader.

Permalink - posted 2015-06-09

Oude windmolen

Image link - posted 2015-06-03 in

→ User agents of change

Allen Pike, "crafter of fine software", writes about how insane browser user agent strings have gotten. Case in point, the mobile version of Edge, Microsoft's new cutting-edge browser:

Mozilla/5.0 (Windows Phone 10.0; Android 4.2.1; DEVICE INFO) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/39.0.2171.71 Mobile Safari/537.36 Edge/12.0

That is to say, Microsoft Edge claims to be every computing platform ever conceived - except for Internet Explorer.

The nasty thing with all this useless nonsense that the browser sends to the server for every request is that it takes up often precious upstream bandwidth. On a slow DSL or 3G link this can really slow things down.

Permalink - posted 2015-05-31

The hell that is Disk Utility

A while back, I gave my sister a 1 TB 2.5" USB HDD for backing up her Mac using Time Machine. But somehow she couldn't perform backups anymore lately. The drive contained two volumes: a regular one and an encrypted one. The regular one wouldn't mount and Disk Utility wouldn't repair it.

No big deal, just wipe the drive and start from scratch, I thought—assuming it's not a hardware problem. That was easier said than done. I ended up spending half the day yesterday just trying to repartition that stupid USB drive.

Full article / permalink - posted 2015-05-31

→ I Fooled Millions Into Thinking Chocolate Helps Weight Loss. Here's How.

I felt a queazy mixture of pride and disgust as our lure zinged out into the world.

It is way too easy to get bad research published and covered in the media, especially about nutrition.

Permalink - posted 2015-05-29

Review: the Braun Oral-B PRO 6000 electric toothbrush—with bluetooth!

I'll spare you the details, but I recently needed to up my game in the toothbrushing department. I've been brushing my teeth with an entry-level Oral-B electric toothbrush for almost a decade, but I thought I could do better with a more advanced one that provides a warning when you brush too hard. (This can damage your gums.) Turns out there's now a model that has bluetooth. After all, everything is better with bluetooth.

Full article / permalink - posted 2015-05-29

older posts - newer posts

Search for:
RSS feed

Archives: 2000, 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008, 2009, 2010, 2011, 2012, 2013, 2014, 2015, 2016, 2017, 2018, 2019, 2020, 2021, 2022, 2023, 2024, 2025