Knowing a little bit about formal proofs and a fair bit about programming, but nothing about the computerized verification or generation of formal proofs, I really doubt the FPU is used for this stuff.
Well... except there are a lot of countries out there (ours very much included) with lots of technology watching the sky. I would *think* that if you wanted to fake something in Space, you'd need to have NASA complicit in your hoax. I kind of doubt that happened.
I'm skeptical of China too. But, I love space. Congrats guys, amazing accomplishment.
I know it's painful to hear, but you might consider moving to an OS X native editor.
I've been a vi guy for years, but recently my development has moved to OS X, and after months of clunking along with gvim in OS X, I finally switched to a native app, TextMate. I'm not quite as happy with the shortcuts, and there are some power features of vim that I miss, but my day is easier.
Many many people are more familiar with the various meanings of the word "free" than are with Floss or "libre" in this context. Using the 'as in' means you aren't expecting regular folks to go search the jargon file (which they don't know exists) to read your little internet posting.
If someone was posting about something I wasn't technically familiar with and the posting contained something of interest, I know I'd appreciate it if I don't have to go do research to get what is going on.
You can see the same thing happen here when a technical math or physics or space topic comes up and the bitching begins.
You're right! The floating point unit will never merge into the main CPU, it can't be done!
Wait...
So when GPUs first came out, they were cheaper than high-end CPUs. This is no longer the case (at the high end). GPUs are doing little more than a bunch of floating point ops. If you have a many-core setup where one or a few of the cores are set up for fast floating point operations, it makes sense to do graphics on the main CPU, rather than taxing the system bus for the intercommunication.
Nobody is saying to run go build this right now. But this guy (who sounds a lot more informed than the Slashdot naysayers) is saying that the performance gain to be had by the current architecture is getting slimmer, and now that we want fully programmable (not just shaders) GPUs it doesn't even make all that sense.
I'm really looking forward to it. We've been stuck with one rendering algorithm for way too long.
They're also partnered with a lot of private interests that have a big $$$ stake in being able to make those kinds of claims to the people who pay the bills (presidents and congress). That particular claim COULD be true, but the military and intelligence community overstate their capabilities and fudge tests all the time. It's one of the major downsides of the privitization of security.
Is there anyone else who is a little worried about this scenario:
There's a major decline in the economies of the first world democratic capitalist societies. The global business and banking communities notice that they're making more profit in the authoritarian society, and they apply their influence to see appropriate changes here. The developing world then gets incouraged toward more democratic and humane forms of social organization?
Is anyone else worried that this is already happening?
I don't think the Chinese are worse than most people in the world. I just think they have a scary form of government that is becoming more and more influential and not really getting more humane or free as their economy matures. It's dangerous for the world to learn that you can make piles of money without freedom.
I don't know. If this thing is supposed to be the monster app platform that it's touted as being, I don't see how they'd stop the development of a new AdBlocker without crippling their browser.
But you just seem like the cynical type of person who clenches his face every time someone is happy about something.
Come on, web browsers are among the biggest pieces of software going, and Google is a major player. This is big news. There've been three browsers (and Opera!) for a long time now.
NASA was all about building up the corporate military partners who make our ICBMs.
Also, Iran is a highly modernized country and their government has more money than it knows what to do with, outside of funding the cutting edge in guerilla warfare (seriously, we DON'T want to go to war with those guys, it would be hell.) so there's no reason to think they aren't capable of running a space program.
They also have a figurehead president who is prone to making bold claims at the world stage. So this could be bogus. Has the Ayatollah made any comments on this one? He's the guy to actually listen to.
If the book is general how-not-to-get-fired advice, then I could see it still being relevant. However, if that's the case, then shame on the nativist scare mongering title. If the job is going then it's either no longer a needed job or it's going *somewhere*. It's unhealthy to demonize developing economies like that.
Different wavelengths reveal different things about what they're bouncing off of. I imagine it's done to get NASA the full range of data they're looking for. If your pressing scientific question isn't "what does this look like to a human if the human were there" then there's no particular reason to pick the visual spectrum over another range of wavelengths.
Slashdot Mirror
Knowing a little bit about formal proofs and a fair bit about programming, but nothing about the computerized verification or generation of formal proofs, I really doubt the FPU is used for this stuff.
I've switched to Ruby for scripting.
I *can* write organized maintainable Perl scripts.
I *do* write organized and maintainable Ruby scripts.
Haven't tried it for any of that webapp stuff yet though.
Well that should be enough.
For anyone, I'd imagine.
It's COBOL, that crap is still just everywhere.
Well... except there are a lot of countries out there (ours very much included) with lots of technology watching the sky. I would *think* that if you wanted to fake something in Space, you'd need to have NASA complicit in your hoax. I kind of doubt that happened.
I'm skeptical of China too. But, I love space. Congrats guys, amazing accomplishment.
In case you read this: I take it all back. I just discovered Google's mac vi port, and I'm hooked. Modal for life, baby.
I know it's painful to hear, but you might consider moving to an OS X native editor.
I've been a vi guy for years, but recently my development has moved to OS X, and after months of clunking along with gvim in OS X, I finally switched to a native app, TextMate. I'm not quite as happy with the shortcuts, and there are some power features of vim that I miss, but my day is easier.
Many many people are more familiar with the various meanings of the word "free" than are with Floss or "libre" in this context. Using the 'as in' means you aren't expecting regular folks to go search the jargon file (which they don't know exists) to read your little internet posting.
If someone was posting about something I wasn't technically familiar with and the posting contained something of interest, I know I'd appreciate it if I don't have to go do research to get what is going on.
You can see the same thing happen here when a technical math or physics or space topic comes up and the bitching begins.
You're right! The floating point unit will never merge into the main CPU, it can't be done!
Wait...
So when GPUs first came out, they were cheaper than high-end CPUs. This is no longer the case (at the high end). GPUs are doing little more than a bunch of floating point ops. If you have a many-core setup where one or a few of the cores are set up for fast floating point operations, it makes sense to do graphics on the main CPU, rather than taxing the system bus for the intercommunication.
Nobody is saying to run go build this right now. But this guy (who sounds a lot more informed than the Slashdot naysayers) is saying that the performance gain to be had by the current architecture is getting slimmer, and now that we want fully programmable (not just shaders) GPUs it doesn't even make all that sense.
I'm really looking forward to it. We've been stuck with one rendering algorithm for way too long.
They're also partnered with a lot of private interests that have a big $$$ stake in being able to make those kinds of claims to the people who pay the bills (presidents and congress). That particular claim COULD be true, but the military and intelligence community overstate their capabilities and fudge tests all the time. It's one of the major downsides of the privitization of security.
Off-topic xenophobia here but:
Is there anyone else who is a little worried about this scenario:
There's a major decline in the economies of the first world democratic capitalist societies. The global business and banking communities notice that they're making more profit in the authoritarian society, and they apply their influence to see appropriate changes here. The developing world then gets incouraged toward more democratic and humane forms of social organization?
Is anyone else worried that this is already happening?
I don't think the Chinese are worse than most people in the world. I just think they have a scary form of government that is becoming more and more influential and not really getting more humane or free as their economy matures. It's dangerous for the world to learn that you can make piles of money without freedom.
I don't know. If this thing is supposed to be the monster app platform that it's touted as being, I don't see how they'd stop the development of a new AdBlocker without crippling their browser.
But you just seem like the cynical type of person who clenches his face every time someone is happy about something.
Come on, web browsers are among the biggest pieces of software going, and Google is a major player. This is big news. There've been three browsers (and Opera!) for a long time now.
This is news.
I think if you told Thomas Jefferson that the United States would be up to this sort of thing, someone would have gotten a musket ball to the chest.
NASA was all about building up the corporate military partners who make our ICBMs.
Also, Iran is a highly modernized country and their government has more money than it knows what to do with, outside of funding the cutting edge in guerilla warfare (seriously, we DON'T want to go to war with those guys, it would be hell.) so there's no reason to think they aren't capable of running a space program.
They also have a figurehead president who is prone to making bold claims at the world stage. So this could be bogus. Has the Ayatollah made any comments on this one? He's the guy to actually listen to.
Chick is a diminutive. You're never really speaking up to someone saying "chick" anymore than you are with "pal" or "kid" or usually "you."
Great. One step closer to wealthy nations having access to risk-free warfare.
There's no way this could be a horrible thing in the wrong hands. No way at all.
How is this a troll?
"Chick" is sexist language. How sexist, and how much anyone should care are up for debate.
Remod parent.
I see you've played knifey spoony before.
If the book is general how-not-to-get-fired advice, then I could see it still being relevant. However, if that's the case, then shame on the nativist scare mongering title. If the job is going then it's either no longer a needed job or it's going *somewhere*. It's unhealthy to demonize developing economies like that.
This book was published three years ago. It's a little late for a review of a topical work like this.
What do you mean? We have always been at war with Eurasia.
Different wavelengths reveal different things about what they're bouncing off of. I imagine it's done to get NASA the full range of data they're looking for. If your pressing scientific question isn't "what does this look like to a human if the human were there" then there's no particular reason to pick the visual spectrum over another range of wavelengths.
Way to go, Space Robot!
Fun with transitive verbs and indirect objects!