"Lemme know how hard I gotta reduce it..."

- That's the best I've felt about a Theory test in a while. Hooray :)

- It turns out that the problem of checking whether two boolean formulas are not equal is NP-Complete. Solve that, and you can totally solve satisfiability in general. Ho! (proof idea: "satisfiable" means the same thing as "not logically equivalent to a contradiction")

"Straight to your door! We comin' straight to your door..."

- Busta Rhymes show tonight at the Tabernacle. "Woo-hah!!" as he might say. The Jacquie fluffyevilbunny either has tremendous taste in music or lots and lots of patience with me, for saying she'll come with :) Review later on tonight, assuming we can get tickets on the day of the show...

- I expect Kthaw would appreciate this... I wonder how he's doing. Maybe-probably he'd graduated (from Tulane) and been gone from New Orleans when Katrina hit...

- The poetry generation system shall be called TEB (Trurl's Electronic Bard), which is a Cyberiad reference...