f-jin

8 ms·

1.
by f-jin 4y ago
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
2.
by f-jin 4y ago
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..?
3.
by f-jin 5y ago
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.
4.
by f-jin 5y ago
> 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 pers
5.
by f-jin 5y ago
Indeed, I'm also half convinced that your parent comment is some sort of GPT-3 generated stream of blandness.
6.
by f-jin 5y ago
Can't speak for all of Europe, but my bank in the Netherlands (Rabobank) certainly does offer chargeback options on debit card purchases.
7.
by f-jin 5y ago
Majority rule is kind of the underpinnings of democracy though, and free speech is a major factor in effective democratic systems.
8.
by f-jin 5y ago
You're in for a tough one once you find out that reality TV and video-games exist.
9.
by f-jin 7y ago
(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
10.
by f-jin 7y ago
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.
11.
by f-jin 7y ago
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
12.
by f-jin 8y ago
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.