Frama-C I have discovered a - now dead - (http://shaver.off.net/diary/2011/06/17/a-three-dimensional-platform) a new blog. Having read a few archived posts at random I think I am going to like it. That blog mixes the technical with the personal much like this blog doesn't. My reaction to the linked post (also the current...
Read MoreFrom the Clang Static Analyzer homepage: Please help us in this endeavor by reporting false positives. Please help us make Frama-C better by reporting false negatives.
Read MoreToday 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 MoreI 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 MoreThis blog post is a revised version of part of my submission to the ICPC 2011 Industry Challenge. Please go ahead and read the challenge description. I could only paraphrase it without adding anything to it and so I won't. The study was made with the April development version of...
Read More