f-jin

Recently been reading up on model checking, and Kripke structures are mentioned often. They are somewhat similar to Labeled Transition Systems, but then with propositions on the nodes instead of labels on the edges. Turns out they are named after this person, fascinating.

isn't the crux of the matter the all-reaching laws of the US that allows their intelligence agencies to order EU-subsidiaries of US companies to offer up their data..?

not racism, more like discrimination. It's not strange to pay more attention to your neighbor getting shot than some guy in another city getting shot.

> So is it likely the European Commission did this in an attempt to block US companies from offering internet services to the EU

More like the European Commission did this in an attempt to protect European citizens from having their personal data exfiltrated against their will to the US on order of US law enforcement agencies.

Indeed, I'm also half convinced that your parent comment is some sort of GPT-3 generated stream of blandness.

Can't speak for all of Europe, but my bank in the Netherlands (Rabobank) certainly does offer chargeback options on debit card purchases.

Majority rule is kind of the underpinnings of democracy though, and free speech is a major factor in effective democratic systems.

You're in for a tough one once you find out that reality TV and video-games exist.

(I'm not sure if you're from the US or not, but let's just assume you are) -- how responsible do you feel for the vast amount of war crimes commited by US soldiers in the middle east over the last few decades? Shouldn't Americans share some collective responsibility for their government actions?

Instead of implementing `ToString` directly, you should implement `Display`. A `ToString` implementation will automatically be added, and you get all the formatting goodness out of the box.

Aside from using the term "waifu" instead of something like "wife" / "SO" / "girlfriend", the comment itself seems fine to me. I've heard stories of low computer literacy in Japan from other sources as well, it is quite interesting.

This is honestly one of the most bizarre projects I have seen. I fail to understand the "open-source-but-not-quite" attitude of the author.