oisdk

11 ms·

31.
by oisdk 6y ago
You can of course always do it with a list comprehension, also: [ seq for seq in permutations(range(1,10)) if all(x + y in primes for x, y in zip(seq, islice(seq, 1, None))) ] This has the same short-cir
32.
by oisdk 6y ago
I mean I was interested in examples. People disagree about what counts as a “cancelling” so I was looking to see what the person I was responding to was referring to, with some examples.
33.
by oisdk 6y ago
> Please show me video of police purposefully brutalizing non-violent protesters who behave sensibly (maybe you can learn how to spell protester while you're at it). That's an interesting move you've done there: now protes
34.
by oisdk 6y ago
> Hopefully we can agree that it's well within police prerogative to prevent rioting, serious property damage(like trying set fire to buildings), possible violence. No, as it happens. I mean I get I'm probably outside the Overt
35.
by oisdk 6y ago
> there is nothing even close to "brutal" happening to the rioters. If you aren't going to believe me, and if you're not going to believe your eyes with regards to the multiple clear videos of police brutality, then m
36.
by oisdk 6y ago
> And since then they've resulted in 17 deaths. Wait---are you seriously not going to count the people the police have killed? What is wrong with you? Regardless, my point was not that the protests are justified (although of cours
37.
by oisdk 6y ago
I mean I agree with you: broadly I think things like the Yascha Mounk case are bad (I mean there are even better examples on the left: take Matt Bruenig, for instance), but like it's totally insane to say it's the main authoritari
38.
by oisdk 6y ago
So what's undetermined in the snopes article is whether specifically those police that detained people in portland identified themselves or not. When I spoke about officers not identifying themselves I was talking generally, about the
39.
by oisdk 6y ago
Listen, if people want to say that “cancel culture” is a real phenomenon and it has a chilling effect on speech that’s one thing: I’d even be sympathetic to that point of view (although, as I said, I think it’s vastly overblown by people li
40.
by oisdk 6y ago
> Do you really think that's what people are complaining about here? Not the professors being fired, the well known economists being forced to resign? There was a professor who lost his status running a residence hall because he was
41.
by oisdk 6y ago
> "just count political prisoners; see how few there are!" You see how it comes across as a little ridiculous when you equate "being cancelled on twitter" to "being a literal political prisoner"? Especially
42.
by oisdk 6y ago
> it is in line with the progressive left and thus implicitly at least supportive of "cancel culture" and censorship. It's very easy to say everyone is in favour of cancel culture if you say that any support of the &quot
43.
by oisdk 6y ago
> Many people have lost their livelihoods What are you referring to, specifically?
44.
by oisdk 6y ago
I assume you're aware of police obscuring their badge numbers, and refusing to identify themselves? That phenomenon is at least as common as the actual police violence. While I have many problems with the following snopes article, I th
45.
by oisdk 6y ago
My intention was to be self-deprecating. (or, rather, I was trying to acknowledge that I know I am part of the demographic commonly held as responsible for "cancelling" people. Personally I find it impossible to use the word witho
46.
by oisdk 6y ago
> This decline came about as the western world became rich enough that eliminating the suffering of slaves was worth the inconvenience of replacing their labor. This is just not true, and certainly not the view of most historians. This i
47.
by oisdk 6y ago
It does not make sense to me that we should say the actions of a government are less important to criticise or examine because we can vote on that government.
48.
by oisdk 6y ago
Peaceful protestors being brutalised by police has been documented in almost countless cases by now. I find it hard to believe that you're asking this is good faith, but if you you are then you can: * Watch any one of the hundreds of v
49.
by oisdk 6y ago
I mean I think there's an argument to be made that discourse has become more rigid (although I do think it's overblown), but like I don't understand how you can write this: > Also from an ex soviet state. Also feel alarm b
50.
by oisdk 6y ago
I find it bizarre that comments like these seem to think the main battle ground for free speech is young people like myself "cancelling" people on twitter, when at the same time protestors are being arrested by secret police in th
51.
by oisdk 6y ago
> different people conform to the norm, regardless of the virtue (or lack thereof) of the norm itself. But this is exactly what I'm disagreeing with: there was widespread and popular opposition to slavery from its invention. To act
52.
by oisdk 6y ago
> It's important to make the distinction between people who feel like they're in favour of freedom of speech, and people who are actually in favour of freedom of speech. Exactly. I think it's clear which group Graham falls
53.
by oisdk 6y ago
"Here's a taxonomy of people that I just made up. There are four types of people, classified by superficial characteristics. Actually, this classification is an extremely strong indicator for behaviour, certainly stronger than oth
54.
by oisdk 6y ago
> The biggest "blocker" for using dependent types is that programs must be /total/, because that program has to be evaluated for it to typecheck! Totality is orthogonal to dependent types. You can absolutely have non-
55.
by oisdk 7y ago
I think the problem is inherently pretty difficult. Also extremely ambiguous. Here's a solution I put together in Haskell: encode :: Char -> [Bool] encode 'a' = [False, True] ... encode 'z&#x2
56.
by oisdk 7y ago
What's developed on that page is not a simple sieve of Eratosthenes. You can of course write a simple prime sieve in Haskell like you would write in any imperative language, and it would be pretty much just as efficient. The algorithms
57.
by oisdk 7y ago
So you just throw an error if you try and sort the empty list? Anyway, I'm pretty sure what you've said here was addressed in the article. The version you've presented here is exactly the first alternative I showed, which isn
58.
by oisdk 7y ago
Maybe I am missing the point! It certainly wouldn't be the first time in an argument about programming languages. I do understand, though, that the purpose of Go is not necessarily to push the boundaries of language design. I also unde
59.
by oisdk 7y ago
But then wouldn’t the right node with None in it be the same as a leaf? Could you specify what you mean in code maybe? If you don't explicitly define leaves than how can you represent the empty tree?
60.
by oisdk 7y ago
While I am all for stronger type systems, I don't agree that you need it to do sum types. We can already do one half of ADTs (classes ~= product types), I just want the other half! In my mind, the syntax would be something like this:

More ›