[[!meta title="Sean Whitton"]]

<div>
  <style>
    .pagedate {
      display: none;
    }
    /*.actions {
      display: none;
    }*/
  </style>
</div>

[[!img img/sean.png class="mugshot" link=no]]

Welcome to Sean Whitton's home page on the world wide web.

# Main stuff

- [[Research|philos/research]]
- [[Teaching|philos/teaching]]
- [[Recent computing projects|tech]]
- [[Personal weblog|blog]]
- [[Contact details|contact]]

# Other stuff

- [[Machine naming scheme tracker|tech/machines]]
- The [[CRUX|http://crux.nu/]] GNU/Linux distro:
  [[installation notes|tech/crux]];
  [[some ports|http://spw.sdf.org/crux/]]
- [[Good old Readability mirror|tech/old-readability]]
- [[Cabal sanity on Debian Wheezy|tech/debstablehaskell]]
- [[Some bookmarks|bookmarks]]
- [[Cross-platform window management key bindings for Emacs users|tech/xahkeys]]