Jason (jcreed) wrote,

Ran into groen and demoness101 today — good to see both of them, since I hadn't in a while — especially donna I seem to run into quite infrequently these days.

If you are as amused as I am by cute analogies between typed functional programming and calculus, be sure not to miss this Connor McBride paper which takes the usual "the derivative of a type is the type of its one-hole contexts" slogan a little further. Only problem is, I'm no longer sure what in calculus-land all this functional programming corresponds to...
Tags: math, social

  • (no subject)

    Oh jeez Boulet, this is what you casually slap together for a 24-hour comic? Come on, now, you're just showing off. (But seriously it is so cute)

  • (no subject)

    Compare: (a) Borges's Celestial Emporium of Benevolent Knowledge. (b) Today's smbc. --- A further example of excellent linguistic trolling…

  • (no subject)

    A very satisfying little flash puzzle game by the author of "Bump" is " Ending", which I only discovered just now despite it apparently being (as…

  • Post a new comment


    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded