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