1AI thinks your code is correct, but it can not prove it (opens in new tab)(predictablemachines.com)4jorgegalindo14d ago1
2Fundamental Principles Behind a Trustworthy AI Code Verification Platform (opens in new tab)(predictablemachines.com)1jorgegalindo1mo ago1
3How to improve your productivity by 200% in just 9 months (opens in new tab)(jorgegalindo.me)2jorgegalindo1mo 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)1jorgegalindo1y ago1
6The Enjoyable Challenge of Managing Uncertainty (opens in new tab)(jorgegalindo.me)2jorgegalindo1y ago1
7What we learned organizing conferences. A look inside Lambda World (opens in new tab)(jorgegalindo.me)1jorgegalindo1y ago1