Brent Yorgey - Miscellaneous

Miscellaneous

Monad tutorial lambdacat

LDAP from Mutt @ Penn

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.

Set theory lecture notes

Some lecture notes from a course on axiomatic set theory taught by Scott Weinstein in spring ’09.