Frama-C More often than is good for me, I find someone on the internet saying something to the effect that \Frama-C only does intervals". Sadly I think I see what they mean. they may be of the school of thought that static analysis is abstract interpretation so that although Frama-C is...
Read MoreOne unexpected consequence of writing semi-regularly in a blog, in addition to the other bits of writing that I have to do, is that I am starting to hate my own style. It feels like English sentences always come out my fingers with the same rhythm to them. Precisely dull....
Read MoreI do not expect that many people are diligently working at this time of year, and this is my excuse for posting this series of productivity-wasting links. Some of them are even on-topic. For those who missed it, GNU/Linux Magazine/France has a summer special [removed dead link] on the C...
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 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 More