Viewing profile — aaw

This one's 250 understandable lines: https://github.com/marijnheule/microsat . You could probably get it to below 200 lines if you removed the restart logic and learned clause comp…

This looks interesting. I've only glanced at the docs, but it looks like this module system lets you define new commands but not necessarily new data structures (since you'd have t…

Yeah, it's enough for me. It's my primary development machine by choice, and it's enough to do anything I need at a terminal (running emacs, developing and testing rails servers, d…

After going through several Linux laptops over the past decade, including a couple of Thinkpads, I agree. My current Chromebook running Ubuntu is by far my favorite. The whole setu…

The best of all the conspiracy theories was http://pastebin.com/9catw4X7 .

I really like the /classic front page view. Could we try a similar comment view as well, with votes only counted from users who've been here for at least a year?

The Android Market has a similar problem. There is such a large proportion of reviews that are complaints about failed downloads, scare tactics from competitors ("This app installs…

I get anywhere from 1%-3% clickthrough, depending on the app, with AdMob. Whether your ads blend in with your app and where you place your ads affects this rate. AdMob recommends t…