No, he is not. He work for a long time for the bank of notorious criminal oligarch Khodorkovsky, and that's where he build capital to start his internet businesses. Also, the Mail.ru service he is associated with happens to be the shittest, most unsecure and spam-riddled e-mail service in Russia.

Well, I am sorry, but you are factually wrong about this. Your "proofs" show that division by zero may be undefined for some cases, which does not change the fact that it is quite well defined for some other cases. IEEE 754 is quite clear on that too. You may wish to eduacte yourself beyond pre-calc before sounding off.

And if those people are writing code for twitter and facebook, I have no objection. But over yonder someone claims that he wrote a flight control software. Now that's scary thought (even if it is for a hobby drone)

Well, no, I did not. If the result Inf occurs in computations that must be passed to control mechanisms, it must be caught at this point, and not where it occured. Throwing exception on arithmetic operation is bad idea that seems good if you do not think about it carefully. Which authors of IEEE754 did, and produced a very good standard.