Viewing profile — 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 no…

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 at…

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 ea…

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…

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 …

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.