Buzz was introduced by Google with much clamor. Since then, we have seen a lot of debate around it: Google stepping into the social media arena cannot go unnoticed. Many quickly saw Buzz as a Twitter killer […] Continue reading So will Buzz and Facebook finally bury Twitter?
My last post must have struck a nerve. In this post I ask whether fundamental innovation stalled in formal verification, and I speculate which area the next technological leap will come from. This post received some quite interesting comments. It also brought a counter point by Brian Bailey, partially motivated by his business partnership with […]