My guess is because a linter and/or HLS was suggesting it. I know HLS used to suggest making your fields strict in almost all cases. In this case I have a hunch that it slightly cuts down on memory usage because we use almost all Muls either way. So it does not need to keep the string it is parsed from in memory as part of the thunk.

But it probably makes a small/negligible difference here.

Of course it’s point-free

True. I love how AoC is a hotbed for creative and/or insane ways of solving coding problems.

If you wanna check out how it goes in Nix: https://git.sr.ht/~kintrix/aoc2024

Java

Nix, because I hate myself. No, it is very much not made for this purpose. But it’s possible to use if for this.

<$> is just fmap as an infix operator.

>>> fmap (+1) [1,2,3]
[2,3,4]
>>> (+1) <\$> [1,2,3]
[2,3,4]

That is basically the problem. Also that fractional scaling on Linhx generally still gives blurry results. Fractional scaling without explicit support from the apps side is very difficult to implement.

And yes, there are a ton of of apps that don’t correctly respect OS hints for size. Even more common among apps that aren’t Linux first, or are proprietary.

I think the baseline of what I would want is:

• Have actual moderation of the ads. Don’t allow malware ads, don’t allow porn ads etc
• Don’t allow obtrusive ads, or at least categorize them and have preferences. Do NOT play my ads 2x the volume of whatever I was watching.
• Don’t interrupt my video with ads. Play before or after. Ideally after, but I can see why that would not be feasible. I guess it is also feasable if the creator marks ad breaks, like the current-day sponsor segments.

I genuinely think Youtube premium is alrightish as it is. I wouldn’t pay for it; though, since I do not want to give my money to Google. They are getting enough out of me that I don’t want to give them.

I honestly just want the alternatives, like PeerTube, to have a funding model, which allows creators to get paid. Donations? Sure. Optionally ads? Sure. I think peertube having opt-in ads that go to the creator would go a long way.