Misc

• Here's a Perl script I wrote that can be used to do LDAP searches at Penn from within Mutt. Put it somewhere in your path, replace USERNAME and PASSWORD with your PennKey username and password, then add the line set query_command = "mutt_ldap_query.pl '%s'" to your .muttrc. Now when editing the "To" or "Cc" fields of a message, you can type a search string and hit Ctrl-T to search for matching names and email addresses.
• Some lecture notes from a course on axiomatic set theory taught by Scott Weinstein in spring '09.