Two types of types

  print

Thursday 15 February 2007 @18:40

Follow-up about BitTorrent: at some point, I read the FAQ and found that for BT to work correctly, one needs to forward ports to overcome the Network Address Translation done by the router. (Would have been easy except that I forgot my router config password and had to reset it.) But after doing that, the number of peers increased significantly, and with it both upload and download rates. That’s more like it!

In my email the other day, I received a message with an image claiming that:

Wow, sounds great, I thought. Where was this when I was doing my thesis research? So is it based on the lambda calculus? I read on:

Ah, that kind of ‘type system’. Come to think of it, the message was from myfonts.com…