British Prime Minister David Cameron is using the recent attacks in Paris to call for increased signals intelligence and more comprehensive monitoring of UK communications. If he succeeds, it could set a significant precedent for other western governments.
With SpaceX now set to receive its $2.6 billion slice of the manned space travel pie, Elon Musk has sensed the time is right to set the Mars agenda. He argues that a colony on Mars would just be for thrills or exploration, but a necessary safeguard for human life at large.
After years of relentless litigation, it seems the mobile/smartphone patent war might be drawing to a close. Rockstar, a patent trolling company owned by Apple, Microsoft, Sony, Ericsson, and BlackBerry, has agreed to cancel the lawsuits it had filed against Google and most Android device makers. This follows on from news this summer that Apple and Google had agreed to drop all lawsuits between the two companies, and Apple and Samsung agreed to d...
The HoTT book is finished! Since spring, and even before that, I have participated in a great collaborative effort on writing a book on Homotopy Type Theory. It is finally finished and ready for public consumption. You can get the book freely at http://homotopytypetheory.org/book/.
Add a comment...
Have him in circles
Informatique, 2012 - 2013
Math & Computer Science, 2006 - 2010
Stockholm, Sweden - Norrtälje, Sweden - Palaiseau, France - La Tour-de-Peilz, Switzerland - Montreal, Canada - Freiburg im Breisgau, Germany