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 compaction, but it's actually a surprisingly competitive solver as is.

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 to implement RDB/AOF serialization for those).

Are there plans for that? It's probably possible to do most of that with this module system but you'd have to serialize the data structure into a string and "type X" wouldn't return your custom data structure type.

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, docker builds, etc.) while keeping Chrome open with a few dozen apps including a few gmail and chat windows open.

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 setup comes in under $300: buy a certified refurbished Acer C720 from Acer with 4GB RAM and 16GB SSD (http://www.amazon.com/gp/product/B00L87JC80) and, separately, a 128GB MyDigitalSSD (http://www.amazon.com/gp/product/B00EZ2E8NO). Replace the SSD and install this custom-made Ubuntu distro that includes all of the fixes for the C720: https://www.distroshare.com/distros/get/12/. And that's it!

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 malware!"), and feature requests ("3 stars. I'll give you four stars once you implement feature X") that it makes me wonder if people with close to 5-star ratings are just buying ratings from farms of people somehow.

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 that you place your ads at the end of a user action, as in, once they've played a few rounds of a game, present them with their score and an ad. I think that's exactly what Angry Birds does.