balsoft

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...

I can kinda see how to get pi (and most of trig in general), the imaginary unit, and even some calculus, but (weirdly) basic arithmetic seems to be more difficult. I'll check out the paper, seems cool!

Honestly for desktop usage it doesn't really matter. All inits have their idiosyncrasies ("A stop job is running for Session"/logging hell on openrc/etc). But for managing a fleet of bare-metal servers I find systemd to be the best, most polished one out of the lot.

~~Sounds awesome, why c/Slop?~~

Just saw the source 🤮

And the moment they have a nuke and show it off, all hell will break loose

As you can see, all hell has been broken loose for them already even though they don't have nukes and weren't planning on making them. I think it's time they armed themselves against the aggressors, with the only weapon those aggressors actually fear.

Nukes are the epitome of hard power tho. There is very little need to understand anything apart from "if I bomb that country, they nuke me (or, in this case, israel)". I'm sure the financial markets would not appreciate a nuclear war either, so the profit incentive is there too.

Iran not getting nukes ensures that this war will happen again too. The only ways to keep sovereignty in the face of imperialists are:

1. Be economically irrelevant (a-la Cuba)
2. Kick their ass in a land war so hard that they are scared to even try (a-la Vietnam)
3. Have nukes (a-la North Korea)

If you don't have any of those three you're bound to be coup'd by US-backed fascists at some point, see: history of South America and West Asia.

Iran has oil and control over the straight of Hormuz, so (1) is out of the question. (2) is more likely but I'm not sure if the US leadership is dumb enough yet to just go head first into another land war in asia, and in any case this would lead to hundreds of thousands of dead civilians. This leaves us with (3) as the most viable strategy.

Yeah, the centralized nature of Rust's dependency management always bugged me a bit. Of course there's nothing stopping you from just pointing directly to the source code of crates in your Cargo.toml, and I think I will start doing that from now on. Adding better tooling for this would be great.