| user: | jorgegalindo |
| created: | January 15, 2018 |
| karma: | 172 |
| 1. | |
| 2. | AI thinks your code is correct, but it can not prove it(predictablemachines.com) |
| 3. | Fundamental Principles Behind a Trustworthy AI Code Verification Platform(predictablemachines.com) |
| 4. | How to improve your productivity by 200% in just 9 months(jorgegalindo.me) |
| 5. | |
| 6. | |
| 7. | |
| 8. | |
| 9. | Do not try to be the smartest in the room; try to be the kindest(jorgegalindo.me) |
| 10. | Food, Love, and Team-Building: Bringing People Together(jorgegalindo.me) |
| 11. | The Enjoyable Challenge of Managing Uncertainty(jorgegalindo.me) |
| 12. | What we learned organizing conferences. A look inside Lambda World(jorgegalindo.me) |