Here in São Paulo, there’s a party a called “Hotline” and they had two dance floors, one with phonk, brazillian funk and techno, and in the other one anime intro songs on Japanese. With my wife we stay on the phnok floor, but go to the anime one to relax when we get tired and is pretty funny seeing everyone singing along the anime songs while we don’t know any of them.

Isn’t powershell just bash but for windows?

I just remembered where I learned about that function, in this course on convex optimization that unfortunately I never had the opportunity to finishing it but is really good.

After searching a little, I found the name of the function and it’s proof: https://en.wikipedia.org/wiki/LogSumExp

I don’t have a mathematical proof, but doing some experimental tests on excel, using multiple (more than 3) numers and using negative numbers (including only negative numbers) it works perfectly every time.

Guess only work with integers, specially for the floor function that is going to give you an integer at the end everytime.

Not my idea, learned it somewhere while doing college in an statistics class. The idea is that the exponential function grow really fast, so small difference on variables become extreme difference on the exponential, then the log function reverse the exponential, but because it grew more for the biggest variable it reverts to the max variable making the other variables the decimal part (this is why you need the floor function). I think is cool because works for any number of variables, unlike mathematician 2 who only work for 2 variables (maybe it can be generalized for more variables but I don’t think can be done).

For a min fuction it can be use ceiling(-ln(e^-x + e^-y))

Mathematician 3

Max(x, y) = floor(ln(e^x + e^y))

Not available in countries with strong data protection laws for some reason.

Why is too restrictive?

In a moment of weakness I configured the Visual Studio to use Vim as input method and now I don’t know how to change it back.

Sorting by hot gives you this wild 2 years old posts lmao.