Monday, August 17, 2009

Self-inforcing protocols

Interesting article by Bruce Schneier:

I especially like the property tax example.

Sunday, August 09, 2009

cat flap

I learned this week that Newton invented the cat flap.

Sunday, August 02, 2009

LSUIPresentationMode change

I've been using the LSUIPresentationMode trick to hide the Mac toolbar for most applications.  With the latest update, it doesn't look like you can set the number to 4, the options being strings.  You need to now right click and select Show Raw Keys/Values in order to set the number to 4.

Best quote(s) of LFMTP

I think it's a tie

1) Gilles: Higher order matching with dependent types is undecidable.
    Jason: Really?  Who proved that?
    Gilles: I did.

2) Derek: Have you looked at how I do it in MixML?  How do the methods compare?
    Florian: I haven't looked, but I'd be surprised if they are different.  If you do it right, it ends up like this.
   Derek: I was going to say, if you do it right, it ends up like MixML.