• Home
• About
  • Bio
  • Résumé >
    • PDF
    • Text
  • Employment
• Research
  • Research Interests
  • Publications >
    • Refereed Publications
    • Technical Reports
• Random Stuff
  • Bookmarks
  • Tech Tidbits

Tech Tidbits

1. My Vim customizations
2. My Mutt customizations
3. My dir colors