The Checker Framework

Are you tired of null pointer exceptions, unintended side effects, SQL injections, concurrency errors, mistaken equality tests, and other run-time errors that appear during testing or in the field?

The Checker Framework enhances Java’s type system to make it more powerful and useful. This lets software developers detect and prevent errors in their Java programs. The Checker Framework includes compiler plug-ins (“checkers”) that find bugs or verify their absence. It also permits you to write your own compiler plug-ins.

The Checker Framework.

Git – Git Book online

The entire Pro Git book, written by Scott Chacon and published by Apress, is available here. All content is licensed under the Creative Commons Attribution Non Commercial Share Alike 3.0 license. Print versions of the book are available on

via Git – Book.


Underscore is a utility-belt library for JavaScript that provides a lot of the functional programming support that you would expect in Prototype.js (or Ruby), but without extending any of the built-in JavaScript objects. [..] Underscore provides 80-odd functions that support both the usual functional suspects: map, select, invoke — as well as more specialized helpers: function binding, javascript templating, deep equality testing, and so on. It delegates to built-in functions, if present, so modern browsers will use the native implementations of forEach, map, reduce, filter, every, some and indexOf.


Remote Debugging – Chrome Developer Tools — Google Developers

The experience of your web content on mobile operates very differently than what users experience on the desktop. The Chrome DevTools allow you to inspect, debug, and analyze the on-device experience with the full suite of tools you’re used to, meaning you can use the tools in your desktop Chrome to debug a page on mobile Chrome.

Debugging occurs over USB and as long as your mobile device is connected, you can view and change HTML, scripts and styles until you get a bug-free page that behaves perfectly on all devices.

Remote Debugging – Chrome Developer Tools — Google Developers.

How to enable USB debugging mode on all Android 4.2 Jelly Bean and higher devices (Nexus 4, Nexus 10, Nexus 7, etc.) [Guide] | Reviews, news, tips, and tricks | dotTech

Sag das Zauberwort!

Open up your device’s “Settings”. This can be done by pressing the Menu button while on your home screen and tapping “System settings”

Now scroll to the bottom and tap “About phone” or “About tablet”.

At the “About” screen, scroll to the bottom and tap on “Build number” seven times.

Make sure you tap seven times. If you see a “You are now a developer!” message pop up, then you know you have done it correctly.

via How to enable USB debugging mode on all Android 4.2 Jelly Bean and higher devices

Bean Validation: Bean Validation roadmap

Bean Validation standardizes constraint definition, declaration and validation for the Java platform. Its first incarnation has been widely popular amongst the Java community in both SE and EE environments.

Being a version 1.0, Bean Validation stayed on the conservative side feature wise. The community has expressed interest in additional features to enhance the work done in the first version of the specification.

via Bean Validation: Bean Validation [1.1] roadmap.

pocorall/scaloid · GitHub

Scala is cool. Writing Android applications with Scala is also a cool idea. Because Android exposes Java APIs, we need some utility library to leverage full power of Scala. Scaloid is a library aimed to simplify your Android code.

For example, the code block shown below:

val button = new Button(context)
button.setOnClickListener(new OnClickListener() {
  def onClick(v: View) {
    Toast.makeText(context, "Hello!", Toast.LENGTH_SHORT).show()

is reduced to:

SButton("Greet", toast("Hello!"))

pocorall/scaloid · GitHub.

gleitz/howdoi · GitHub

Are you a hack programmer? Do you find yourself constantly Googling for how to do basic programing tasks?

Suppose you want to know how to format a date in bash. Why open your browser and read through blogs when you can just…

$ howdoi format string bash

> [foo@bar ~]$date –date “2012-02-13″ +%s

> 1329055200

> [foo@bar ~]$date –date @1329055200

> Mon Feb 13 00:00:00 EST 2012

> [foo@bar ~]$date –date @1329055200 +”%Y-%m-%d”

> 2012-02-13

via gleitz/howdoi · GitHub.