Tom 7 Radar
Back to tom7.orgRecent comments Other ways to read
x
Other ways to read Tom 7 Radar:

[rss] RSS feed for aggregator software
Entries from March 2005
u
p
d
a
t
e
They are a woman (29 Mar 2005 at 16:08)
Ok, they-as-third-person-singular-pronoun apologists, do you not agree that this usage makes senator Clinton sound like an idiot?

[The gaming industry] teaches kids it's OK to diss people because they are a woman, [...]
(37 comments — 11 years ago)   [ comment ]
p
e
r
s
o
n
a
l
I, for one, do not welcome our new llncs.sty overlords (29 Mar 2005 at 14:22)
Oh man, when I redesign academia some day I am going to definitely lay waste to this "page limit" business. I've spent the last week turning a 25 page paper into a 16 page one, and the process has been painful, damaging to the paper's contents, and wholly unscientific. Instead, why don't we let a paper's length simply be evaluated as part of the peer review process? So many smart people would spend so much less time fooling around with LaTeX, and we could get a whole lot more interesting things done instead.

One more page to go...
(3 comments)   [ comment ]
p
e
r
s
o
n
a
l
Now Picnic Activate! (26 Mar 2005 at 08:52)
It's Puzzlestorm 2005! Despite having only 10 hours of notice (they just told us last night at midnight that it was going to be today), we've arranged a great team, called Now Picnic, which will win puzzlestorm once and for all!

Chart our progress on the scoreboard...
Category:  contests (5 comments)   [ comment ]
p
e
r
s
o
n
a
l
Pi day... awesome! (14 Mar 2005 at 12:09)
Happy Pi Day (3/14), everyone!

Back in 1999, when I was an undergraduate, my math friend Dan Bruner and I decided that an appropriate Pi Day celebration would be to write as many digits of pi as we could on the sidewalk for everyone to see. We used really big digits and didn't have very much chalk, but we wrote about 888 (going from Wean Hall to the University Center) starting at 1:59AM, with our fingers freezing and our lungs wheezing at the end. In the following years we did the same, with more and more volunteers (once, our work was snowed on before daybreak!), each year doubling the amount of digits that we wrote, and also starting a bit earlier in the night and writing smaller. (Dan eventually graduated but I'm still here as a PhD student.) In 2003 we got 8192 digits with the help of about 20 people, which I thought of as the pinnacle of pi writing. When CMU moved its spring break to overlap Pi Day in 2004, and with most of my undergraduate friends graduated and most of my graduate friends working on their theses, I thought that would be the end of our chalking exploits.

Paragraph break for emphasis. I was wrong. Today I walked into campus to find that a group of CMU Pi Ninjas had picked up the disused torch, dusted it off, and carried on the tradition with aplomb; they had doubled our previous total to 16,384 digits!! I walked the entire route grinning. Fucking great job, guys. I am impressed, honored, and absolutely ready to have pi day chalking be an autonomous CMU tradition. Pi lives!!
Categories:  sightings  pi day (12 comments — almost 3 years ago)   [ comment ]
p
e
r
s
o
n
a
l
Very Big (13 Mar 2005 at 21:20)
Mike and I now have a DLP projector, which is like having a six-foot television in our living room. Right now it is used for Halo 2.
(5 comments)   [ comment ]
u
p
d
a
t
e
UPD: Welcome to the Machine (11 Mar 2005 at 18:09)
I released a new version of Escape, which features three kinds of robots. Robots are like other (cybernetic) players that can help or hurt you as you try to solve the levels. Loads of clever possibilities are open to level composers now, so try it out!
Categories:  video games  escape (1 comment)   [ comment ]
p
i
c
t
u
r
e
Spring Break! (07 Mar 2005 at 21:23)
Spring Break!
Based on this image, I decided not to go to hockey tonight, even though it not raining right this instant. This storm has been encircling us ominously all day, and the hockey instructors have a bad habit of cancelling only after we've taken the trouble to actually drive out there. Let's hope I'm right!

After a small type-theoretic victory last week, I'm back to proving theorems in Twelf. This should be easier now that my "theorems" are not known to be false. I still want to be writing a proposal by the end of the semester, since everyone around me seems to be doing that, or at least graduating.

I am still addicted to hacking on escape. Rather than fixing certain obvious deficiencies (sound, solution sharing, editor cut-and-paste), I have been making large changes to the gameplay by adding in robots of various sorts. I think robots will compound the fun factor polynomially, he said, which, to his delignt, causes cringes in those who hate idea that mathematics and fun could possibly be associated, deliberate and delightful in the same way as doing type theory in a bar.
Categories:  video games  escape (18 comments)   [ comment ]
2
0
1
7
Posts from 2017
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