you can get a used prius (hybrid car from toyota) for around $20,000.
i can walk out on the street and find a normal used car for $2,000. ( well, i could probably find one for $500 but i doubt it would get me very far. )
it's not about americans' unwillingness to conserve energy, its about americans' need to conserve money. once you can buy a hybrid that gets 90mpg and costs $10,000 new, then americans will use it.
Another victory for the General Number Field Sieve (I think). The article was a little light on the details, but it mentioned they used a "general algorithm", which I'm assuming is the GNFS. The original paper may shed some light on the algorithm, for the algebraically inclined Slashdotter. (Link courtesty of Google Scholar)
The sound of the world's smallest violin playing for Microsoft heard quietly in the distance. They didn't want to hire me for a summer internship, so guess where I'm working now?
students at real colleges get sued for massive property damage that is the result of six drunken fraternity boys driving around in a stolen school bus. We RIT students get sued for file sharing. sigh.
But you're talking about simple algebraic manipulation. A machine could not, for example, prove the famous theorem of Lagrange - it would first have to invent the coset, then show that the cosets completely partition a group. It's not straight algebra.
A machine could, however, symbolically verify homomorphism properties if it were so asked. But could it verify isomorphism? I don't think it could, it would probably need to enumerate the whole group structure, which is okay if we're talking about finite groups, but not the infinite ones.
Slashdot Mirror
maybe i can install one in my car so i don't have to pay attention to stupid traffic. that would be awesome.
you know, when you're playing a game of poker, they say that if you look around the table and don't see the sucker, its you.
just thought you'd like to know.
i don't know if it was at all intentional, but you've got a little bit of republican in you. thinking things all the way through, well done.
you can get a used prius (hybrid car from toyota) for around $20,000.
i can walk out on the street and find a normal used car for $2,000. ( well, i could probably find one for $500 but i doubt it would get me very far. )
it's not about americans' unwillingness to conserve energy, its about americans' need to conserve money. once you can buy a hybrid that gets 90mpg and costs $10,000 new, then americans will use it.
they called me as a consultant. i'm awesome at mario kart.
how can they possibly enforce this law?
AWESOM-O must dispense oil waste. Where is the nearest toilet please?
Yes, but a slightly different view. The last time I traveled by this method, the only thing I recall is a spectacular view of the ground.
However, traveling by this method is valid, since it does make time disappear.
Google Scholar: I can't stress how cool this is.
The first rule of PATRIOT Act is you do not talk about PATRIOT Act. The second rule of PATRIOT Act is...well...you get the idea.
This is the case in the House - amendments must be germane to the bill. In the Senate however, there is no germaneness rule. Just a FYI.
1 is not a prime, by definition. It's a unit in Z.
In[1]:= 27997833911221327870829467638722601621070446786955 4285375600099293261284001076\
09345671052955360856061822351910951365788637105954 4820065767750985805576135790\
98734950144178863178946295187237869221823983 ==
35324619344027701212726049781984643686711974001976 2502364930346877612125367942\
3200058547956528088349 *
79258699544783330333470858414800596877379758573642 1996073433034145576787281815\
2135381409304740185467
Out[1]= True
Mathematica agrees.
Another victory for the General Number Field Sieve (I think). The article was a little light on the details, but it mentioned they used a "general algorithm", which I'm assuming is the GNFS. The original paper may shed some light on the algorithm, for the algebraically inclined Slashdotter. (Link courtesty of Google Scholar)
Spell the word "quantify" correctly, and pitch yourself as an MBA on Slashdot.
hahahahahah that was an amazing post. thanks for the laugh.
That's the most intelligent statement I've ever heard. It's like members of congress don't have to answer to their constituents for anything!
idiot.
The sound of the world's smallest violin playing for Microsoft heard quietly in the distance. They didn't want to hire me for a summer internship, so guess where I'm working now?
I read the article - kinda cheesy, yes, but I didn't come away from it thinking I need to buy anything. Clue me in?
But the food is still in beta, and has been for some time. Would you trust it?
Could you imagine a Beowulf cluster of those?
we're not that cool - don't kid yourself.
students at real colleges get sued for massive property damage that is the result of six drunken fraternity boys driving around in a stolen school bus. We RIT students get sued for file sharing. sigh.
No...everyone knows we reach China before anything else.
Do you have a proof for 1=1?
= is an equivalence relation which is, by definition, reflexive.
But you're talking about simple algebraic manipulation. A machine could not, for example, prove the famous theorem of Lagrange - it would first have to invent the coset, then show that the cosets completely partition a group. It's not straight algebra.
A machine could, however, symbolically verify homomorphism properties if it were so asked. But could it verify isomorphism? I don't think it could, it would probably need to enumerate the whole group structure, which is okay if we're talking about finite groups, but not the infinite ones.
My $.02