balsoft

In europe gas is expensive and electricity can be quite cheap because of rapid renewables adoption. In addition, you also have to factor in that gas cars need regular oil changes, engine maintenance and their brakes usually wear out much faster too.

Yes. But that's just a dick move, because while it sucks there's not much Ukraine can realistically do about it.

Meanwhile this is also stupid because Iran clearly holds all the cards (and anti-ship missiles) there.

Not inviting Iran and Oman to these talks is a dick move and also just stupid. It is their territorial waters, and Iran will have military control over Hormuz by the end of the war, so any plan that doesn't involve them is likely to get rained on by missiles.

The link in the comment is borked, as expected. But the PR itself is definitely OK: https://github.com/unipop-graph/unipop/pull/138

I hope they meant "verify user age by entering it at account setup" instead of "the user reports their age when they open a website", like the california law. Still stupid to write it like this, but at least a little bit less bad.

To be honest pedestrian bridges suck. Lots of people just can't use them (mobility issues/parents with strollers/cyclists/...), they add a non-insignificant climb and descent to your journey, and they look depressing. They should only be a last resort, e.g. for highway crossings.

The real (short-term) solution is to narrow the stroad to just one lane in each direction (which makes room for cycle lanes or light rail), and add regular crossings (or at least reasonably timed traffic lights). The long-term solution is to get rid of personal cars in urban areas altogether.

I think it was a report about "influencers", with the score being something like "how much they hate israel" × "followers on social media"

Oh, you are correct!

In that case we just need one more step of -∞ = eml(1, ∞). Let me fix the original comment

I'm not really addicted to my phone. Most of the day I don't even know where it is. I am however a bit addicted to my laptop/desktop, but that's easier to avoid since it's location-dependent — I usually go on daily walks/jogs. Since there's also some external stimuli (people, weather, dogs, etc) it's much easier to keep the internet off my mind entirely.

If it's safe to do so, going on walks without the phone could be a good way to start a habit like this, IMO.

Windows 11 is less of a poop smelling ice cream truck and more of a Kaiser's Coffee Shop van. And you ain't in the driver's seat.

Better still, in the Nix world there's https://github.com/nix-community/plasma-manager which allows you to set up all the settings exactly once, and then auto-apply them on all the machines!

Yep, the ln/exp immediately made me think about the multiplication/addition thing. I could also get 0 easily: eml(1, eml(eml(1, 1), 1)) (basically e - ln(e^e)), and it's trivial to just get the exponential: exp(x) = eml(x, 1)

What I didn't think about is that we could do some tricks with infinities :)

• negative infinity -∞ = eml(1, 0)
• allows us to get the negative logarithm: neg_ln(x) = eml(-∞, x)
• from which it's easy to get negation neg(x) = neg_ln(exp(x))
• regular logarithm ln(x) = neg(neg_ln(x))
• then trivial subtraction x - y = eml(ln(x), exp(y))
• and finally addition x + y = x - neg(y)

That's so cool!

Edit to add: Apparently this is multiplication…

Yep, multiplication is easy when you have the above, it's basically x × y = exp(ln(x) + ln(y))

~~As far as I can tell just following through with substitutions leads to exactly the same expression as the one in the image~~

Actually their expression is different, I'm not sure exactly how they got to it...