Once upon a time, I wondered why all programming languages didn't directly support partial function application (modulo legacy concerns, of course). The answer turned out to be obvious: variadic functions and partial function application don't play well together straightforwardly (if you've supplied at least the minimum number of arguments, how can ( Read more... )

Nothing quite like struggling to prove a theorem, having a nightmare of a time proving lemmas to help prove the theorem, finally prove a lemma to help prove some of the other lemmas, and realizing that what you just proved is equivalent to the theorem you were trying to prove in the first place.

Today's edition of "I guess it's the future now": receiving an error message for having attempted to copy a file that I hadn't been thinking of as particularly large onto a volume whose format doesn't support files of that size.

Single yellow ship looking for purple shield for long-term relationship.

「君には決定的に欠けているものがある。今のように飛んでいる限り絶対ぼくには勝てない。ジャンプをする人間なら誰でも持っているものを君は持っていないんだ。克服すべきものに気付けば君はもっと強くなるよ。」
「なにが!?なんなんだよ!!ぼくに足りないものって!!」
「Angst」

"In a certain place, there was an ugly duckling."
"I know this story!"
"The ugly duckling was different from the others, so she was an outcast. Why, because the ugly duckling was…"
"…Because she was a swan!"
"Because she was a kite!"
"Eh?"

"Shoot him again!"
"What for?"
"His soul is still dancing!"

Suck it, left recursion!

(Unrelated confession: at times I read logs of things I said during RPG sessions (mostly Shadowrun) and am inordinately pleased with myself.)

I've had a few moments here and there to get some gaming in, so a few thoughts about Half-Life 2 and Heavy Rain ( Read more... )

Dear Valve: puzzles need not always consist of statics/kinematics problems. Just FYI.

It's a pity, if it weren't for some very well-constructed sequences I'd be able to write Half-Life 2 off as simply an awful game, but the carrot of those sequences has me enduring its considerable sticks. No verdict yet as to whether this is worthwhile.