A recent visit to Israel exposed me to this brilliant piece (in Hebrew). There are a few subsequent performances by Irad that are equally good. You can find them all at http://www.youtube.com/user/shaulm
Saturday, December 20, 2008
Thursday, August 21, 2008
Tuesday, August 19, 2008
Vista Pains
I really wanted to like Vista. When I got my Thinkpad X61 Tablet, it came with Vista installed by default. Ignoring the negative Vista press and applying wild optimism, I was sure that this is the beginning of a wonderful friendship. Unfortunately, this was not meant to be. Not only that Vista crashes left and right, it is always somebody else's fault: "Problem is caused by Intel Graphics Driver", "Problem is caused by Cygwin", and my all time favorite "This problem is being researched".
The utility may be called "Solve problems on your computer", but in the several months I had Vista, it did not help me find a solution to a single problem. All it really does is allocate blame, elsewhere.
To see how bad things are, here's a report from the performance and reliability monitor.
As you can see by the red markers, almost no day goes by without some sort of a failure. In some days, there are multiple failures. I already started booting to my Ubuntu on most days, but even for my sparse use of windows, I will probably roll back to XP soon.
The utility may be called "Solve problems on your computer", but in the several months I had Vista, it did not help me find a solution to a single problem. All it really does is allocate blame, elsewhere.
To see how bad things are, here's a report from the performance and reliability monitor.
As you can see by the red markers, almost no day goes by without some sort of a failure. In some days, there are multiple failures. I already started booting to my Ubuntu on most days, but even for my sparse use of windows, I will probably roll back to XP soon.
Friday, June 27, 2008
Carl Sagan on the Importance of Scientific Research, May '93
Mark Wegman gave an interesting talk on the upcoming grand challenges in CS. In his talk, he used a snippet from this Carl Sagan clip. I thought that the message in this clip is worth echoing by posting it here.
Sunday, May 11, 2008
The Right Stuff
On a Saturday afternoon, Greta, Martin and me enjoyed this ale (mostly its name, actually). The meat that accompanied it was cooked in a range from running-rare to nuclear-well-done... the chef was mostly hitting the end points of this range.
Tuesday, May 6, 2008
Workshop on the Verification of Concurrent Algorithms
Four of the nomads attended the Cambridge workshop on the verification of concurrent algorithms. I gave an overview talk on Shape Analysis for concurrent programs (slides). Martin gave a short talk about our work on synthesis of concurrent set algorithms (slides).
On the last day, we had a few hours before our flight, so we went punting. Below are a couple of pictures taken by Noam (you can see Noam's reflection in my sunglasses).
On the last day, we had a few hours before our flight, so we went punting. Below are a couple of pictures taken by Noam (you can see Noam's reflection in my sunglasses).
Subscribe to:
Posts (Atom)