Beck overturned conventional programming wisdom. Now, he's looking toward tech's trickier problems.