Evan Martin (evan) wrote in evan_tech,
Evan Martin
evan
evan_tech

icfp 04

ICFP 04 results are in.

The main winners were all Haskell programs. The O'Caml developers got the judge's prize for developing a fancy metalanguage. And an fun surprise was a program written in "Java, C++, Perl, and m4" winning the lightening round. (I want to see these movies they mention!)


I spent 12 hours at work today.
A few of those hours was talking with a researcher at work. He's in his seventh year of grad school, and his thesis involves a program that figures out the innards of a black-box function (one where you only get its inputs and its outputs). Our discussion ranged over the limits of my knowledge of type theory, the Curry-Howard isomorphism, etc., and ended with a demo of Coq. He's also a friend of my roommates and remarked on my category theory book on the kitchen table.

I have so much to learn, still.
Subscribe

  • more on bug tracking; distributed editing

    A few separate posts, all in the same area. 1) Most (all?) the distributed bug tracking software I've glanced at stores bugs in a directory, one…

  • dvcs and offline

    I got a couple of comments on that previous post that betray a bit of a misunderstanding about how collaborative projects work in the presence of…

  • distributed bug tracking

    Distributed bug tracking is the natural extension of distributed version control. Aside from the normal benefits of distributed version control, like…

  • Post a new comment

    Error

    default userpic
    When you submit the form an invisible reCAPTCHA check will be performed.
    You must follow the Privacy Policy and Google Terms of use.
  • 8 comments