• When does 4 become 5?

4.5 >=? Lots of programming languages define casting as the largest integer value, not the the rounded value. Outside of programming, there are scenarios where 4 cannot be rounded to 5 either… Like a height requirement for a ride at an amusement park. Though, it might seem natural to round it to humans.

• When does green become black in a gradient?

With computer languages, we define colors with red, blue, and green. The above is a gradient on horizontal x-axis, with

(r = 0, g = x, b = 0) 

This is more complicated. If we surveyed 1 million people, maybe we’d get a plot that defined the start of green as something like the following.

And then maybe we could take the the average and state that as green.

Though, is that really good enough description of green to serve as a legal definition of green? Maybe lawyers would select significantly different results than the general population when surveyed for the value of green. Maybe the results should be restricted to lawyers?

• And when does 2 become 7?

If we restricted it pixels to a 3x5 grid…

We could possibly define 2 and 7.

But then is this a 2 or a 7?

_

The creator of Go has an infamous quote on the language.

The key point here is our programmers are Googlers, they’re not researchers. They’re typically, fairly young, fresh out of school, probably learned Java, maybe learned C or C++, probably learned Python. They’re not capable of understanding a brilliant language but we want to use them to build good software. So, the language that we give them has to be easy for them to understand and easy to adopt. – Rob Pike

source

In the past I’ve recommended onions for port forwarding. It’s more simple than alternatives and using the network is free.

The authors or Tor really don’t want their network used for torrenting though. They do support JS, and by extension I would argue the authors intended for their users to be able to use YouTube. In comparison to video, git traffic is insignificant. I don’t see anything wrong with it, but then again, users of torrents don’t usually have issues downloading without port forwarding.

https://www.tiktok.com/@lunchbaglujan

It’s kinda wild.

https://github.com/yt-dlp/yt-dlp/blob/master/supportedsites.md

It also works in places I wouldn’t have expected it, like Twitch livestreams

yt-dlp https://www.twitch.tv/amazonmusic

yt-dlp converts it to a mp4 successfully for me.

yt-dlp https://prod.vodvideo.cbsnews.com/cbsnews/vr/hls/3330898_hls/master.m3u8