I just found a great blog post by Martin Kleppmann titled Accounting for Computer Scientists, a succinct introduction to double-entry accounting (although he doesn’t refer to it as such) in terms of basic graph theory: Eventually I figured it out: … Continue reading »

Ars Technica has a four-part introductory series on logic and argumentation, entitled “Getting to QED.” In some cases, there is a way to tell good arguments from bad using what is called informal logic. This name distinguishes it from formal … Continue reading »

This guy is the best kind of crazy… How am I just finding this now? He’s made major progress since filming that video; check out his YouTube channel for more. Seriously man, thumbs up…

I’ve been waiting for this since I was a kid: MacGyver is headed for the theater! And better yet, the show’s original creator, Lee David Zlotoff, has obtained the movie rights and will be in control of the film. This … Continue reading »

The University’s software licensing program proudly furnishes UF engineering students with Microsoft’s latest-and-greatest (with the notable exception of cash cow Microsoft Office). As of Wednesday, latest-and-greatest meant Windows Vista Business Edition*, so I decided to download it and, with the … Continue reading »

Thank you, Mr. Amend, for giving the dangers of electronic voting machines some much-needed press. The more people who are informed about such a frightening threat to our democratic process, the better. In an attempt to convince a complacently skeptical … Continue reading »