Frama-C This blog is not intended to be about computer gaming, even partially. In fact, the post I am about to link to comes from a feed I was subscribed to by accident when I changed news readers. I haven't bothered to fix this yet. The post starts with this quote:...
Read MoreThis blog simultaneously passed the 100-posts and the 50-comments milestones, and also its 15-months birthday. Readers should now decide of future orientations. What does this blog need most? A norant tag, so that it's easy to subscribe to all posts but rants? A spivak tag, in order for Spivak pronouns...
Read MoreIn 2011, I got an Xbox 360. It's not what I would have liked but you know what they say about not looking gift consoles in the mouth especially when you get them one solstice early. When in the game shop I saw in the second-hand games bin the game...
Read MoreI would use a social network where the discussions are about the near future's zeitgeist. As they are, people just use them to discuss what is happening now (\what are you doing?") which does not have the same usefulness. Case in point: Christmas just came and went; presents given and...
Read MoreI was previously complaining about the use of the word \prove" when describing either what Frama-C or another tool does to mean something other than what it means. But it seems we have come to the point over-confidence is actually expected lest readers get confused. In a submitted article one...
Read More