Two mathematicians at lunch, trying to understand modern AI
Two accomplished mathematicians sit down for coffee and try to understand the modern AI paradigm. No panic. No hype. No pitch deck. Just proof-minded people watching an industry confuse probability with intelligence, benchmarks with truth, and agents with accountability. A light-hearted conversation about the clown show — and why the future belongs to systems that can prove behaviour under pressure. #ECAI #DamageBDD #AI #Mathematics #DeterministicAI #FormalVerification #Cryptography #EllipticCurves #BDD #Verification #TechLeadership #SoftwareEngineering #Nostr #LinkedIn
I LOVE YOU, MOVE IN WITH ME TO NOSTR
We deserve a better online experience than the one we’ve been forced to swallow. If we all move to #nostr, we all win. This article tries to describe all the reasons why I want the people I love and appreciate to move to Nostr with me.
