Ask HN: How to deal with unproductive team lead/coworker