Entries from September 2003
|
|
p i c t u r e |
Axe Throw
(28 Sep 2003 at 17:39) |
1024×683 version Here's a picture of me throwing an axe at my brother. |
|
p e r s o n a l |
2*2*2*3
(27 Sep 2003 at 08:45) |
Happy Birthday to me! I'll be 24 at 9-something tonight. |
|
p e r s o n a l |
Escape Milestone
(25 Sep 2003 at 19:50) |
I don't think I've mentioned this here before. In some spare time I've been porting my old DOS puzzle game Escape (don't go there, the download is broken) to modern operating systems using the SDL. The port works pretty well, though it lacks the polish for a proper release. (Soon!) But today I reached a milestone: I solved the last of 100 levels that were originally released with the game. This is important because I wanted to make sure I hadn't changed anything in the reimplementation that made levels unsolvable or trivial (in fact I had, so some levels needed to be fixed), and because the new web-based level archive assumes that each level has a mechanized solution that can be checked. Anyway, if anyone's interested in trying it out, even at this early stage, send me some good puzzles and perhaps they will be included in the "official" level collection! |
|
u p d a t e |
UPD: SICO
(25 Sep 2003 at 15:14) |
I added a new variation to SICO called 90. It's for people who like to play chess sideways. |
|
p i c t u r e |
Found: RAP SNACKS
(23 Sep 2003 at 00:29) |
543×891 version Aww hell yeeeeah. Check out this fly shiznat that I fizzound on the streetz of Shadysidez. It's RAP SNACKS that my mouth TORE UP while i stack my ca$$h and bust rhymes fo my fly bitchez. |
|
p e r s o n a l |
FALSE.
(22 Sep 2003 at 18:36) |
Well, the theorem I've spent the last several weeks trying to prove turns out to be false, at least in an extention to the language that we want to support (products). I'm not sure if that rules (because it explains why I had difficulty proving it) or sucks (because it means I wasted a lot of time).
To figure it out, let's resort to an old google trick, the sucks-rules-o-meter.
google search for 'cut admissibility is false rules': 5950 results
google search for 'cut admissibility is false sucks': 33 results
Well, it seems that most of the rest of the internet thinks that it rules. All right!! Thanks, internet! |
|
w e b l i n k |
The K.A.S.
(20 Sep 2003 at 12:07) |
Sweet. If you are in kindergarten through high school you should definitely join the military force known as K.A.S. (kids against school). Check out this picture of one of their operations against T.A.S. (teachers against kids).
|
|
w e b l i n k |
Isabel
(18 Sep 2003 at 09:26) |
Here's a great animation of the approaching hurricane. Reload throughout the day to see its progress... It's projected to pass over Pittsburgh on friday night, though hopefully it will be much weaker by then. |
|
p e r s o n a l |
Slashdot gets it?!
(15 Sep 2003 at 11:17) |
This article over at slashdot about "secure programming" gives me hope about the future. Most of the time when some security bug comes up I go there and rant about how C and C++ are actually the source of most of our security woes. But this time, there are loads of people making that argument (and well, for the most part) for me. Even the authors of the web page (devoted to secure programming in C and C++) have now put up a page responding to all those comments. (Their conclusion: C has 5x as many security holes per source line, but other languages have the potential for security holes, too.) For my perspective, see my posts: [1, 2, 3, 4, 5, 6]
The hive mind of slashdot is not something to brush off lightly. Hopefully*, modern languages are finally making headway into the mainstream... Just wait 'til they find out that you don't need to run in a VM to get safety and garbage collection!
* The usage panel overwhelmingly rejects this use of "hopefully," but, I don't care.
|
|
u p d a t e |
NEW: album-a-day #16: Isabel "Refuses to Weaken"
(14 Sep 2003 at 21:47) |
I have another new album up. This one is called Isabel "Refuses to Weaken" and I made it in about 7 hours total.
I also just found the site Song Fight! which is a similar idea to album-a-day, except that the participants get a lot longer to make their music. |
|
w e b l i n k |
Gender Test
(12 Sep 2003 at 13:22) |
This gender test is amusing and more scientific than it sounds. Try it out! |
|
w e b l i n k |
Pixies Revived!
(10 Sep 2003 at 10:05) |
Holy poo, the Pixies are reforming for a tour and maybe an album in 2004!!!!!!!! |
|
w e b l i n k |
Cheap travel!!
(09 Sep 2003 at 17:02) |
Yes, someone has really done it: He shipped himself from Dallas to New York in a cargo crate, pried himself out of the crate in front of his parents' house, shook the stunned deliveryman's hand, and then got arrested on outstanding warrants.
|
|
p e r s o n a l |
More on Tom 1 (2?)
(05 Sep 2003 at 16:48) |
As reported earlier I have done some looking into my great great great great grandfather (Tom 1)'s service record in the Civil War. Based on my best information, here's a listing of the Murphies in his regiment.
There some weird stuff here. For example, there's a Michael P. Murphy, which is exactly my brother's name. He will be happy to know that he outranked Tom 1: A fifth sergeant to Tom's mere Private.
Now there's a new Tom and Mike P Murphy. Does this mean that the robot war starts soon?
Also, it's hard to tell which of the 139 Tom Murphies might be the one. Did he win a medal for capturing the flag?
But, I am tempted to believe that the pair Thomas Murphy and Thomas Murphy, 2nd., both from the same company, are my GGGGgrandfather and GGGgrandfather, respectively...
|
|
p e r s o n a l |
A New Kind of Logic
(05 Sep 2003 at 13:10) |
Proving admissibility of cut is a polynomial time problem: it's O(c * j * r^2), where c is the number of contexts, j the number of judgments, and r the number of rules. But you have to do all that by hand. It is a relaxing process, in a way, like programming or putting stamps on envelopes. My current progress: 675 of 1764 cases. (Of course, in practice many cases are the same or don't apply, so it goes a bit faster than you might think! ;)) |
|
p i c t u r e |
Bathroom? Mushroom!
(04 Sep 2003 at 10:38) |
800×533 version Here's a weird thing. My bathroom is not really a paragon of lickable-cleanliness (whose is?) but it's no Grand Central Station, either. Nonetheless, sometimes a mushroom grows in one specific spot in the grout by the bathtub. It pops up quick, like two days!
I guess I'm the kind of guy who thinks that's pretty cool, even though I pull it out and then pour bleach all over the spot. Here's a nice image of it. |
|
w e b l i n k |
Found: Maniac Mansion
(03 Sep 2003 at 22:51) |
Through random clicking this morning I found, by amazing chance, the answer to a puzzle that had been vexing me very slightly for ages. What was that weird show with the fly-head guy that I saw like one episode of when I was 10?
The answer is Maniac Mansion, perhaps the only sitcom based on a videogame that lasted more than one season. And doesn't the fly-head guy look kinda like Rob Schneider? |
|
p e r s o n a l |
September
(01 Sep 2003 at 15:41) |
Now it's time for the traditional monthly status update!
Later this month (on the 27th) I turn 24, which will begin the longest drought of prime ages that I have ever endured. Potential expensive birthday gift ideas: Car GPS unit, Canon macro lenses, ...
As mentioned before, I recently did a demo for my Hemlock Grid ML compiler. So I've shifted work from that now to 100% paper-and-pen theory stuff. I'm working on a symmetric modal lambda calculus for distributed computing. Once I figure out exactly what that means, well, I'll let you know.
Mike and I bought a bunch of video games. We have been playing NHL 2003, shooting for a perfect season with our ridiculously souped-up Pittsburgh Pirates team. This is the first videogame I've ever played that will actually pronounce your custom characters' names, as in, "Lemieux... passes the puck ... Tom shoots--SCORES!!!". If I had a really rare name like "Nefertiti" or "Skeletor" I might have slightly worse luck, at least until they figure out how to make a hockey commentator voice synthesis robot. I also got the ridiculously fast F-Zero GX. It's a good game, but the music is nowhere near what it was on the SNES, which is really sad. Nintendo has some kind of technology, I guess, which can take a perfect melody from any old game and then turn it into barely recognizable mush.
Since I haven't been programming for work, homebrew programming projects are flourishing. I have been hacking on my radar software a lot recently. This weekend I did some work on writing MIDI files so that I can build a digraph-based chord progression generator.
Uh, bye. |
|
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 |