Clang Static Analyzer Pascal Cuoq on 17 June 2011
From 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 MoreBlog
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 MoreFinal 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 MoreFixing robots, part 1 Pascal Cuoq on 6 June 2011
This 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 MoreSkein tutorial, part 7: not dead, but resting Pascal Cuoq on 2 June 2011
Do you remember the Skein tutorial? It went off to a good start (it started this blog) and then was never really completed. I blame laziness. Looking back at that first post, I notice that indeed, before Boron, we were shipping software without documentation (just think! Ahem). At the time,...
Read More