Blog

Tag Archives: rant

Happy birthday, IBM.
Pascal Cuoq on 16 June 2011

Today is IBM's 100th birthday, if the rumor is to be believed. Just the occasion for a link to this online article about the Polaroid SX-70 then. The article is the work of Harry McCracken. I am glad that 21st century internet allows authors such as him to be heard...

Read More

Final thoughts on the ICPC 2011 industrial challenge
Pascal Cuoq on 11 June 2011

I have received the review of my submission to the ICPC 2011 industrial challenge. If you have read the challenge description, you may remember that participating involved writing various fictional e-mails. In my submission, I skimped a bit on that part. Some of the e-mails I replaced by an e-mail...

Read More

Frama-C is a full-fledged framework
Pascal Cuoq on 20 May 2011

I wish researchers would stop calling the plug-in they are using \Frama-C". "Frama-C" is the framework. It has very few of the properties that are attributed to it. One plug-in or the other usually is to blame or praise. This is not just because when researchers bring it up it...

Read More