Monthly Archives: March 2010

Continuing mathematician sanity thread: Boltzmann

Posted on March 17, 2010 by admin

[Boltzmann] Opposition to his ideas was harsh and his moods were volatile. Despondent, fearing disintegration of his theories,he hanged himself in 1906. It wasn’t his first suicide attempt, but it was his most successful. This kind of expresses the mood … Continue reading →

Posted in academics, theoretical computer science | Tagged , | Leave a comment

More computer science as humbug [updated with Brazil dream sequence]

Posted on March 15, 2010 by admin

Continuing my experiments in academic papers, I sent a paper on automata and circuit verification to CAV2010 (here’s an updated version with some corrections and better references). I actually got one carefully written and well informed review. Sending a paper … Continue reading →

Posted in academics, architecture, software engineering, specification, theoretical computer science | Tagged , , , | 2 Comments

Shape of the internet

Posted on March 5, 2010 by admin

“When we started releasing data publicly, we measured it in petabytes of traffic,” said Doug Webster, a Cisco Systems market executive who is responsible for an annual report by the firm that charts changes in the Internet. “Then a couple … Continue reading →

Posted in communications, software business, software engineering | Tagged | Leave a comment