I noted that the one question in the video was asked by https://en.wikipedia.org/wiki/William_Kahan https://en.wikipedia.org/wiki/William_Kahan , the main archi

I noted that the one question in the video was asked by https://en.wikipedia.org/wiki/William_Kahan https://en.wikipedia.org/wiki/William_Kahan , the main architect of https://en.wikipedia.org/wiki/IEEE_754 https://en.wikipedia.org/wiki/IEEE_754 floating point. Both Lamport and Kahan are Turing Award winners. https://en.wikipedia.org/wiki/Leslie_Lamport https://en.wikipedia.org/wiki/Leslie_Lamport