How to (Really) Trust a Mathematical Proof
Mathematicians develop computer proof-checking systems in order to realize century-old dreams of fully precise, accurate mathematics.
Read more...
|
Microsoft Research and Indian Institute of Science to Collaborate to Advance Computing and Scientific Research
Microsoft Research today announced a sponsored research and collaboration agreement with the Indian Institute of Science in Bangalore, India, to accelerate the scientific discovery process by increasing computational power in scientific and engineering research.
Read more...
|
Should colleges really teach hacking?
Newsweek featured an interesting article Saturday about a professor at Sonoma State University who actively teaches his students to create malware and otherwise do the nasty things online that cost companies billions of dollars every year. According to the Newsweek piece, [Professor George]...
Read more...
|
IBM Announces Improved X64 and Cell Blade Servers
IBM has revamped its line of X64 and Cell blade servers, pushing the envelopes on raw performance and performance per watt in an effort to serve what have become two distinct customer needs.
Read more...
|
