Just so for the record
I hate @vkhosla. I was being exploited as an underage employee at one of his startups and he never replied to my email instead continued to fund them and they tried to sue. Fuck you dude.
Avi Wigderson is the only person in history to have won both a Turing Award (computer science) and Abel Prize (math). I interviewed him all about his field. We discussed:
• His intuition on a proof of P vs NP
• Why we use SAT solvers for most NP problems
• Zero knowledge proofs and their impact
• Quantum computation and implications
• Math and computer science's relationship
Where to watch:
• YouTube: youtu.be/5GUcvSAJcJw
• Spotify: open.spotify.com/episode/4JZrdA…
• Apple Podcasts: podcasts.apple.com/us/podcast/the…
• Transcript: developing.dev/p/turing-award…
Thank you to this episode's sponsors for supporting my work:
• WorkOS: makes your app Enterprise Ready with easy to use APIs to add SSO, SCIM, RBAC, and more in just a few lines of code, check them out at workos.com
Timestamps:
00:00 - Intro
01:08 - P vs NP
14:51 - What if you relaxed correctness
25:38 - Why NP complete problems are equivalent
30:33 - Space vs time complexity
43:06 - Why people use SAT solvers
45:53 - Randomness is a resource
55:48 - Randomness depends on computational power
01:21:20 - Zero knowledge proofs and their significance
01:38:30 - Quantum computation and why it matters
01:56:24 - Math vs computer science
02:08:16 - Major breakthroughs and his experience
02:12:31 - Advice for his younger self
02:14:48 - Outro
@PolycomputingAI I have lots to say about the atrocities being committed by Bibi Netanyahu in the name of the Israeli people. It must end. And there must be a two state solution. There must be a way for Palestinians and Israelis to live in peace. The murder of innocents is murder period.
@ShujaaAzmi lol you have no clue what you are talking about. GH was historically ruled by Kashmiri Dogra with a governor appt. This is well documented across so many sources.
Pakistan’s diplomatic efforts between the U.S. and Iran have helped prevent a return to full-blown war.
The EU is ready to contribute to a sustainable and peaceful resolution.
We bring economic leverage, hard-won nuclear expertise, longstanding relationships with Gulf partners, and direct engagement with Iran itself.
My press remarks with @MIshaqDar50 in Islamabad ↓
Local minima are rare in high dimensions because a strict local minimum has to curve upward in every direction, so all Hessian eigenvalues must be positive.
In a D-dimensional toy model where eigenvalue signs are independent, that’s a 2^(-D) event. In GOE-like random matrix models, positive definiteness is even rarer, roughly exp(-cD^2).
So as dimension grows, random critical points are much more likely to be saddles than minima. This is one reason high-dimensional optimization is often a saddle-escape problem, not a bad-local-minimum problem.
Wrote up some of the math here: grantstenger.com/local-minima
@mehroozw congress leaders snubbed a more senior Jinnah for Gandhi, did poverty politics and ensured pakistan was hostile by not giving pakistan its share at independence?
854 Followers 264 FollowingLife is an adventure and passion is its compass. In my free time I have many hobbies: 🌐Travel Movies Hiking Golf............
4K Followers 2K FollowingReluctant anthropologist studying Earth. My findings are weird. My translator needs an update. This is my log. #RoviHere
https://t.co/fTeSPGLAjF
452 Followers 665 Following🇩🇪 Berlin - Christ is King ⚜️✝️👑☦️⚜️ – G oy Vey !
They said Noah was a crazy conspiracy theorist. Then the rain came and the fact-checkers drowned.
594 Followers 2K FollowingConscious 💯 -The brain doesn’t care what’s “true”—it builds what you give it. Feed it your definition consistently, and it complies -Grok 3
951 Followers 1K FollowingAmateur Birdwatcher/Photographer, Genealogist, Gamer, Full time caregiver for my terminally ill husband. Politically homeless. Zionist
2K Followers 6K FollowingThree proprietary strengths that competitors cannot replicate.
TOTAL RECALL | DEEP CONTEXT | HUMAN SCALE
https://t.co/s92qbDXR3d
4K Followers 99 Followingidiot. cuda og, harvard val, morgan prize, society of fellows, 1 hilbert problem so far, creating friendly, SAFE, delightful, supergenius ..things @anthropicai
8K Followers 3K Following🇷🇴 Ambassador to 🇵🇰, former Head of @EUinSyria @eu_eeas 🇪🇺, minister delegate @MAERomania , ambassador to 🇹🇳 & diplomat to🇱🇧🇪🇸, PolSci PhD
3K Followers 18 FollowingStarted two multi-billion dollar tech companies (Align, Afiniti). Took four companies public (Align, TRG, Ibex, DGS). Columbia BA and Stanford MBA.
18K Followers 3K FollowingWrote first LLM application platform (Cognosis). Former CIO @Hover_Networks. Former CTO @tryusercue. 35 years of writing code.
AGI @ https://t.co/Oflrx9hUKw