Yeah, fortunately, for my own use cases, /60 is enough, but I can't think of a good reason for Comcast to not give out /56 since they're pretty cheap compared to IPv4.

For reference, in the US, Comcast only gives up to a /60 for residential connections. It's still fine for most use cases, but it does feel a bit like doing a bit of penny pinching when you're wondering if you have enough /64's for how your network is going to be set up.

That's odd, I'm on Android 14 and have andOTP installed.

You mean the Linux kernel specifically? I think most people do regard it as a monolithic kernel, even if there are modules you can load and unload.

$1/day? At 100W average power usage, that's 2.4kWh per day, suggesting that where you live, the price is 41.67 cents per kWh, ~~roughly double that of California.~~

Is electricity that expensive where you live?

Edit: it's been a while since I lived in the Bay area, I hadn't realized that the electricity price now ranges from 38-62 cents per kWh, depending on rate plan and time.

I think podman by default does do that, but it's easy to disable almost all of it, at least.