Blog Detail
Recent Posts
Lost in Temporal Logic (part 2)
Variations on the flow of time This post has two main objectives: show a few systems of instants (worlds) allowed by the CR (Cocchiarellia's Relativistic causal time) and also to present some nice UML diagrams that you can create and share online for...
Google Earth 5.0 (Beta) for Linux
I know that on the web there are many instructions for installing Google Earth on Linux. Well, you can get really surprised by the amount of strange tips people can give you. Don't worry folks, it's easy, just follow these simple steps: Download Goog...
Wolfram intro screencast
Introduction to WolframAlpha by Stephen Wolfram ] http://www.wolframalpha.com/screencast/introducingwolframalpha.html...
Firefox 3.5 for developers
"Firefox 3.5 introduces a number of new features, as well as additional and improved support for a wide variety of web standards. This article offers an extensive list, with links to articles covering the major improvements."...
Wolfram Alpha first official demo
Three days ago - Stephen Wolfram gave an early preview of his computational knowledge engine Wolfram Alpha at Harvard University (1h 45min long)....
Revisiting the Incompleteness Theorems
Notes from three "Back to Basics" lectures on incompleteness given by Peter Smith (University of Cambridge) at a Cameleon workshop weekend in Cambridge in March 2009....

