[ back to Tom 7 Radar ]

p
e
r
s
o
n
a
l
Ahhh... (05 Apr 2004 at 16:14)
Well, after finishing up my paper last week and recovering over the course of the weekend, I can finally get back to what I really love: Pikmin, Zelda: the Wind Waker, hacking on projects (I made a significant modification to aphasia last week that should cut down on or eliminate the occasional timeouts (which manifest as crash messages), and I have several additions in the works for escape), automated theorem proving, and formalizing proofs in machine-checkable Twelf format.
p
o
s
t

a

c
o
m
m
e
n
t
[ Tom 7 Radar  •  Tom 7 on Google+  •  on Twitter  •  on Facebook ]