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, [...] |
|
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... |
|
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... |
|
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!! |
|
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. |
|
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! |
|
p i c t u r e |
Spring Break!
(07 Mar 2005 at 21:23) |
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. |
|
2 0 2 4
| Posts from 2024 |
Nov 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 |