Frama-C This post is a backward changelog that introduces actual new features. Beat that, Emacs 19 Antinews! Shortly after the release of Carbon, I offered to my Frama-C co-developers the idea of a great clean-up of the value analysis for the next release. This would not immediately add new features (indeed,...
Read MoreJohn 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 - 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 More