ecyrb
[1]: https://smile.amazon.com/Style-Clarity-Chicago-Writing-Publi...
HUE is a similar but different alternative. The "search" tab has some great demos, but appears to be down atm: http://demo.gethue.com/
http://www.youtube.com/watch?v=CmPw7eo3nQI
The core of the xmonad window manager was verified with Coq (PDF):
http://www.staff.science.uu.nl/~swier004/Publications/Xmonad...
"Most of the solutions for this assignment can be written as one-liners. If you have more, you probably need to rethink your solution. In other words, this assignment needs more thinking (whiteboard, pen and paper) than coding ;-)."
Is it not entirely possible that they're getting some false positives?
You might be interested in viper mode [1], or another one of the VI emulation modes for emacs.
Available here: http://www.tor.com/stories/2008/08/weak-and-strange
http://www.economist.com/node/17251850?story_id=17251850&...
http://www.economist.com/node/17252006?story_id=17252006&...
CapsLock key = Backspace (I hate that reach)
Tilde key = Escape (for VI)
Escape key = CapsLock (for when you need it)
Backspace key = Tilde
My windows keys also function as Control, so that I don't have to be super accurate when using my pinky joint (where my pinky meets my palm) to press it.
Ask HN: Can we get a "hide story" button?
Maybe an "unhide all" button in the event we hide something unintentionally?
Economics in One Lesson
But, I just find that Java makes life easier. For example, you don't have to worry about endianess issues. You don't have to worry about portability (as long as you can run a JVM). You can serialize objects across the network easily, and if you want to do stuff like RPC, there's Cajo.
On the C++ side, you have stuff like LAPACK? Though I'm not too sure about this stuff...
Also, Google's Protocol Buffers project is quite helpful in passing data around. (C++, Java, Python, in any combination)
Eclipse for Java.
Visual Studio for C++ on Windows. Netbeans everywhere else?
I am constantly dissapointed with my tools.
(edit) ViEmu for Visual Studio is excellent. I'm not sure if it's Eclipse or viPlugin for Eclipse, but one of them is laggy.
(edit) In all honesty, skennedy makes a very good point. C# does seem to be gaining popularity. (And yes I'm aware of the Mono project.) Frankly, I just don't trust Microsoft. There have been compatibility issues with migrating between early versions of the .NET framework, and the end of Visual Basic left a bad taste in many mouths.
Our developers use Java (mostly).
Our research department uses whatever they are most comfortable with for research, but the result of their research is coded up in C++. If we had to do it over, we'd probably do everything in Java. Misc. notes:
Personally, I am WAY more productive in Java.
I supplement Java with Clojure.
I find the performance penalty for using Java is pretty-much negligible. It's always how you do it that matters more than what language you do it in. Don't use Java Generics for number crunching though... use a dedicated primitives collection library like Colt.
Java and C++ are quite similar in some respects. I would say though, that it's easier to go from C++ to Java, than from Java to C++.
Best C++ books:
Accelerated C++ by Andrew Koenig and Barbara E. Moo
Effective C++ by Scott Meyers (make sure you get the 3rd edition)
Best Java books:
Effective Java by Joshua Bloch
Java Concurrency in Practice by Brian Goetz, Tim Peierls, Joshua Bloch, and Joseph Bowbeer
If you have to use C++, start using the Boost C++ libraries early on. You can learn a great deal just by using the Boost libraries, and reading their documentation.
"Send me your resume, and I will make sure it gets to the right person."
I won't actually forward the resume on, but I usually look at the resume for curiosity - and if it's a friend I might send them a few pointers on how they could improve their resume. Pick the "Don't eat where you shit", "Don't mix business and pleasure", or whatever cliche you prefer.
Are you lying when you do this? Maybe. If they're not a good candidate, you might as well be the "right person" to discard their resume.
Alternatively, you could say something like:
"I had a bad experience recommending a friend, so I make it a personal rule that I don't do it anymore."
(I would probably make an exception for exceptional people.)
That's when it really hit me.
(Though I think Oracle have changed the icon back since.)