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. |  |
|
|
|
|