tgflynn

64 ms·

661.
by tgflynn 7y ago
It's a very interesting article but "as perfect as human beings have achieved" != perfect
662.
by tgflynn 7y ago
> A regime which finds all the defects would cost billions on its own, only one such piece of software has been subject to such a regime and that's the Space Shuttle guidance program. Do you have a source for that claim ? I'm
663.
by tgflynn 7y ago
In that case how far are we from being able to supply all US electric needs with solar ? I think I've heard that with current solar cells you could produce that much power with a 100 mile x 100 mile installation in a sunny location. If
664.
by tgflynn 7y ago
What about the cost of transporting the energy from where it's generated (say Nevada) to where it's needed (say New York) ? EDIT: I think for that use case you'll find that a reasonable technology doesn't exist for trans
665.
by tgflynn 7y ago
Liquid hydrogen and liquid ammonia have almost 10x the energy density of current battery technology. If you could go all the way to synthesized hydrocarbons it's another 2x. I'm not sure efficiency matters that much when you have
666.
by tgflynn 7y ago
I wonder if that could be the origin of flood myths.
667.
by tgflynn 7y ago
It's probably not difficult to generate the possible permutations but there may be a very large number. For example if there are 20 characters in the phrase upper/lower case alone gives about 1 million possibilities. Also I'
668.
by tgflynn 7y ago
Ah, I see.
669.
by tgflynn 7y ago
Yes, I don't think they should have attempted a literal translation and instead described it as a museum of science and technology (as they do in the article). "Arts and Crafts", at least in modern American English has a very
670.
by tgflynn 7y ago
It's certainly confusing. My understanding was that Kodak had gotten out of the consumer film business entirely, so I was surprised to find out about this Kodak Alaris, which is based in the UK. I suppose that if Kodak is still makin
671.
by tgflynn 7y ago
> Kodak still produces and sells film Kodak Alaris != Kodak (ie. the original Eastman Kodak) The later went into bankruptcy in 2012, selling off most of its remaining assets (though I think it still makes film for movie production). Th
672.
by tgflynn 7y ago
It seems unlikely any serious adversary would be taken in by this. I think it's more likely a case of gross managerial incompetence where superiors were taken in by a crackpot making claims far outside of his and their ability to evalu
673.
by tgflynn 7y ago
> My reasoning is that people will only trust perfection when it comes to riding in a self-driving vehicle. From what I've seen I think your model of human behavior is flawed. Aircraft have been mostly fly-by-wire for decades and s
674.
by tgflynn 7y ago
> Our lifes don't take place in the quantum realm The world is full of unpredictable noise, ultimately because of quantum mechanics. This noise inevitably gets amplified to the point where it affects the behavior of complex macrosc
675.
by tgflynn 7y ago
No. Determinism hasn't been an accepted model of physics for a hundred years.
676.
by tgflynn 7y ago
It depends on what your goals are and what you expect to be studying in college. In general I would expect to revisit pretty much anything you've done in high school (post the usual high school subjects of basic algebra, geometry, etc.
677.
by tgflynn 7y ago
> But when published his work fell on fertile ground. I'm not sure how fertile that ground was. It was still 3 years after the year he basically laid the foundations of modern physics before he was able to get an academic job.
678.
by tgflynn 7y ago
What you say is true. The main point I was trying to make was that given a speculative post of such breadth, which touches on such difficult issues as AGI, how the brain works and perhaps even the nature of conscious experience, and which m
679.
by tgflynn 7y ago
He published that paper in 1905. Is it absurd to think that if the Internet existed in his time he might have blogged about his preliminary ideas before publishing a formal paper ?
680.
by tgflynn 7y ago
The line between crackpottery and genius is a fine one. If blogs had existed in 1900 and a certain patent clerk had written a post on his ideas about clock synchronization somehow being related to electromagnetism, many would have dismisse
681.
by tgflynn 7y ago
If what they're doing is tied to illegal activity, you wouldn't think they'd be flying with collision avoidance lights.
682.
by tgflynn 7y ago
Interesting, have you tried searching the FAA database of UAS Part 107 waivers: https://www.faa.gov/uas/commercial_operators/part_107_waiver... ? If they're non-government/military and are operating lega
683.
by tgflynn 7y ago
Certainly if you have errors that grow exponentially all bets are off. I wouldn't think that would apply to simply summing a set of numbers though.
684.
by tgflynn 7y ago
I would think that in most cases you should be able to prove an upper bound on the sum and make sure the accumulator is large enough to accommodate it. My guess is that 512 bits should be enough to span all physically/computationally
685.
by tgflynn 7y ago
> There is a law against committing suicide The vast majority of Western countries (at least) no longer have laws against committing suicide. What they do have is laws that allow the basic rights of people who are considered "a dang
686.
by tgflynn 7y ago
Also note that just specifying the number of variables may not be terribly informative if you don't also specify the maximum clause size and the number of clauses. For example I see some instances here with 120 variables but they are 7
687.
by tgflynn 7y ago
Thanks for the link, but it seems difficult to answer the question "find a SAT instance with no more than 100 variables which all competing solvers failed to solve in the allowed time" from the information presented here. I'm
688.
by tgflynn 7y ago
Do you have a link ? I've been on the lookout for small hard SAT instances for some time and haven't really found any.
689.
by tgflynn 7y ago
> Compare the way IBM these days is just IBM, not International Business Machines. This is the second time I've seen someone make this claim online and I wonder where it comes from. IBM's name is still officially "Interna
690.
by tgflynn 7y ago
So what practical applications do these functions have whose derivatives can't be approximated numerically ?

More ›