Jason (jcreed) wrote,
Jason
jcreed

I had already been meaning to dig into JaneSt's "Incremental" library, which bills itself as a practical implementation (in ocaml) of the ideas in Umut Acar's thesis, but this talk about it by Ron Minsky just blew me away. Now I'm really interested.

And a meta-comment on the structure of the talk:
I really like that it's a simple-to-complicated tour through the various versions of the library, justifying design decisions along the way, similar to the design documentation in the Q promises library. By contrast, I'm usually impatient at the way QFT is taught as "here are the historically occurring 12 wrong things we thought about physics that led us to the current theory", and while trying to figure out why my opinions differ there, I think it might be because systems-that-humans-design differ from physical-systems-that-humans-try-to-figure-out. Not sure.
Tags: frp, math, talks
Subscribe

  • (no subject)

    Well I am certainly glad I saw Arrival so that I get the wug joke in http://languagelog.ldc.upenn.edu/nll/?p=29480#more-29480

  • (no subject)

    Saw "Arrival". It did have some nontrivial linguistics content, but it still felt kind of wrapped up in a discernible layer of Hollywood Woo. The…

  • (no subject)

    Had some dinner at Aliada with akiva and sasha and K, and afterwards saw Herzog's "Aguirre, the Wrath of God" in Socrates park. Enjoyably bleak.

  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded 

  • 0 comments