summaryrefslogtreecommitdiffhomepage
path: root/index.mdwn
blob: d0129fbfb3ba2453af1ff6c134bb391855909f22 (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
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
[[!meta title="Sean Whitton"]]

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

[[!img img/master_small.jpg class="mugshot" link=no]]

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

I am variously a student, teaching assistant and instructor at the
[University of Arizona](https://philosophy.arizona.edu/), reading for
a Ph.D. in philosophy.

I am also involved in the development and maintenance of
[free and open source software](https://www.gnu.org/philosophy/free-sw.en.html),
in particular of the [Debian](https://debian.org/) operating system.

<table style="border-spacing: 1em; border-collapse: separate;">
    <tr>
        <td width="50%" valign=top>
            <h1>Personal</h1>
            <p><a href="blog">Weblog</a></p>
            <p><a href="gaming">Tabletop roleplaying</a></p>
        </td>
        <td width="50%" valign=top>
            <h1>Professional</h1>
            <p><a href="tech">Software projects portfolio</a></p>
            <p><a href="https://github.com/spwhitton">GitHub profile</a></p>
            <p><a href="talks">Talks</a></p>
            <p><a href="philos/teaching">Teaching</a></p>
        </td>
    </tr>
</table>

# Contact

## E-mail

`spwhitton@spwhitton.name` / `spwhitton@email.arizona.edu` / `spwhitton@debian.org`

## IRC

`seanw` on [freenode](https://freenode.net/) and `spwhitton` on
[OFTC](http://www.oftc.net/)

## XMPP/Jabber

`spwhitton@debian.org`

## OpenPGP

[`8DC2 487E 51AB DD90 B5C4 753F 0F56 D055 3B6D 411B`](spwhitton.asc)

<div style="padding-left: 3em; border: #000000 groove 2pm;">
    <form method="get" action="https://pgp.cs.uu.nl/mk_path.cgi">
        your PGP key ID :
        <input type="text"    name="FROM"   size="14">
        <input type="hidden"  name="TO"     value="0F56D0553B6D411B">
        <input type="submit"  name="PATHS"  value="find trust paths to me">
        <input type="reset"   name="reset"  value="reset">
    </form>
</div>

# Miscellaneous pages

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