@mngrif maybe it's time for you to take the red pill?
Get a proper client that can request local timeline from an instance directly(this should be your primary form of discovery, federated timeline becoming a fallback mode). Not many of these around unfortunately, I arrived at subway tooter for now. Single out users you like and follow them, not to actually follow them but to bring them into qoto's federated timeline (use lists for people you actually want to follow).
Bonus points for mods: When you see some shady stuff on federated timeline, go to followers list of the account, see who on qoto follows them. If it's a no face, 0 toot account consider banning them to oblivion, cause that could be a form of spam or advertizing.
The good news is that there is light at the other end of the tunnel and China is now in a position to help the rest of the world.
The bad news is that they were *vastly* more aggressive in fighting the spread than we have been.
---
RT @redfishstream
Chinese medical workers who have been fighting the #coronavirus day and night in Wuhan celebrated the closing of the last temporary hospital in Wuhan.
The repo…
https://twitter.com/redfishstream/status/1238457755415064576
@Keeneire ^_^
@grey TLDR "ad hominem is clearly a fallacy, but it is useful for manipulating people, so it's clearly not a fallacy"
Implementing equality tests is difficult: https://www.craigstuntz.com/posts/2020-03-09-equality-is-hard.html
Copying text from a PDF file is difficult: https://www.filingdb.com/pdf-text-extraction
@alcinnz I will now rant about the equality.
Structural vs reference:
In computers(and one might even argue in real world in general) everything has value(structural) semantics of equality. Reference semantics can be achieved by the type systems, abstracting away machine pointers, though the concept is applicable beyond just machine pointers, you'll often find yourself in the exact same situation when using an object of any type as an ID/handle/key in some data structure.
Equivalent representation:
Again solved by a type system.
The case of real numbers is a distraction, real numbers are not representable in computers. Floating point numbers are an approximation. Equality is(can be) well defined on floats, and the common problem with those is not in equality checks, it is in the imprecision of arithmetic operations (such as multiplication in 10 * 0.1), which will cause confusion in a lot more places than just equality if you are unaware of it.
More to the point of the representations, rational numbers 2/4 and 1/2 (the idea applies to floating -0 or 0 too) can be equal or not dependent on how you view them. In any given context you might want to work with them as just a pair of numbers or ratios or anything else they are capable of modelling. The solution at the end of the article doesn't even address this, but type systems do.
Intentional vs. Extensional Equality:
People know they can't solve the halting problem, so they don't try to. Also in most sane languages functions are not mutable so the previous examples and shortcomings with reference semantics don't apply.
In sufficiently complex and abstract systems, separate equality comparisons can be a pain to keep track of. You need something to help you with that and also allow expressing you intentions more clearly in interfaces, not forcing people to read implementations to understand which equality might be used where. You need a type system that is capable of abstracting away both.
In simple concrete cases, I can't imagine one ever needing to switch between the two types of equality back and forth. Any such switch will require a switch in mindset, therefore a type cast/conversion would also be affordable.
In my experience any confusion with this doesn't come from people wondering weather reference or value semantics are used for any given type and guessing it wrong, the confusion comes from people not even considering that, and not having a good understanding of the difference, that is, if given a choice, wouldn't even know which equality they want to use.
@crackurbones In case the nonsense about binary and yin yang and stuff is not enough to discredit the author, I have an urge to point out that the conceptions of ethics, beauty and even nature are inherently human, and the whole message boils down to "I'm the right kind of human, my conceptions are the ultimate conceptions, and are more important than other peoples lives even, and I just can't wait until we create some kind of a god machine that will physically enforce them".
For the purposes of this discussion I accepted all of your claims about Chinese government and expressed no opinion of my own on that.
I need sound logical argument I can hope to win with. I seem to latch onto those naturally.
Nothing would make a grump like me happy, I would latch on anything I can to gripe about and snark at, so beware! Both of you!
So if whoever took the video of spraying, tried to talk to the guy spraying, he would go to jail, but taking the video and posting it along with anti-government rhetoric is totally ok, no jail?
I'm not suggesting you to show your face in a video, or even link the identity of the interviewer to the identity of the publisher, or change your rhetoric.
Not at all, all I'm saying is that you shouldn't call yourself a journalist, not with what you have presented so far at least.