[GUEST ACCESS MODE: Data is scrambled or limited to provide examples. Make requests using your API key to unlock full data. Check https://lunarcrush.ai/auth for authentication information.]

[@raulraja](/creator/twitter/raulraja)
"@Jorge__Galindo and I will be at @Lambda_World this week. Excited to reconnect with friends from the Functional Programming and Formal Verification communities. @AIPredictable is hiring If youre curious about our work lets connect and chat in person at Lambda World"  
[X Link](https://x.com/raulraja/status/1980250643496382597) [@raulraja](/creator/x/raulraja) 2025-10-20T12:31Z 5065 followers, XXX engagements