Thursday, June 17, 2010

Floating Point is Shit Part Two

Haskell is a great logical language and can be used for proofs and has Curry-Howard isomorphic-mathematical-glorious beauty. With that in mind I feel that when ghci says Peano's eighth postulate is false you best listen.

> 1e16 + 1 == 1e16
True
view raw lame.lhs hosted with ❤ by GitHub

No comments:

Post a Comment