@jameschip @dabeaz obviously being productive is much more important than being happy. 🙄