1AI thinks your code is correct, but it can not prove it (opens in new tab)(predictablemachines.com)4jorgegalindo2mo ago1
2Fundamental Principles Behind a Trustworthy AI Code Verification Platform (opens in new tab)(predictablemachines.com)1jorgegalindo3mo ago1
3How to improve your productivity by 200% in just 9 months (opens in new tab)(jorgegalindo.me)2jorgegalindo3mo ago2
4Do not try to be the smartest in the room; try to be the kindest (opens in new tab)(jorgegalindo.me)455jorgegalindo1y ago247
5Food, Love, and Team-Building: Bringing People Together (opens in new tab)(jorgegalindo.me)1jorgegalindo2y ago1
6The Enjoyable Challenge of Managing Uncertainty (opens in new tab)(jorgegalindo.me)2jorgegalindo2y ago1
7What we learned organizing conferences. A look inside Lambda World (opens in new tab)(jorgegalindo.me)1jorgegalindo2y ago1
