Frama-C John Gruber writes about new release 10 of text editor BBEdit: I’ve been beta-testing 10 for months and at this point I couldn’t bear to go back to version 9. Wow! I would hate an editor that come a new release puts you in a position to say things like...
Read MoreI have discovered 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 one at the time of writing)...
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 More