Frama-C When I created a Facebook account, I did something that I fully expect will be made a felony before 2030: I filled the inquisitive, mandatory field on the electronic form with false information. You see, Facebook was asking me about my birth date, which it didn't need to know. There...
Read MoreI usually feel uncomfortable diving into the subject of safety vs security, because while I think I have a good intuition of the difference between them, I find this difference hard to formalize in writing. Fortunately, a large “security” “administration” provides: “We use layers of security to ensure the security...
Read MoreFor some reason, uses of real to denote fixed-precision floating-point numbers (in languages such as FORTRAN) irritate me, but uses of integer or int to denote bounded integers do not. One notation isn't more accurate than the other, though. Does anyone have an idea why that might be?
Read MoreOne thing has been peeving me for a while. It is small and does not impact me directly, so I didn't speak up, but perhaps I should. Many people, some of whom should know better, mention Floyd, Hoare and Dijkstra in the same sentence as modern verification condition generators (Frama-C's...
Read MoreSpeaking of John Carmack, in his twitter feed, he notes: In hindsight it is surprising that I disliked doing math proofs in high school despite already being a programmer. It says a lot about the French education system that I started teaching myself programming at 6 and officially switched from...
Read More