Eliezer

93 ms·

871.
by Eliezer 16y ago
Sitting next to another person while I tried to write my rationality book increased my productivity by at least 400%.
872.
by Eliezer 16y ago
That's a good line, but I bet it's factually false.
873.
by Eliezer 16y ago
E.g., it's possible (haven't checked) that TREE would defeat the winner: http://en.wikipedia.org/wiki/Kruskal%27s_tree_theorem
874.
by Eliezer 16y ago
Nnnnnoooo... no, it does not. It takes programs from a restricted language in which all programs provably terminate. It doesn't take arbitrary programs and search for termination proofs relative to a powerful proof system. There's, um..
875.
by Eliezer 16y ago
Well, I know how I would solve this problem if I was sufficiently good at packing really complicated damn programs into 512 characters of C, or if I were allowed, say, 10 kilobytes of code. Start with a large number X, a larger number Y, a
876.
by Eliezer 16y ago
You could always add one to the number, too. Turning B(n) into B(B(n)) is pretty much the same thing, it just takes B(n) and makes it the base function of ordinal recursions you already know how to construct. It doesn't jump outside the s
877.
by Eliezer 16y ago
I beg your pardon? What did I miss? (In case it happens to be you and not I who missed something: the said number is formally specified though uncomputable, just as much as saying BusyBeaver(100); it is not paradoxical like using English t
878.
by Eliezer 16y ago
What I'd want to say here is "the largest number nameable using 1000 symbols in second-order logic" (not original, I think someone else won a contest that way). But the fact that someone can ask "Which formulation of second-order logic?" p
879.
by Eliezer 16y ago
> Suppose you don't know Lisp, but you've seen many respectable people such as Paul Graham and Steve Yegge describe how great Lisp is for metaprogramming. This doesn't mean that you know the fact "Lisp => great for metaprogramming"
880.
by Eliezer 16y ago
Really? You think you know when the market is being irrational? Can I ask how much money you've made trading your knowledge so far? I assume you're invested in Apple, since you know that the market consistently underestimates them.
881.
by Eliezer 16y ago
Which means that the smart people already figured it out and it was mostly priced into the stock already. Remember, the stock price is at least as smart as the smartest investors trading it. In all seriousness, and meaning this not at a
882.
by Eliezer 16y ago
> I think additional intelligence only makes moral dilemmas (Should I or should I not do X) harder to cope with. So the drug that makes you smarter also makes you less sure you should take it. Er... no it doesn't? Once you get far en
883.
by Eliezer 16y ago
I'm often frightened by how spontaneously my brain seems to come up with something, because it could just as easily stop doing that and I'd have no idea how to fix it. I once walked past a math book one of my friends had left open, glance
884.
by Eliezer 16y ago
Er, I think you missed the sarcasm? Someone needs to invent a font that stands for sarcasm.
885.
by Eliezer 16y ago
I think this was just luck, actually. Let's see him do it again.
886.
by Eliezer 16y ago
Writing a book on human rationality.
887.
by Eliezer 16y ago
I don't drink alcoholic beverages. Guess I can never be a VC.
888.
by Eliezer 16y ago
Now there was a man who needed to learn how to lose.
889.
by Eliezer 16y ago
How does having a legal duty put you outside the realm of ethics? If you have a legal duty to do something unethical, you're still doing something unethical.
890.
by Eliezer 16y ago
Flip side: Y2K was a Maserati problem in 1990.
891.
by Eliezer 16y ago
I think I'm dumber than a randomly selected sentient being (from the entirety of space and time).
892.
by Eliezer 16y ago
> Their opposites, passive investors, will by definition do about average. In aggregate their positions will more or less approximate those of an index fund. Therefore the balance of the universe the active investors must do about avera
893.
by Eliezer 16y ago
> A medical team led by Nina P. Paynter of Brigham and Women’s Hospital in Boston collected 101 genetic variants that had been statistically linked to heart disease in various genome-scanning studies. But the variants turned out to hav
894.
by Eliezer 16y ago
Shouldn't there be some way to flag stories as "headline is obviously false"?
895.
by Eliezer 16y ago
Bull. Life would go on.
896.
by Eliezer 16y ago
> the average variation between two individuals is far, far more than the average variation between the sexes at large You might want to stop and think about how the world would have to look for the above statement not to be true. I
897.
by Eliezer 17y ago
Why not?
898.
by Eliezer 17y ago
My first reaction to this headline was "Surely there is never any circumstance where this is genuinely a smart thing to do, no matter how clever " but I confess I wasn't thinking in terms of security vulnerabilities.
899.
by Eliezer 17y ago
Long as you don't need any honest 9s or 10s for whatever it is you're doing, I guess that's fine.
900.
by Eliezer 17y ago
formally: logical fallacy of ad hominem tu quoque

More ›