xamuel

28 ms·

241.
by xamuel 7y ago
Yes, I've noticed this too: whenever the party I favor is in office, the office is a lame duck, unable to lift a finger without Congressional approval. Whenever the enemy party is in office, they're absolute tyrants answerable to
242.
by xamuel 7y ago
How would you measure the intelligence of an AGI? Say you've got HAL in one corner of the room and The Terminator in the other, and you can ask them questions and ask them to perform computations, and they'll obey you. How can you
243.
by xamuel 7y ago
OP is about natural numbers, but if the challenge is generalized to computable ordinal numbers, then it actually becomes a very interesting measurement in the area of AGI. There's no bound on how big of a natural number any particular
244.
by xamuel 7y ago
If a fundamental plank in rust's safety platform involves "apply the honor system to random people on the internet who swear they've vetted something", then that's a problem.
245.
by xamuel 7y ago
If something as blatant as these colors was legitimately an inherent part of human psychology, how would it be that they were only discovered in the past decades? Wouldn't philosophers have noticed it thousands and thousands of years a
246.
by xamuel 7y ago
Ah, that's one of the main MUDs I played. I even built an area there. I did tons of runs there (even participated in successful runs on Hastur and Divine Retribution) until I got balzhur'd for cheating :P (I was just a high school
247.
by xamuel 7y ago
When I was growing up, I played on MUD games, which were text-based massively multiplayer games 100% free to play, with no ads or any other kind of monetization, with full staffs of admins, programmers (!!), level designers, and moderators,
248.
by xamuel 7y ago
>Can you expand on what direction that is and why exactly it's wrong? It makes the word "conscious" meaningless: if I coin a new term, "baffy", and define it as "Everything in the entire universe is baffy&qu
249.
by xamuel 7y ago
There's tons of non-duality in Christ's teachings, but it's subtler and doesn't smash you over the head as much. "Do not judge, or you will be judged. For with the same judgment you pronounce, you will be judged; an
250.
by xamuel 7y ago
Was Jesus Christ a materialist? "Follow me, and let the dead bury their own dead." (Matthew 8:22)
251.
by xamuel 7y ago
This is the exact wrong direction we should take if we want to have any hope of understanding consciousness. Rather than pass a bong around and declare the whole universe is conscious, we should question the consciousness even of entities w
252.
by xamuel 7y ago
Out of curiosity, how does that research assessment treat papers with multiple authors? Does it only give credit to the first author, or does it divide credit by the number of authors?
253.
by xamuel 7y ago
Something I've come to value increasingly more and more in art is its canonicity. Beyond a certain quality threshold, I find that through sufficient exposure, I can train myself to appreciate and enjoy any art. For example, the first t
254.
by xamuel 7y ago
I remember being utterly astonished at the realistic music and sound effects in (what I assume was) the original "Carmen Sandiego" video game. I would repeatedly exit and relaunch the game just to listen to the intro song. When th
255.
by xamuel 7y ago
I find this kind of work interesting and important because, just like old CGA monitors, our own bodies are also a type of hardware that we have little ability to upgrade. Imagine finding hacks similar to this which would allow the human bod
256.
by xamuel 7y ago
>undermines the credibility of citing papers That credibility is already undermined by the fact that for citation-measuring purposes, there's no real difference between any of the following citations: (1) "Introduction. This pa
257.
by xamuel 7y ago
Everything seems useless if you don't understand it. Open a giant page of mathematical number crunching (with integrals and infinite series and everything) and it'll seem totally useless if you don't have the prerequisites fo
258.
by xamuel 7y ago
Not sure what happened in the 2nd half of your post, it kind of went off the rails. But the in the 1st half, you're basically getting at the ordinal numbers. Now just drop the "philosophy" from it (which is just a placeholder
259.
by xamuel 7y ago
Imagine if, back when we thought the sun revolves around the earth, some great king wanted to better understand astronomy. So he established a National Science Foundation to pump out hundreds of trillions of dollars to scientists to study a
260.
by xamuel 7y ago
>Till the point when computers will create thousands of proofs a man will have trouble to understand. I'm skeptical this will ever happen. If we create a computer X that comes up with such proofs, and we create X in such a way that
261.
by xamuel 7y ago
>To take them with no effect, your mind must be firmly fixed on God. Reminds me of Mark 16:18 where Jesus is speaking of those who believe: "...and if they drink any deadly poison, it will not harm them..."
262.
by xamuel 7y ago
GitHub could completely disappear and it wouldn't cause mass societal chaos or the breakdown of civilization. Those other things you listed, if they disappeared, there's quite a good chance they would cause mass societal chaos or
263.
by xamuel 7y ago
When a platform becomes sufficiently ubiquitous, it needs special rules. What if people said: "It's perfectly fine for telephone companies to blacklist customers for political reasons. Those customers are free to walk to the peopl
264.
by xamuel 7y ago
You think it's bad now, just wait til they start using ML to automate the peer review process at scientific journals. Dark days ahead!
265.
by xamuel 7y ago
1. The original example would be Goedel's own example, namely, the statement (formulated in the language of PA) that PA is consistent, i.e., that PA does not prove 1=0. Less contrived examples are: 2. Goodstein's Theorem https:&#
266.
by xamuel 7y ago
>The truth of a proposition P, within F, means "P is an axiom of F, or can be proved in F". No, truth and proof are NOT the same thing. The system F needn't have any notion of truth. For example, Peano arithmetic has no no
267.
by xamuel 7y ago
>With that said, I do believe AI will replace most developers in our lifetime I'm skeptical about the idea of coders programming themselves out of a job, and I can make that skepticism rigorous. The following slides explore structur
268.
by xamuel 7y ago
There is an objective definition of truth in any particular model. For any particular model M of, say, Peano arithmetic, there is an objective, unambiguous, perfectly well-defined notion of truth in that model (of course, the definition o
269.
by xamuel 7y ago
People talk about the engineered perfection of Esperanto/Lojban, but perhaps so-called problems with natural languages actually have subtler benefits that we take for granted. People hate irregular verbs, but there must be some reason
270.
by xamuel 7y ago
It's a very interesting question. I suppose the logic of the ruling shouldn't be restricted to "official" religions at all. Even in the calculus example, we can imagine there could be homeless people who are religiously

More ›