Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
noqc
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
17 ms
·
211.
▲
by
noqc
3y ago
The "left" that you are referring to opposes eliminating cash. The reasons often given in hearsay and by journalists and blog posts are often exclusively focused on "people of color" who are underbanked, but the complain
212.
▲
by
noqc
3y ago
This title seems to imply that youtube was normal before it was weird, though both reality, and tfa suggest that it was weird before it was normal.
213.
▲
by
noqc
3y ago
In addition, to paraphrase my friend, the turing test was dead when computers could reliably tell the difference between humans and computers. It was utterly useless as a measure before, but now it is genuinely alive.
214.
▲
by
noqc
3y ago
Of course not. Turing's test isn't supposed to be quantified universally over examiners. The criterion is "does there exist a human examiner who can tell the difference between talking to a computer and the human". I wou
215.
▲
by
noqc
3y ago
I'm sure you've thought of how to keep the third party's incentives clean? Not just organizationally, but down to the man.
216.
▲
by
noqc
3y ago
It is a very natural corollary of not judging a book by its cover. Judgment is almost impossible to avoid, so you should naturally not expose yourself to it.
217.
▲
by
noqc
3y ago
yes.
218.
▲
by
noqc
3y ago
The donor class often has very stupid or industrially motivated ideas about what kind of research should be done. In the former case, you're mostly just adding another idiot to your list of pseudobosses. In the latter case, what's
219.
▲
by
noqc
3y ago
In chess, you must learn that sometimes positions cannot be evaluated on material alone.
220.
▲
by
noqc
3y ago
The argument for the morality of adblockers, in my opinion, begins and ends with the idea that, were the adblocker something you could insert in your brain directly, you would clearly have the right to do so, and also clearly have the right
221.
▲
by
noqc
3y ago
Sorry, I wasn't talking about Velleman's book on whatever, I was just challenging the sentiment that you should learn the "basics of proof based math" before linear algebra. Linear algebra is the basics of proof based
222.
▲
by
noqc
3y ago
Zermelo-Fraenkel, the axioms of set theory (minus choice). This would be what you were teaching if you were to start teaching mathematics by teaching its (classical) foundations.
223.
▲
by
noqc
3y ago
You need a setting in which to learn proof based mathematics, and linear algebra really is the first place where students are ready for that journey. Not everyone is going to be able to do it, but it's very incorrect to say that you mu
224.
▲
by
noqc
3y ago
In my experience, it's a little bit easier for new students to understand that the image of a matrix is the span of its columns, hence column space.
225.
▲
by
noqc
3y ago
Axler is pathological in his avoidance of determinants. I've heard (third hand) that he once pulled aside some fields medalist into a classroom after a talk and asked them "Do you like determinants?" I imagine him drawing the
226.
▲
by
noqc
3y ago
this heavily depends on whether or not there is any interpolation, the complication is that you can detect a strobe at essentially arbitrary frequency, provided it is illuminating a moving object, as you will see the rate of the strobe as a
227.
▲
by
noqc
3y ago
you dont need to pay $40/month for a single movie...
228.
▲
by
noqc
3y ago
Why would you subcribe to repeat content? Your argument doesn't follow at all.
229.
▲
by
noqc
3y ago
Prediction: Arxiv has no need of this money, as it has no need of upgrades. This money will exclusively attract salesman, all of whom will offer to make arxiv worse, for money. One of them might succeed
230.
▲
by
noqc
3y ago
I have studied at least a little combinatorics, and the language here is completely inpenetrable to me. Neither the question of "what property is this design supposed to have?" or "why does it have it?" are stated in pla
231.
▲
by
noqc
3y ago
If BB is a computable function, then you can solve the halting problem by running every turing machine with n states for BB(n), and the ones that don't halt by then don't halt at all.
232.
▲
by
noqc
3y ago
Even absent contracts (which exist to enable collusion) the iterated prisoner's dilemma and its generalizations seem to be solvable by tacit agreement (in the two party case, by tit for tat). The only people who maintain that markets h
233.
▲
by
noqc
3y ago
A motivating example is that the product of manifolds is a manifold in a fairly natural way, and the dimension of the result is the sum of the dimensions of the factors. The factors come in one of two flavors, compact and not compact, with
234.
▲
by
noqc
3y ago
There is no contradiction in both not using buses and also wishing they were better. Not even close really, the most obvious explanation for the phenomenon is that they don't use the bus because its not.
235.
▲
by
noqc
3y ago
I believe if you read my argument , you would see that I explicitly name entering an exclusivity contract as the anticompetitive behavior.
236.
▲
by
noqc
3y ago
If you think I was arguing that Nintendo and sony do not have monopolies, then I believe you misread my argument. This is why I named Microsoft et al.
237.
▲
by
noqc
3y ago
It is the purpose of copyright, explicitly, to incentivize creative work with the promise of monopoly power over its distribution. So it's a bit disingenuous to assert that microsoft is not a monopoly because other game companies exist
238.
▲
by
noqc
3y ago
These core values statements always sound like a third grader coming up with 5 alternate words for 'good' for a homework assignment.
239.
▲
by
noqc
3y ago
Since the whole premise here is that formally verifying the properties of programs is equivalent to constructive mathematics, I think you might be asking for too much, modulo your definition of hero.
240.
▲
by
noqc
3y ago
this is a first step, but its a step to disjoin the incentives of farmers and consumers on the ballot.
More ›