Frama-C Correct and wrong definitions for the constant FLT_EPSILON If I google “FLT_EPSILON”, the topmost result is this page with this definition: FLT_EPSILON the minimum positive number such that 1.0 + FLT_EPSILON != 1.0. No no no no no. I don't know where this definition originates from but it is obviously...
Read MoreTwo earlier posts showed two different approaches in order to round a float to the nearest integer. The first was to truncate to integer after having added the right quantity (either 0.5 if the programmer is willing to take care of a few dangerous inputs beforehand or the predecessor of...
Read MoreThe previous post offered to round a positive float to the nearest integer represented as a float through a conversion back and forth to 32-bit unsigned int. There was also the promise of at least another method. Thanks to reader feedback there will be two. What was intended to be...
Read MoreThis post is the first in a series on the difficult task of rounding a floating-point number to an integer. Laugh not! The easiest-looking questions can hide unforeseen difficulties, and the most widely accepted solutions can be wrong. Problem Consider the task of rounding a float to the nearest integer....
Read MoreA rant about programming interview questions Software development is a peculiar field. An applicant for a more traditionally artistic position would bring a portfolio to eir job interview: a selection of creations ey deems representative of eir work and wants to be judged by. But in the field of software...
Read More