Y Hacker News new | ask | show | jobs

user: jorgegalindo created: 2018-01-15 karma: 172 submissions: 0 points | 0 comments 0 points | 0 comments AI thinks your code is correct, but it can not prove it 4 points | 1 comments 0 points | 0 comments Fundamental Principles Behind a Trustworthy AI Code Verification Platform 1 points | 1 comments 0 points | 0 comments 0 points | 0 comments How to improve your productivity by 200% in just 9 months 2 points | 2 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments Do not try to be the smartest in the room; try to be the kindest 455 points | 247 comments 0 points | 0 comments Food, Love, and Team-Building: Bringing People Together 1 points | 1 comments 0 points | 0 comments The Enjoyable Challenge of Managing Uncertainty 2 points | 1 comments 0 points | 0 comments What we learned organizing conferences. A look inside Lambda World 1 points | 1 comments 0 points | 0 comments