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