HN Explorer

jorgegalindo

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