September 20th, 2004

  • evan

patents and standards

Man, the whole world hates Sender ID:
"Given recent concerns expressed by the Internet Engineering Task Force (IETF), coupled with the tepid support for SenderID in the open-source community, AOL has decided to move forward with SPF-only checking on inbound e-mail at this time," according to AOL spokesperson Nicholas Graham.
I'm especially glad because this sets a precendent for what to do when companies try to propose patent-encumbered technologies as standards. Oh, wait, everyone's using .NET.
  • evan

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.