98:
91:
32:
52:
28:
36:
24:
20:
75:
64:
60:
56:
87:
79:
83:
71:
48:
44:
16:
Someday eventually there might be something here worth reading.
40:
101:in 2004 and 2005. (The one from 2006 isn't me.)
19:Things I know a little something about include
8:
94:, but not yet expert in any of these.
7:
97:I made a few minor contributions as
14:
39:and PL theory (especially the
1:
115:
74:with special interests in
70:Also a devout student of
33:philosophy of language
53:Plan 9 from Bell Labs
37:programming languages
29:philosophy of science
25:political philosophy
21:heterodox economics
92:foundational isses
106:
76:abstract algebra
57:avant-garde jazz
114:
113:
109:
108:
107:
105:
104:
103:
88:metamathematics
80:category theory
12:
11:
5:
112:
110:
99:205.209.85.169
13:
10:
9:
6:
4:
3:
2:
111:
102:
100:
95:
93:
89:
85:
81:
77:
73:
68:
66:
62:
58:
54:
50:
46:
42:
38:
34:
30:
26:
22:
17:
96:
84:proof theory
69:
18:
15:
72:mathematics
47:families),
65:electronic
61:industrial
67:music.
90:and
63:and
49:Unix
45:Lisp
43:and
86:,
82:,
78:,
59:,
55:,
51:,
41:ML
35:,
31:,
27:,
23:,
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.