Zooming the Chrome Audio Player

December 27th, 2022
tech
A few weeks ago I griped about how the default audio player in Chrome is too narrow, and how this makes it hard to seek accurately. I realized yesterday, though, that there's an easy work-around: zooming. By pinch-zooming I can make the seek bar almost the whole width of my phone, which is a big improvement:

It's not perfect: it's not super discoverable and it still doesn't make great use of the available vertical space (showing timing and seeking at the same time would be nice) but I'm very happy I've found this.

Comment via: facebook, lesswrong, mastodon, substack

Recent posts on blogs I like:

Exercises in benchmarking and evals, part 7: DeepSWE, Senior SWE-Bench, napkin math, and winter tires

This is part of a series of exercises on benchmarking, evals, and experimental design (1, 2, 3, 4, 5, 6)1. We're going to look at three questions, which are presented before the answers to give you time to think about the questions before seeing the a…

via Posts on July 23, 2026

Donation recommendations for effective altruists (July 2026)

My recommendation for donors who are American citizens or permanent residents is that they donate directly to high-value political candidates.

via Thing of Things July 22, 2026

Let's Taboo the V-Word

Read this post on Substack.

via Home July 12, 2026

more     (via openring)