Piatti del giorno 30

The Curry-Howard Correspondence is not a series of erudite letters between two friends, just in case anyone should happen to bring it up.

• The Mathematical Hacker - “If you’re thinking about your code, you’re not thinking about the world outside, and the equations that might best describe it.” Worth reading for the argument that the O(1) analytical solution to computing factorials, in sidestepping the issue of drifting off into the weeds of a need for tail-call recursion, has its own beauty.

• Lorempixel - Random for-placement-only images in various categories (h/t Mike Gunderloy).

• Farpotshket - I am pretty sure I render things farpotshket on an hourly basis.

• Dumb Software - “Is there even a bug, or have I simply lost my mind?”

• Dynamic languages are static languages - I’ve never considered that dynamically-typed languages can also be seen as a degenerage case of statically-typed languages that happen to have only one type (h/t Jon Sterling).