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.
He mentioned in the keynote being able to do your own datastructures by raw access to the data and primitives like seeks and next/prev .
Sounds like it's at least planned, if not roughed in.
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.
Do you really feel like 4GB of RAM is enough? And do you happen to know if there are any Chromebooks that have upgradeable RAM? What kind of development do you primarily do on your Chromebook? I've been thinking about switching to a Chromebook, but I don't know if it's right for me just yet.
It depends on what you're doing. But there's a whole world out there of people being very productive on 4GB MacBook Airs, and Ubuntu uses far less memory than OS X.
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.
He hasn't been able to adjust the screen backlighting, says he's got to try that again, with that issue it gives him 4-5 hours between recharges vs. the reported ~8 in the above linked item.
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.
Pret A Manger (a sandwich chain) used to do something like this in NYC a few years back. Everything you bought would have an odd price like $7.13 or $10.32 so that once everything was rung up, your total was always a multiple of 25 cents. I loved the idea but I guess they found some problems with it because they eventually stopped doing it - it would be interesting to know why.
In addition, can anybody suggest something more along the lines of Jeffrey Richter's CLR via C# for the JVM/Java? CLR via C# covers a wide range of topics about how garbage collection, threading, appdomains, etc. work under the CLR using examples from C#, which I think would be more useful for learning what you need to know about Java and the JVM than your typical Java programming book.
I'd spend more time on the written docs, and I definitely wouldn't replace written docs with screencasts. Especially for how-to documentation, people want to skim first, then go back and follow the steps themselves, and the latter part is more difficult with a screencast.
As a side note, I only really watch screencasts for stuff that I'm already very interested in. Watching a video means plugging in/finding headphones if I'm in the office and making a commitment of a couple of minutes.
