What does it mean for a monad to be strong?(blog.sigfpe.com)56 points by chmaynard 3 years ago | 36 comments
The Three Projections of Doctor Futamura (2009)(blog.sigfpe.com)22 points by signa11 2 years ago | 5 comments
What is the mechanical world picture?(edwardfeser.blogspot.com)11 points by danielam 4 months ago | 0 comments
How many floating-point numbers are in the interval [0,1]? (2017)(lemire.me)87 points by burntcaramel 3 years ago | 41 comments