-
The AADL Smash tourney
So today there was a Smash 4 tournament at North Quad. I decided to enter, figuring I was unlikely to win but if nothing else I could probably beat a few people who didn't know the game very well. :P It was pretty small; only 16 people showed up ( Read more... ) -
Ordinals ordinals ordinals!
So I have a number of neat things to report about ordinals! In order from least to most exciting:
#1: I can now compute big multichoose, in generalAt least, I'm pretty sure I can prove it. More on this in a moment ( Read more... ) -
Video game review -- Pinball Hall of Fame: The Williams Collection (PS3)
Zero-word summary: See my userpic ( Read more... ) -
Another question about Snake
So do you remember a while ago I posted some questions about the game of Snake? Well, here's another one. Or perhaps I should really say, here's a rephrasing of one of them ( Read more... ) -
There might have been other misleading units too
The other night I had a dream that there was a unit of time known as a "trailer year" that was equal to 15 and a half years. In it I was thinking about how if I were famous I'd go and tell everyone to never use this unit because it is very misleading, and yes I understand the history of how it came into use and in those narrow purposes it is still ( Read more... ) -
A quick note on "Well-partial orderings and hierarchies"
In their paper "Well-partial orderings and hierarchies", D. H. J. De Jongh and Rohit Parikh showed that given any WPO X, we can define an ordinal o(X), which is the largest order type of any well-order extending X. (As in, yes, the maximum is achieved.) Then they proved some things about how to compute o(X) and computed some specific cases. In ( Read more... ) -
Another dumb story about transportation
So Saturday I had the problem of getting back to Colin and Aviva's from the bar where Shuo and Nadja and Jim and I all met. I asked Nadja how to get home, and she said, take this bus north to Chicago Ave, then this bus west (or you can just walk west, it's not far) and then you'll be somewhere you can recognize and you can get back from there ( Read more... ) -
An unplanned trip to Chicago
So this past weekend I ended up taking an unplanned trip to Chicago. The occasion for this was that Nadja posted on Facebook that Shuo was going to be in Chicago for the weekend and, well, I realized that I had little reason not to ( Read more... ) -
Time T+4, serious internal threat. Repeat, time T+4, serious internal threat.
So we've been turning up the difficulty in Space Alert lately ( Read more... ) -
Two questions about Snake
Obviously, I haven't been posting much here lately. Here's another entry for the "problem dump" series -- two math problems I don't really intend to work on (at least not at the moment). I'll probably put this up on my website later ( Read more... )