Just wanted to recommend Luanti (formerly Minetest). Got the whole family playing at the same time eventually, and so I spun a server we can always join individually or together. It’s been really fun, didn’t think I’d like the genre, but it’s pretty zen when it needs to be, yet can have action and exploration too. Especially when trying to watch over and guard the little ones that get a little panicky at times and don’t have the best eye-hand coordination with a keyboard and a touchpad.

I’m out of touch here, what happened? No longer use it, but have some previously stored data there, should I do a purge? Is it dead or did they transition to something profit-driven and questionable?

Yeah, the two aren’t equivalent and the original has more conditions than the new one, so without context this just doesn’t make sense in this example.

A is “” only when B is also “”, otherwise we return f()

In the new one we simply say that regardless of what B is, we’ll just call f(), entirely skipping the case where B == “”.

Probably this specific condition checking was moved to the inner scope of f(), but this example does not tell us (who don’t know the context) that. Or maybe the check is redundant, but that also isn’t signaled in any way.

Or then maybe I’m just oblivious to the optimization, in which case I can see why the maintainer would take their time figuring that out. It’s not anything obvious based on that alone, at least to me, and I would say I have some experience in this field.

Edit: But yeah this is basically just semantics, I’m sure they gave apt description in the PR, so the context would be explained there and none of this really matters. I just like to ruminate about little things like this for some reason. Didn’t mean to imply they didn’t do a good PR, just that this specific example was either confusing or confused.