Monthly Archives: July 2011

Failed to Spot the RCU Bug

Ok, I have lost any rights I might have had regarding bragging about having worked on RCU. I failed to spot this awesomely subtle bug! http://paulmck.livejournal.com/27219.html Needless to say, I am very embarrassed 😦 Advertisements

Posted in arbit, geek, linux | Tagged , | Leave a comment

Pebble Games

In these past few days, I have been reading Martin Grohe’s survey on Finite Variable Logics in Descriptive Complexity Theory. There I encountered a very interesting concept known as pebble games. These are used to characterize equivalence between structures in … Continue reading

Posted in academia | Tagged , , , , | Leave a comment