Should've known earlier.

• I wish I'd known about Professor Joyce's pages long ago, back when I had trig classes. That way I would've actually appreciated what the trig functions mean.
• The whole Slashdot itsatrap tagging thing is getting out of hand. No amount of hostile labeling can measure up to the Admiral's line anyway.

ASCIIMathML test.

On certain browsers, `e^(i*pi)+1=0` will display as a nice math formula.

More student aid, yay.

I'm glad the US is now offering two special grants.

Still, if it's about national security, they should've offered it five years ago. You know, when we needed it. I'd pay any amount to defend the country I govern.

Hi, I'm game kid, and I'm a Conan O'Brien addict.

Max Weinberg playing “Fighter”, super-hot Jamie-Lynn Sigler, and a raving red-haired lunatic...what's not to love about yesterday's Conan?

All this fresh off of Pi Day. More posts as soon as I care.

⊢ (A ∈ ℂ → (exp ‘(-i · A)) = ((cos ‘A) − (i · (sin ‘A)))).*

That's the exponential function in terms of sine and cosine. Actually, a similar, more familiar proof has been there for a while, but I still wonder: Is a Metamath-checked proof of e^{i π}+1=0 near?

*A full Unicode font is your friend here.

Metamath.

A geeky sort of awesomeness.