There’s less drudgery at the Labor department thanks to this tech chief