lutusp

65 ms·

661.
by lutusp 11y ago
"I was good at mental arithmetic and saved myself a lot of money back in the Soviet Union." This reveals a weakness in western education. People in the former Soviet Union learned a lot of mathematics in the traditional way (a mix
662.
by lutusp 11y ago
> Why do people just seem to completely ignore relativity when dealing with black holes? It's true that, at and below the event horizon, spacetime curvature is such that time hasn't its usual meaning, but this doesn't mean
663.
by lutusp 11y ago
> If we can measure this "crackpot bias", I am not sure psychedelic research would have as high of a bias as cold fusion ... Yep. For things like cold fusion, wishful thinking reigns, but for anything health-related, desperatio
664.
by lutusp 11y ago
> http://www.iers.org , actually: iers.org doesn't resolve. That's an embarrassing configuration oversight -- it doesn't cost any more to add the "www" prefix to one's DNS record, and in the worst
665.
by lutusp 11y ago
> But I think the system has only been designed to be reliable as a whole. Yes, absolutely, I only meant that initial evaluations might be more objective if the two observatories cannot compare notes (at first) -- that might lead to a ki
666.
by lutusp 11y ago
That's ironic -- The PPO is responsible for protecting other planets from us %, but this discussion is mostly about protecting us from space rocks. They're related, but in some ways they're opposites. % as well as avoiding in
667.
by lutusp 11y ago
Another level of experimental blinding would be to avoid conferring with the other observatory (there are two components to LIGO, one in Hanford, WA and one in Livingston, LA) for confirmation/correlation until after one site's ev
668.
by lutusp 11y ago
I would love to add my comments as a tester, but I can't get the PC version to boot successfully after Linux and Windows install attempts. I thought the USB 3 interface specification was only desirable, but it seems it's a require
669.
by lutusp 11y ago
If only programs like this could be conducted by dispassionate scientists, out of the spotlight, and without the financial angle and the incentive to produce results that investors expect. When I see a project being promoted by a list of fa
670.
by lutusp 11y ago
Tried it -- it doesn't work on my Linux laptop touch-screen, because hand gestures count only as mouse moves, not drags. Windows might differ. Update -- it does work on an Android tablet, where hand gestures do count as drags. Very nic
671.
by lutusp 11y ago
Their point seems to be that inlining a class name means the class will only be defined once, but the case of an inlined style means the style information must be duplicated for each appearance. The style approach hits all the bad buttons -
672.
by lutusp 11y ago
> Just different levels of abstraction. From a scientific perspective, it's much more important than that. Neuroscience has empirical evidence, theories, and is a science. Psychology has anecdotes, no testable, falsifiable theories,
673.
by lutusp 11y ago
The article quotes the currently popular psychological "grit" literature more than once, to support the idea that creative people, notwithstanding their gifts, are often extremely annoying. For those who missed a recent drama, a p
674.
by lutusp 11y ago
> It seems a meaningless metric to me. It matters to people who think of bacteria as foreign invaders, as "not-self". It can be seen as a modern version of the debate about the location of the hypothetical soul -- you know, peo
675.
by lutusp 11y ago
The article uses the word "mind" in its title, but the article is strict neuroscience, i.e. it discusses the brain from a biological perspective. The word "mind" never appears again. The mind (psychology) is not the brai
676.
by lutusp 11y ago
> The way around the Halting problem is very similar: Don't write arbitrary programs . Rather, design your programs right from the beginning so that you can prove whatever you need to prove about them. The system you outline works
677.
by lutusp 11y ago
> You seem to be mixing up where the "for all" lies. Not at all. My original objection was to the claim that a program could be proven correct, without any qualifiers. Any program, not all programs. As stated, it's a false
678.
by lutusp 11y ago
>> Russell realized this, and recognized that Gödel's results invalidated his project. > One particular project. A mathematical proof applies to all cases, not just one. Gödel's result addressed Russell's project, bu
679.
by lutusp 11y ago
My original objection was to the claim that a non-trivial program could be demonstrated to be "provably correct." This statement is false. For non-trivial programs, it contradicts the simplest and most easily accessible interpreta
680.
by lutusp 11y ago
> One second - there are a few different meanings for "financial advisers". Not really. They all tell you how to invest your money, by definition. > A good adviser can help you to diversify your investments, help you to miti
681.
by lutusp 11y ago
> Gödel didn't prove the futility of a foundations for mathematics. Your words, not mine, but Gödel did prove that a non-trivial logical system cannot be both complete and consistent. As Gödel phrased it, "Any consistent axioma
682.
by lutusp 11y ago
>> Then Gödel shows up and says, "On which shelf shall we put the index?" > You keep it outside the library. The index tells you where every single book is, other than the index. This approach would have saved Russell and
683.
by lutusp 11y ago
> So a program that “validates itself” simply doesn't make sense. The language comes from Gödel's incompleteness theorems, in which there exist true statements that cannot be proven true, i.e. validated. A given non-trivial com
684.
by lutusp 11y ago
Quote: "That said, both Pollack and Olen say a good, reasonably priced financial adviser can sometimes be helpful — especially when life gets too complicated to fit on an index card." But the long-running WSJ dartboard contest pro
685.
by lutusp 11y ago
> Obviously, the solution is to stop writing arbitrary programs. As Dijkstra said long ago, we need to find a class of intellectually manageable programs - programs that lend themselves to being analyzed and understood. You're overl
686.
by lutusp 11y ago
> Gödel doesn't say anything about "non-trivial" any more than Turing does. Source: https://en.wikipedia.org/wiki/Halting_problem Quote: "Rice's theorem generalizes the theorem that the halt
687.
by lutusp 11y ago
> It doesn't say anything about "non-trivial" programs. No, but its source does. The source for the Turing Halting problem is Gödel's incompleteness theorems, which do specify that the entities to which it applies are
688.
by lutusp 11y ago
> It is possible to write provably correct code. How many modern programmers hold this mistaken belief? It's false -- the Turing Halting problem ( https://en.wikipedia.org/wiki/Halting_problem ) demonstrates that
689.
by lutusp 11y ago
> If you have evidence citing that it was because of phony diagnoses, I'd be interested in seeing it. Here's an article by Allen Frances, who you may recognize as the editor of DSM-IV: http://nypost.com/2012&#x2
690.
by lutusp 11y ago
> It's a label that helps people. Yes, that's very likely true. But some will argue that it's more than a label, that it has an independent reality, whether or not people find it helpful. Such people are trying to class au

More ›