I just finished moving the database for this blog off AWS RDS and onto a MariaDB Docker container with the database files hosted on EFS. RDS turned out to be overkill for my use case, and it was costing me more per month than I had expected. By contrast, EFS storage space is cheap, and the EC2 instance I’m running MariaDB on is free until the end of 2024. The trade-off, of course, is that it’s almost surely not going to be as performant as RDS, although I’d be surprised if I notice any difference. We’ll see. If I do, I can always try something like a persistent object cache and/or page cache.

I also wanted to write a quick note about swimming this season. It’s been a good season thus far, and the hot summer has led to a lot of time spent in the pool. As a matter of fact, according to Apple Health, I’m only 7 or 8 swims away from eclipsing last year’s total, and we’re only halfway through August. The best times of day for swimming are mornings before 9:00, and afternoons after 4:00, because that’s when the pool is out of full, direct sunlight. On really hot days, I’ve occasionally done pool running in the mornings in lieu of “real” running, as I have a hard time getting over 3-4 miles on really hot, oppressive days. Most of my swimming has been in the afternoon and evening, with a tether, same as in recent years. In July, I typically swam in the late afternoon before dinner, but this month (August), I’ve been swimming more in the evenings, sometimes going as late as 9:00pm. Usually, I do 3 sets of 60 breast stroke, 60 front crawl, 60 butterfly, and 60 backstroke, for a total of 720 strokes, which takes me about 40 minutes. I’m happy with how my backstroke has progressed this year — I first started doing it regularly about midway through the 2023 season, and it felt awkward and uncoordinated for quite a long time. Lately, it has improved quite a bit.

As with every year, the end of the pool season can be a wild card depending on the weather. In 2022, I was able to swim until October 4, but last year, a persistent bout of cloudy, cool weather brought things to an early end on September 14. We will see what this year brings. We set the record for latest day in the pool (October 9) in 2007, and it still stands. I wonder if it will ever be broken?