|
Entries from December 2003
|
 |
w
e
b
l
i
n
k |
Math Shirts
(31 Dec 2003 at 13:11) |
| I am thinking of opening up a little internet t-shirt store. In my searches on the internet I found math novelty t-shirts, some of which are groaningly funny. If you're a math nerd. |
|
|
p
e
r
s
o
n
a
l |
Evolution Quote
(27 Dec 2003 at 10:51) |
I found this quote in a book I'm proofreading today for Distributed Proofreaders (a very worthwhile project; please try it!) called "The Positive School of Criminology." I don't think it appears anywhere else on the internet:
"For my part, and so far as my human consciousness is concerned, I prefer to be an immensely perfected ape rather than to be a degenerated and debased Adam." -- Ernst Haeckel, Univesity of Jena, 18??
|
|
|
w
e
b
l
i
n
k |
Newsweek Short
(21 Dec 2003 at 09:57) |
| There is a very short article in this week's Newsweek (International edition) about "Crap Art" with a few Tom 7 quotes in it. I'm not sure if it's in the USA version. You can read the article by following the link and scrolling down to the one called Heartbreaking Works of Staggering 'Crap.' |
|
|
p
e
r
s
o
n
a
l |
CT
(20 Dec 2003 at 17:32) |
| I am in Connecticut, state of scandals! |
|
|
u
p
d
a
t
e |
Loving Printers
(18 Dec 2003 at 10:14) |
| In Japan, they appreciate their printer companies so much that they have sites like www.i-love-epson.co.jp, filled with bright, colorful and helpful super-hero purveyors of epson products. |
|
|
p
e
r
s
o
n
a
l |
Not guilty!
(15 Dec 2003 at 20:42) |
I had my first ever date in "traffic court" today for a ticket I recieved for parking in my driveway. In Shadyside, Pittsburgh, even tiny alleyways and driveways have street signs and, sometimes, ridiculous parking regulations. The magistrate was tough but in the end, I was not guilty!
Tomorrow is Black Friday, the School of Computer Science's semesterly herd-thinning ritual. I will probably spend much of the day in the lounge at the all-day "TG" (short for TGIF) party, but I will also take the reprieve to get some work done on my projects, which have been neglected since October so that I could finish Nanowrimo.
Speaking of which: I have decided that writing is fun, but it is not as good as many other projects. The problem is that, after finishing my book, well, there's a certain "doneness" to it that is anticlimactic and tiresome. Contrast to an album-a-day: When I finish one, I want to listen to it, and I can listen to it for several weeks before getting bored. I like my novel, and I am glad that anyone can download it, but I am sick of reading it. Contrast to my current programming project, Escape: When I finish it, there will be still loads of stuff to do. Create levels, play levels that others have created, stare at web logs and wait for you to download it. Speaking of Escape, I got a bit done on it this weekend. I encourage you to download the alpha version linked above and then use the in-game upgrade and level-update to synchronise yourself with the newest version. There are new tiles, and you can now upload your completed levels to my server with a single keypress.
Research is going well. I have a translation between my slightly weird (but nice, I think) type system and a fairly standard system adapted from Simpson; this means that if I prove admissibility of cut for the standard system (which should be easy) then I get it as a consequence for my type system. That's good, because I've been yearning for the whole semester for a logic that supports cut elimination and has a reasonable computational interpretation. Right now I am in the fairly relaxing phase of proving things I expect to be true, which is much better than the agonizing and frustrating phase of trying to prove things that are true but I don't know why, or trying to prove things that are false. (My intuitionist friends: Of course when I refer to objective "classical" truth--in the sense that truth and provability are not identified, or, when feeling especially cynical, truth and provedness--I am speaking informally.)
|
|
|
u
p
d
a
t
e |
NEW: Tom's Novel: 'Name of Author by Title of Book'
(08 Dec 2003 at 22:31) |
It's finally up! Here's my book, Name of Author by Title of Book. It was created in the month of November with a bit of editing and graphic design in this first week of December.
I've also placed it on lulu.com for print-on-demand. (I don't make any money off copies that they print; just think of it as a convenient way to get a hard copy.) They've got a pretty cool thing going on there! But I wouldn't recommend ordering a copy there until I get mine, because I'm not sure I did all of the uploading and conversion and margins correctly. I'll let you know when my copy arrives. |
|
|
w
e
b
l
i
n
k |
Struck by lightning!
(04 Dec 2003 at 17:05) |
| Jim Caviezel, the actor portraying Jesus in Mel Gibson's controversial film "Passion" (filmed entirely in dead languages!), has been struck by lightning twice during filming. If I believed in smiting, I think I would know which side of the controversy God himself lies on. |
|
|
w
e
b
l
i
n
k |
Reuters piece on 'crap art,' etc.
(03 Dec 2003 at 20:55) |
| Well, here it is, the Reuters piece on NaNoWriMo and my Album-a-day project, among others. Coming from a wire service meant that it will appear in all sorts of places; for instance, you can choose Forbes Magazine or USA Today, or perhaps your local newspaper. |
|
|
p
e
r
s
o
n
a
l |
Revolve away!
(02 Dec 2003 at 14:07) |
| I just got a call from a guy at Reuters about my Album-a-Day Project, tying it in with NaNoWriMo and other compressive art projects for a little piece. Check your local newspaper in the near future! The press is beginning to smell "revolution"... |
|
|
2
0
2
4
| Posts from 2024 |
| Oct Sep Aug Jul Jun May Apr Mar Feb Jan |
2
0
2
3
| Posts from 2023 |
| Dec Nov Oct Sep Aug Jul Jun May Apr Mar Feb Jan |
2
0
2
2
| Posts from 2022 |
| Dec Nov Oct Sep Aug Jul Jun May Apr Mar Feb Jan |
2
0
2
1
| Posts from 2021 |
| Dec Nov Oct Sep Aug Jul Jun May Apr Mar Feb Jan |
2
0
2
0
| Posts from 2020 |
| Dec Nov Oct Sep Aug Jul Jun May Apr Mar Feb Jan |
2
0
1
9
| Posts from 2019 |
| Dec Nov Oct Sep Aug Jul Jun May Apr Mar Feb Jan |
2
0
1
8
| Posts from 2018 |
| Dec Nov Oct Sep Aug Jul Jun May Apr Mar Feb Jan |
2
0
1
7
| Posts from 2017 |
| Dec Nov Oct Sep Aug Jul Jun May Apr Mar Feb Jan |
2
0
1
6
| Posts from 2016 |
| Dec Nov Oct Sep Aug Jul Jun May Apr Mar Feb Jan |
2
0
1
5
| Posts from 2015 |
| Dec Nov Oct Sep Aug Jul Jun May Apr Mar Feb Jan |
2
0
1
4
| Posts from 2014 |
| Dec Nov Oct Sep Aug Jul Jun May Apr Mar Feb Jan |
2
0
1
3
| Posts from 2013 |
| Dec Nov Oct Sep Aug Jul Jun May Apr Mar Feb Jan |
2
0
1
2
| Posts from 2012 |
| Dec Nov Oct Sep Aug Jul Jun May Apr Mar Feb Jan |
2
0
1
1
| Posts from 2011 |
| Dec Nov Oct Sep Aug Jul Jun May Apr Mar Feb Jan |
2
0
1
0
| Posts from 2010 |
| Dec Nov Oct Sep Aug Jul Jun May Apr Mar Feb Jan |
2
0
0
9
| Posts from 2009 |
| Dec Nov Oct Sep Aug Jul Jun May Apr Mar Feb Jan |
2
0
0
8
| Posts from 2008 |
| Dec Nov Oct Sep Aug Jul Jun May Apr Mar Feb Jan |
2
0
0
7
| Posts from 2007 |
| Dec Nov Oct Sep Aug Jul Jun May Apr Mar Feb Jan |
2
0
0
6
| Posts from 2006 |
| Dec Nov Oct Sep Aug Jul Jun May Apr Mar Feb Jan |
2
0
0
5
| Posts from 2005 |
| Dec Nov Oct Sep Aug Jul Jun May Apr Mar Feb Jan |
2
0
0
4
| Posts from 2004 |
| Dec Nov Oct Sep Aug Jul Jun May Apr Mar Feb Jan |
2
0
0
3
| Posts from 2003 |
| Dec Nov Oct Sep Aug Jul Jun May Apr Mar Feb Jan |
2
0
0
2
| Posts from 2002 |
| Dec Nov Oct Sep Aug Jul Jun May Apr Mar Feb Jan |
2
0
0
1
| Posts from 2001 |
| Dec Nov Oct Sep Aug Jul Jun May Apr Mar Feb Jan |
2
0
0
0
| Posts from 2000 |
| Dec Nov Oct Sep Aug Jul Jun May Apr Mar |
![[rss]](rss_button.gif){kind=small}
