Frama-C A previous post discussed the nature of uninitialized and indeterminate memory throughout the C standards. The argument was “avoid using uninitialized data even if you think you know what you are doing; you may be right but regardless your compiler might think it knows what you are doing and be...
Read MoreQuotes on the Internet In 2012, Lukas Mathis took a quote out of the context of a blog post by Marco Arment and ran with it. The result was a though-provoking essay. Key quote: This is a sentiment you often hear from people: casual users only need «entry-level» devices. Even...
Read MoreBlink as seen from the inside As you have undoubtedly heard if you follow at all this sort of thing, as of April 3, Google is forking WebKit. Its Chrome browser will henceforth rely on its own variation of the popular rendering engine, Blink. This is big news. If I...
Read MoreA coding contest of weeks past A fortnight ago, I sent an entry in this Quick Coding Contest. The objective of the contest is to produce a C function to convert a string to the integer it represents. Now it turns out that my submission generates the shortest code after...
Read MoreIn about a month, on April 17 and 18, ANR the French research agency will hold a meeting on digital technologies. On this occasion ANR will also give 5 awards to projects it has funded in the previous years. It is my pleasure to announce here that U3CAT which has...
Read More