summaryrefslogtreecommitdiffhomepage
path: root/index.mdwn
blob: a2dc4de36eb15289e47f4950a3f1a5f05e0ee500 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
[[!meta title="Sean Whitton"]]

[[!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]]