Oct 1st, 2008 · Cameron Freer, an instructor in pure mathematics at MIT, is working on an intriguing project called vdash.org (video from O'Reilly Ignite Boston 4): a math wiki which only allows true theorems to be added! Based on Isabelle, a free-software theorem prover, …
Sep 30th, 2008 · Cameron Freer, an instructor in pure mathematics at MIT, is working on an intriguing project called vdash.org (video from O'Reilly Ignite Boston 4): a math wiki which only allows true theorems to be added! Based on Isabelle, a free-software theorem prover, …
Aug 8th, 2008 · The International Boundaries Research Unit has recently published a new jurisdictional map of the Arctic, using geographic and legal definitions. Now it appears Santa Claus could potentially be Danish. But as pointed out in an article at The Star, more …
Feb 18th, 2008 · BBC news is reporting that rocky planets, possibly with conditions suitable for life, may be more common than previously thought in our galaxy, a study has found. New evidence suggests more than half the Sun-like stars in the Milky Way could have similar …
Jan 7th, 2008 · A story in the online site of the Aussie science mag Cosmos discusses how archaeologists are using sophisticated satellite images to find previously undiscovered cities. What 's really cool is how some are simply using Google Earth — and discovering …
Dec 31st, 2006 · Creating off-beat, original, and carefully crafted games is the heritage of Independent Game developers, and the Top 10 Independent Games of 2006 does its ancestry proud. Each of the 10 games selected this year is a winner in its own right, an undiscovered …
Sep 23rd, 2006 · In a dangerous combination of unpatched exploits, hackers have used a previously undiscovered security hole in cPanel to hack the servers of a hosting company and use hundreds of hijacked sites to infect Internet Explorer users with malware using the …
