Writing an Answer Set Solver
Part 1: Beginning writing a SAT solver Short intro I want to write an answer set solver. Without having to become an amateur logician scouring through Wikipedia, though, just what is that? Answer set solving is a programming paradigm where you describe convoluted logistics problems (or really any really really hard problem, to use the technical jargon) in a particular syntax and out comes a...
Women in Computer Science
Please note: this is something of a sociological discussion based entirely on my own observations and implications derived without much external research. I am not presenting this as fact, necessarily, but I do think that someone with more knowledge should tell me if I’m a jackass or not. I humbly concede to any evidence to the contrary. Ever since I took rather eye-opening courses on math...
Electric cars: responses to arguments
The following is an excellent post from Slashdot about electric cars. I think this covers most of the bases. Thanks to user vlm, whoever you are. Well lets get the standard arguments out of the way so newer, more interesting discussions can happen 1) It ONLY GOES 150 MILES? I always drive 151 miles per trip, even if its only to the corner store I drive around the block 604 times because I...
Abstract Algebra is easy!
It couldn’t be simpler. Abstract algebra is a generalization of the boring algebra you learned in school to do cool shit, like make funny YouTube videos appear on your computer. That’s because abstract algebra, along with set theory, discrete mathematics, and other related topics, form the basis of computer science. That greasy kid you knew in high school who said he knew Java and...
Very happy with my decision to start waking up before sunrise. A disproportionate number of sunsets can kill a man.
MPAA lying to Judiciary Committee →
Choice quote: “Over 2 million Americans across all 50 states earn a living and support their families in jobs connected to the making of motion pictures and television shows.” There are not 2 million people in that industry. Not even close. Visit Maddox’s page for more information.
Gödel's Incompleteness Theorem for 12-yr-olds →
This is one of the greatest mathematical achievements ever. Written for 12-year-olds.
Stop SOPA/PIPA or whatever the nimrods decide to rename it.
A parable for the last semester of college
A student in a computer science class once interrupted a particularly uneventful portion of a long proof. The class was titled “Analysis of Algorithms” and the professor was taking great, if at times tedious, care to ensure that nothing was magical. He usually wore a somewhat nice collared shirt, khakis, dress shoes, and a tie. Perpetual interviewer, I suppose, trying to impress...
“Flight of the Valkyries” is the perfect music to start your day.
Rick Santorum doesn't know what sex is for →
That’s okay; I don’t really want him having it, anyway.
Eight ordinary people - none of them nudists - were recently brought together...– BBC (via odalalengua) The human body is beautiful and nobody should ever feel shame for displaying it tastefully. I can expose my thoughts in both polite and vulgar manners, and I can expose my body similarly. That said if you’re going to be nude in a common area, bring a towel. Hygiene...
How to think about Algorithms →
Very cool read that popped up in my reading list this morning. Attribution is in the linked document.
The Big Lebowski quote-along was like, uh, you know, shit, man.
So, what’s the intelligent argument against legalizing weed again?
Saturday night: testing my kombucha and mapping out a software project. I live fast and furious.
If cops had done their jobs, Esme Barrera might... →
But they didn’t. I’ve had nothing but negative encounters with local law enforcement but I never thought they’d drag-ass on an assault call.
Police murder unarmed 15 year old →
Oh, sorry, he had a pellet gun. Cops seem to have this thing against using tasers when it’s actually appropriate.
Spread the Santorum →
This is an excellent site with a succinct definition of a rather obscure word. I hope more people link to this site for Santorum!
So you want to learn Perl: get a sane setup
Ignore this and skip to my Rainbow Connection recording if you don’t program. This turned into a novel Here is my recommendation: Read everything up to the “Packages” section. Read Programming Perl, 3rd Edition (the “Camel book” written by Perl’s author). First 10 chapters or so are good. You can read it online for free at Safari books. Read the rest of...
This is my first attempt at recording a song. I...
You think that I could muster up a little soft-shoe gentle sway? Well, I don’t feel like dancing. No sir; no dancing today.
I started a project recently called FlyerMe. The goal of FlyerMe was not actually to make some indispensable and useful tool for man-kind. It was simply an exercise in getting a product out the door in 24 hours. What does it do? FlyerMe lets you create simple flyers but with a twist: instead of printing out all the information, you print out the header and a special QR code containing a link to...
2012 you’ve started off very pretty!
Spinning under the tree was fun last night! Every new year should start so whimsically.