I believe the main thing to consider beyond just correctness of your email server configuration is that large email providers evaluate the reputation of a sender’s infrastructure. So for example, if your mail server has an IP address associated with large-scale spammers, that would hurt reputation. And if you are your own ASN or something, you have to build your reputation from nothing. I believe I mostly dodge this problem by just putting my email server in Hetzner.

You mean by other email servers? I haven’t had any issues yet.

I also self-host email on a Hetzner VPS. I pay about 9 Euros/Month.

I sure hope you’re using that for a lot more than email.

1. Get cheap Hetzner VPS with redundant volume.
2. Get a domain name.
3. Run Stalwart for you mail server.
4. Run Bulwark for your inbox web app.
5. Run Kanidm for an identity provider.
6. Configure these DNS records: MX, SPF, DKIM and DMARC

There are more details, but those are the basics.

My god what an obnoxious website.

So what formal language do you think would be more appropriate than Lean for this purpose?

Then what was your point?

not mathematically complicated but logically complicated

Lean is more than capable of modeling logic.

You could use that to run the TisVlay CLI to automate TV related macros

Nice idea. I may try this out next time I’m tweaking my NixOS configs.

But for speaker bars/stereos, that’s another idea to add to the HDMI-CEC backend.

Yea that definitely sounds interesting. My speakers are connected over optical digital audio cables. I can’t even control them with my TV remote. I’m not sure I will be able to make this work. But I am planning on getting a new TV soon so 🤞

I use Plasma Bigscreen for my HTPC. I can’t speak to development status, but I know that it is functional for me as I use it daily. I use it for two things: moonlight game streaming client and jellyfin client. I can use the KDE Connect android app as a remote, but more often I use a bluetooth game controller or the Jellyfin android app to cast stuff.

It’s basically never locked because I don’t need it to be.

I don’t have an OLED TV yet, so the burn in prevention stuff isn’t useful to me yet. But having things like power and volume control on my phone would be really nice QoL improvements. I currently need to use my TV remote for power and input selection and my speaker remote for volume (though at least Jellyfin has its own volume control too).

Nice! Thanks for sharing!

I’m curious if you’ve used Plasma Bigscreen, what you think of it, and how TisVlay would integrate with it.

You could say the same about patents for physical inventions. But there are legitimate reasons for patents to exist.

Nice strawman.

While funny, the hero could have done both: save them and register them as organ donors.

Just because someone making such an argument identifies as a utilitarian doesn’t mean all utilitarians make flimsy arguments.

You are correct to point out the distinction between race conditions and data races. Rust only rules out data races.

I don’t know whether the race in question was a data race or not.

I would still wager that Rust code generally has fewer race conditions than C, given that mutable aliasing can be used as symbolic prevention of race conditions, i.e. your &mut T doesn’t necessarily need to hold data; it can represent some domain concept.

aren’t language specific

There are actually languages that guarantee deterministic concurrent execution, and this can rule out larger classes of race conditions than just data races. See the Bloom language and CALM theorem.

It’s been replaced by the overuse of confusing foo's own [implied noun] phrases.

I could attribute the race condition just as much to their use of the C language as to AI.