soberhoff

10 ms·

1.
by soberhoff 7y ago
How is it a "bright side" that when something bad happens people try to avoid it happening again in the future? That's just circular.
2.
by soberhoff 7y ago
Let me quote Torkel Franzen in this issue: > True in the Standard Model > The idea is sometimes expressed that instead of speaking of arithmetical statements as true or false, we should say that they are "true in the standard
3.
by soberhoff 7y ago
This is hairsplitting. It's okay to say that there are true yet unprovable sentences without always carrying "true under the standard interpretation" around. It's understood from context.
4.
by soberhoff 7y ago
Regarding the first point, Caplan personally estimates that about 80% of education is signalling and that 30% is the lowest figure one can plausibly maintain. As for the second point, I wouldn't bet my life on it. But I think the case
5.
by soberhoff 7y ago
What are we even arguing over? Is it just over the exact percentage of signaling in education's payoff?
6.
by soberhoff 7y ago
In brief: there are strong reasons to believe that much of higher education and even large parts of school serve not to teach but to test students. An English major doesn't lead to higher pay because it makes one a substantially better
7.
by soberhoff 7y ago
As somebody who spent many years in education (as a student and about 1 year as a teacher) I find Caplan's case deeply convincing. Caplan actually goes through reams of evidence. As an extreme example, in 2008-9 there were 34000 new hi
8.
by soberhoff 7y ago
This is addressed in the summary. No, these essential skills are given a pass.
9.
by soberhoff 7y ago
Are you familiar with Caplan's Case against Education? Here's a good review (and some critique): https://www.scottaaronson.com/blog/?p=3678 Caplan makes a very compelling case that education, while inarguably
10.
by soberhoff 7y ago
Is that a definition?
11.
by soberhoff 7y ago
Step 1: Define "Free Will".
12.
by soberhoff 8y ago
You're saying you should get diagnosed as a form of legal protection in case you accidentally have a weird interaction with the other sex?
13.
by soberhoff 8y ago
I don't agree with that definition of "effectively axiomatized". Granted, that's what Wikipedia says here: https://en.wikipedia.org/wiki/G%C3%B6del%27s_incompleteness_... But the reference given doe
14.
by soberhoff 8y ago
I don't see why there's a theorem required here. Let our formal system be effectively axiomatized. Then by definition its axioms are a recursive set. So I can just check a proof by starting at the top and verifying that every line
15.
by soberhoff 8y ago
Sorry, I was out of town for a while. I'm only assuming that checking whether "does s prove S?" is a recursive property. That's not the same as demanding "is S provable?" to be recursive. Upon reflection I agre
16.
by soberhoff 8y ago
I feel like I didn't argue this as clearly as I could have. Let me make one more addition. Throughout the discussion I'm making the tacit assumption that there is one standard viewpoint to which we adhere. That's the "no
17.
by soberhoff 8y ago
You can call it "similar but weirdly different" in the same sense that the people who are subject to propaganda live in similar but weirdly different realities. What is true depends on your viewpoint. When a formal system says: &q
18.
by soberhoff 8y ago
I agree in the cases where I argue "suppose, then..." But there are instances where I argue "either this is the case, or this is not the case." Unless there are multiple laws of the excluded middle, that's an applic
19.
by soberhoff 8y ago
Every time I said "either/or" I was making use of the law of the excluded middle. But I didn't add a detailed disclaimer explicitly highlighting this fact either. Should I have? I think it's okay to just take some t
20.
by soberhoff 8y ago
Perhaps Gödel had a vague notion of what he was up to. Nonetheless, the whole concept of universal computation was still half a decade away and higher level languages several decades. So I think the remark is still essentially accurate. He
21.
by soberhoff 8y ago
Author here. I'd like to mention that this article is currently slated for publication in the Bulletin of the European Association for Theoretical Computer Science. A revised draft can be found at: https://github.com/SO
22.
by soberhoff 8y ago
If the database was encrypted, you would need a different encrypted database for every user - again impractical.
23.
by soberhoff 8y ago
How does this affect internet searches?
24.
by soberhoff 8y ago
It is.
25.
by soberhoff 8y ago
Are you familiar with Java? If you use just `"foo"`, then the string will be interned and reused. If you use `new String("foo")`, each call creates a new copy on the heap. This call was inside a very hot loop, thus eatin
26.
by soberhoff 8y ago
Do you ever still do exercises? What's the last thing you learned that other people might have learned as students?
27.
by soberhoff 8y ago
How's that quantum supremacy coming along? I heard it was supposed to take a year. And it's been a year. Also, are you planning to write another book at some point?
28.
by soberhoff 8y ago
I once sped up a program by 90% by turning `new String("foo")` into just `"foo"`. The project was still rotten though, so it ultimately didn't matter.
29.
by soberhoff 9y ago
What if functions are first class? Then imagine a function gets passed in as an argument and called. You won't know what function you're calling until runtime.
30.
by soberhoff 9y ago
What are you talking about? Without further details I'm under the impression that you're just invoking the mystery of quantum computing. "Anything I don't understand is a threat."

More ›