Podcasts about prover

Identity drift creates hidden burnout and role fatigue. You wonder if it's too late — or if you're too much. This episode reframes expansion as permission, not proving, through Identity-Level Recalibration.Burnout recovery isn't always about doing less — sometimes it's about releasing outdated roles that keep you playing small. High-capacity humans often carry the quiet weight of decision fatigue, role confusion, and identity drift. On the outside, you've built a life of success. But inside, you wonder: Am I too late? Am I too much? Do I even have permission to expand?In this episode of The Recalibration with Julie Holly, Julie unpacks why hidden burnout often comes from disqualification scripts: the Prover chasing validation, the Pleaser shrinking to keep peace, the Perfectionist editing presence until it feels flawless. These roles keep the nervous system scanning for external approval, draining your energy before you even start.Through the pathway of Identity-Level Recalibration (ILR), your nervous system learns a new story: expansion isn't arrogance, it's alignment. ILR isn't another mindset tactic — it's the root-level recalibration that makes every other tool work again. Coaching might help you strategize expansion, but only recalibration gives you permission to embody it.Faith reminds us: there is a season for everything, and you are right on time. Expansion doesn't mean leaving others behind — it means multiplying fruit for those you're called to serve.Today's Micro Recalibration: “What would change if I trusted that I am right on time, with enough space to grow?”If this episode gave you language you've been missing, please rate and review the show so more high-capacity humans can find it. Explore Identity-Level Recalibration→ Follow Julie Holly on LinkedIn for more recalibration insights → Schedule a conversation with Julie to see if The Recalibration is a fit for you → Download the Misalignment Audit → Subscribe to the weekly newsletter → Join the waitlist for the next Recalibration cohort This isn't therapy. This isn't coaching. This is identity recalibration — and it changes everything.

Decision fatigue and role confusion often show up in the body first. If growth feels unsafe or expansion feels overwhelming, this episode explains how recalibration retrains your nervous system to embrace alignment instead of fear.Why does growth feel unsafe even when you know it's right? For many high-capacity humans, the barrier to expansion isn't strategy or skill — it's the nervous system itself.In this episode of The Recalibration, Julie Holly unpacks why the body often resists aligned growth. Neuroscience explains it through predictive processing and the reticular activating system (RAS) — the brain prefers what it can predict, even if it's unfulfilling. That's why new opportunities trigger anxiety, decision fatigue, and self-protection.Through personal stories of endurance cycling and the challenges of marriage, Julie shows how resistance reveals deeper scripts like Prover or Performer. And through the story of Brian Chesky, cofounder of Airbnb, you'll see how expansion that once felt unsafe can become the pathway to global transformation.Here's where Identity-Level Recalibration (ILR) shifts everything. Your nervous system is wired for survival, not alignment. ILR re-patterns this response, teaching your body that newness doesn't equal danger — it equals alignment. Unlike mindset tactics or productivity hacks, ILR is the root-level recalibration that makes every other tool effective.If success feels empty, if you're exhausted by performance pressure, or if you've been resisting growth because it “feels risky,” this episode will help you see what's really happening — and how to lead yourself and others into expansion that lasts.Today's Micro Recalibration:Where is my body confusing risk with danger?How can I reassure it that growth is safe?As a leader, how might I help my team reframe risk as alignment?If this episode gave you language you've been missing, please rate and review the show so more high-capacity humans can find it. Explore Identity-Level Recalibration→ Follow Julie Holly on LinkedIn for more recalibration insights → Schedule a conversation with Julie to see if The Recalibration is a fit for you → Download the Misalignment Audit → Subscribe to the weekly newsletter → Join the waitlist for the next Recalibration cohort This isn't therapy. This isn't coaching. This is identity recalibration — and it changes everything.

Burnout recovery starts with identity. If success feels empty or you fear it's too late to grow, this episode reveals why expansion isn't arrogance—it's alignment. Discover the root-level recalibration that restores clarity and courage.Do you ever wonder if it's too late to make a change—or fear you'll be too much if you step into the expansion you feel called to? High-capacity humans often hit this hidden ceiling, not in opportunity, but in permission.This episode of The Recalibration speaks directly into that quiet inner dialogue: Did I miss my window? Who am I to do this? Drawing on the story of Colonel Sanders, who franchised Kentucky Fried Chicken at 65 after more than a thousand rejections, Julie Holly reframes the cultural script of “too late.”You'll discover how Identity-Level Recalibration (ILR) dismantles outdated roles like Prover, Performer, Provider, and Perfectionist—the very identities that keep leaders stuck in role confusion, decision fatigue, and spiritual exhaustion. Neuroscience confirms what faith reveals: when you recalibrate identity, the nervous system learns that newness doesn't equal danger—it equals alignment. That's when expansion shifts from fear to fruit.Unlike surface-level productivity tactics or mindset hacks, ILR is the root-level recalibration that makes every other tool effective. Expansion isn't about proving your worth; it's about receiving the permission that was already yours—and realizing the cost of staying small is too high, not just for you but for those you're called to serve.Today's Micro RecalibrationWhere have I been telling myself it's too late to grow?What if the opposite is true—that right now is exactly on time?As a leader, how might my willingness to expand unlock permission for those around me?If this episode gave you language you've been missing, please rate and review the show so more high-capacity humans can find it. Explore Identity-Level Recalibration→ Follow Julie Holly on LinkedIn for more recalibration insights → Schedule a conversation with Julie to see if The Recalibration is a fit for you → Download the Misalignment Audit → Subscribe to the weekly newsletter → Join the waitlist for the next Recalibration cohort This isn't therapy. This isn't coaching. This is identity recalibration — and it changes everything.

→ dorenato.com // seguimos viajando

Nosso Deus é o Jeová Jiré - o Deus que provê. Pastora Elaine nos encoraja a crer e viver de tal forma, com total dependência e segurança no Senhor! Sê abençoado por essa mensagem e compartilha com alguém!

On the latest Mortcast, Jeff talks about the Joe Smith Cap Circumvention case and why it's different from the Ballmer/Kawhi situation. Also Jeff talks about why it's so hard to prove circumventing the cap without an absolute smoking gun. Enjoy the show!

“E disse Abraão: Deus proverá para si o cordeiro para o holocausto, meu filho.” – Gênesis 22:8E talvez esteja se perguntando: “Como vou conseguir?”A resposta é: Deus já tem a provisão preparada.

Graça e Paz, Todos os dias renascem com uma nova esperança!Apóstolo Júnior Neri.

Galbūt ateityje jums paskambins dirbtinis asistentas su klausimu – ar šiandien mankštinotės? O po mirties savo kūną galėsime užšaldyti, su idėja vėl kažkada prisikelti. Skamba kaip mokslinės fantastikos scenarijus, tačiau jau dabar dalis su mūsų sveikata ir kasdienybę susijusių technologijų tampa realybe. Pokalbis su litvake, sveikatos technologijų startuolių vystytoja Amit Goldman, dirbančia tarp Silicio slėnio ir Lietuvos.Ved. Ignas Klėjus.

In this episode we talk with Nicolas Tabareau, the Head of Gallinette, one of the main teams which develop the Rocq theorem Prover at Inria. The original idea of this interview is to talk about the rebranding from Coq into Rocq, which is very exciting to our community. However, Nicolas has such a prolific research career that I couldn't miss the opportunity to get him to talk so much more about it. So in this conversation we talk about his early publications in neuroscience, his views on Category Theory applied to Type Theory, Rocq's rebranding, and the institution around it, MetaRocq and the conceptual boundaries of certifying a theory inside itself. Of course we wouldn't miss the opportunity to also discuss how Rocq view the growing influence that Lean is gaining in our community. Links Type Theory Forall Store Type Theory Forall Website Nicolas Tabareau Website MetaRocq Github

Patirties ir šeimos vienybės Zakų šeimos aruode netrūksta. Ūkio pradininkas Kęstutis Zakas sako, kad žemę pradėjo dirbti su arkliu, o štai dabar gali pasidžiaugti ir ūkyje dirbančiu robotu, kuris leidžia išvengti sunkaus rankinio darbo. Zakai augina mėgstamiausias lietuvių daržoves: bulves, morkas, agurkus, kopūstus ir kita bei jas perdirba. Lietuvos daržovių augintojų asociacijos direktorė Indrė Lukoševičienė pabrėžia investavimo į technologijas svarbą.10 metų seniausią Spelta kviečių veislę auginantis biodinaminio ūkio savininkas Arūnas Martinėlis iš Levandiškio kaimo, Širvintų rajone, įsirengė ir malūną. Iš Spelta miltų galima iškepti ekologiškas bei visavertę maistinę vertę turinčias bandeles, blynus, duoną.Rubrika „Gamtininko komentaras“. Aukštaitijos nacionalinis parkas ir Labanoro regioninis parkas pasižymi labai turtinga laumžirgių fauna. Šiuose parkuose gyvena 61 laumžirgių rūšis iš 69 aptiktų Lietuvoje. Kuo laumžirgiai svarbūs stebint klimato kaitos procesus papasakos aplinkosaugininkas Andrejus Gaidamavičius.Ved. Rūta Simanavičienė

Meditação de 17 de abril de 2025Extraída do devocional Manancial, publicação da União Feminina Missionária Batista do BrasilTítulo: Meus Deus proveráTexto: Ney LadeiaLeitura e Edição: Samuel LimaBG: A voz de Jesus (384 CC) - "In the garden" by Josh Snodgrass

What if your brain is less like a truth detector and more like a belief-confirming machine? In this episode, we dive into one of Robert Anton Wilson's most potent mind-bombs: the Thinker-Prover dynamic from Prometheus Rising.Your Thinker forms beliefs. Your Prover goes out and finds the evidence. Whatever you believe—threat or magic, doom or synchronicity—your Prover will prove it. That's not just metaphor; it's the engine behind your reality tunnel.We explore:The brain as a bio-computer with confirmation biasReality tunnels and how they're builtBelief as a tool—not a truthHow to practice belief engineering as a path to freedomThis isn't about being right—it's about being free. About wielding belief like a magician, not wearing it like a leash. Listen now and install a new lens. Reality's more malleable than you think.

If you've heard me speak for more than five minutes you've probably caught me dropping a Robert Anton Wilson reference (or several). Wilson is one of the most interesting (and underappreciated) writers I've ever come across — a Nostradamus for modern times. I was delighted to sit down with Gabriel Kennedy, author of the excellent biography Chapel Perilous: The Life and Thought Crimes of Robert Anton Wilson. I could talk about this stuff for days, and we had a blast discussing Wilson's ideas, influence and impact. Consider it a beginner's guide to avoiding cosmic schmuckery. I hope you enjoy this conversation as much as I did. For the full transcript, episode takeaways, and bucketloads of other goodies designed to make you go, “Hmm, that's interesting!”, check out our Substack. Important Links: Chapel Perilous: The Life and Thought Crimes of Robert Anton Wilson; by Gabriel Kennedy The Thinker and the Prover; by Jim O'Shaughnessy Gabriel's Substack Show Notes: The most interesting man of the last fifty years? How can we escape chapel perilous? The anti-determinist, rock & roll philosophy of Bob Wilson Tune in: a 30 minute masterclass on the influences, ideas and impact of Robert Anton Wilson How to avoid becoming a cosmic schmuck Who influenced Wilson the most? Why you should read Wilson Gabriel as World Emperor MORE! Books & Articles Mentioned: The Thinker and the Prover; by Jim O'Shaughnessy Chapel Perilous: The Life and Thought Crimes of Robert Anton Wilson; by Gabriel Kennedy Prometheus Unbound by Robert Anton Wilson Quantum Psychology: How Brain Software Programs You and Your World by Robert Anton Wilson The Illuminatus! Trilogy by Robert Anton Wilson and Robert Shea Cosmic Trigger Volume I: Final Secret of the Illuminati by Robert Anton Wilson The New Inquisition: Irrational Rationalism and the Citadel of Science by Robert Anton Wilson Prometheus Rising by Robert Anton Wilson Quantum Psychology: How Brain Software Programs You and Your World by Robert Anton Wilson The Waste Land by T. S. Eliot From Ritual to Romance by Jessie L. Weston Finnegans Wake by James Joyce Science and Sanity: An Introduction to Non-Aristotelian Systems and General Semantics by Alfred Korzybski On the Einstein Podolsky Rosen Paradox; by John S. Bell How the Hippies Saved Physics: Science, Counterculture, and the Quantum Revival by David Kaiser Character Analysis by Wilhelm Reich Man Meets Dog by Konrad Lorenz

 In this week's roundup, the Roundup crew discusses the launch of Unichain, Succinct's Prover Network testnet, and the economics of being a prover. Additionally, they “A Crisis of Trust”, and how ZKPs can be applied outside of crypto. Finally, they end the episode with discussion on BOLD and fault proofs. Enjoy! Resources Succinct's Prover Network Testnet Announcement: https://x.com/SuccinctLabs/status/1888999158541087134  A Crisis of Trust: https://x.com/SuccinctLabs/status/1889749373854294295 – Join us at DAS NYC 2025!  Use code EXPANSION10 for a 10% discount: https://blockworks.co/event/digital-asset-summit-2025-new-york - - Follow Jill: https://x.com/jillrgunter Follow Nick: https://x.com/nickwh8te Follow Uma: https://x.com/pumatheuma Follow Mike: https://x.com/MikeIppolito_ Follow Expansion: https://x.com/ExpansionPod_ Subscribe on YouTube: https://www.youtube.com/@ExpansionPod Subscribe on Apple: http://apple.co/4bGKYYM Subscribe on Spotify: http://spoti.fi/3Vaubq1 Get top market insights and the latest in crypto news. Subscribe to Blockworks Daily Newsletter: https://blockworks.co/newsletter/ -- Timestamps: (00:00) Introduction (02:42) Unichain Goes Live (27:00) Succinct's Prover Network Testnet (33:07) Economics of Being a Prover (43:13) A Crisis of Trust (56:55) BOLD & Fault Proofs - - Disclaimer Expansion was kickstarted by a grant from the Celestia Foundation. Nothing said on Expansion is a recommendation to buy or sell securities or tokens. This podcast is for informational purposes only, and any views expressed by anyone on the show are solely our opinions, not financial advice. Michael, Nick, and our guests may hold positions in the companies, funds, or projects discussed.

Asteroiden Bennu har visat sig bära på molekyler viktiga för liv. Men en annan asteroid riskerar att träffa jorden 2032 och ställa till förödelse. Lyssna på alla avsnitt i Sveriges Radio Play. Rymdsonden Osiris-ReX har hämtat hem markprover från Bennu och de har visat sig innehålla både baserna som finns i vår arvsmassa och aminosyror som bygger upp våra proteiner. Ungefär samtidigt som analyserna blev klara upptäckte ATLAS-teleskopet i Chile en annan asteroid, 2024 YR4, som med en procents risk kan falla ner på jorden år 2032. Den kan ställa till stor lokal skada men risken tros minska när asteroidens bana blir mer känd.Vi hör också om den nya dokumentären i serien ”Hempas kamp”. Hempa Posse som efter en sepsis förlorade halva armarna och halva benen, och behövde få en njure transplanterad, lever idag med post-sepsis.Programledare och producenter:Gustaf Klaringustaf.klarin@sverigesradio.seCamilla Widebeckcamilla.widebeck@sverigesradio.se

Proverbios de el rey Solomon y Salmos de su papa el rey David. Instrucciones de ser fiel, por y con El Espíritu Santo de Jesus . --- Support this podcast: https://podcasters.spotify.com/pod/show/fernando-m-de-oca/support

Proverbios de el rey Solomon y Salmos de su papa el rey David. Instrucciones de ser fiel, por y con El Espíritu Santo de Jesus .

Maracanà con Marco Piccari, Stefano Impallomeni e Niccolò Ceccarini. Ospiti: Silvio Pagliari:" Giuntoli proverà a prendere Skriniar e poi un altro attaccante, ma non sarà un mercato facile non avendo un grande portafoglio."

Mario Carneiro is the creator of Mathlib, Lean4Lean and Metamath0. He is currently doing his Postdoc at Chalmers University working on CakeML. In this episode we talk about foundations of theorem provers, type systems properties, semantics and interoperabilities. Links Lean4Lean github Metamath Metamath0 Lean Foundations Discussion Large Elimination / Singleton Elimination

Combatting robocalls has been and continues to be an important area of enforcement for State Attorneys General, as we have previously reported. On October 18, 2024, the Anti-Robocall Multistate Litigation Task Force (Task Force), comprised of 51 bipartisan State AGs, released a notice letter outlining concerns that a Florida-based company was ​“transmitting suspected illegal robocall traffic on behalf of one or more of its customers” and cautioning that the company ​“should cease transmitting any illegal traffic immediately.” The letter, which was addressed to iDentidad Advertising Development LLC dba iDentidad Telecom (iDentidad), is illustrative of the collaboration not only among State AGs, but also with federal agencies and private industry, on the issue of robocalls. https://www.kelleydrye.com/viewpoints/blogs/ad-law-access/state-ags-aim-spotlight-on-robocall-gateway-service-provider Paul Singer psinger@kelleydrye.com (202) 342-8672 www.kelleydrye.com/Our-People/Paul-L-Singer Abigail Stempson astempson@kelleydrye.com (202) 342-8678 www.kelleydrye.com/Our-People/Abigail-Stempson Beth Chun bchun@kelleydrye.com (202) 342-8671 www.kelleydrye.com/Our-People/Beth-Bolen-Chun Jenny Wainwright jwainwright@kelleydrye.com (202) 342-8649 https://www.kelleydrye.com/people/jennifer-rodden-wainwright Hosted by Simone Roach Subscribe to the Ad Law Access blog - www.kelleydrye.com/subscribe Subscribe to the Ad Law News Newsletter - www.kelleydrye.com/subscribe View the Advertising and Privacy Law Resource Center - www.kelleydrye.com/advertising-and-privacy-law Find all of our links here linktr.ee/KelleyDryeAdLaw

We introduce DeepSeek-Prover-V1.5, an open-source language model designed for theorem proving in Lean 4, which enhances DeepSeek-Prover-V1 by optimizing both training and inference processes. Pre-trained on DeepSeekMath-Base with specialization in formal mathematical languages, the model undergoes supervised fine-tuning using an enhanced formal theorem proving dataset derived from DeepSeek-Prover-V1. Further refinement is achieved through reinforcement learning from proof assistant feedback (RLPAF). Beyond the single-pass whole-proof generation approach of DeepSeek-Prover-V1, we propose RMaxTS, a variant of Monte-Carlo tree search that employs an intrinsic-reward-driven exploration strategy to generate diverse proof paths. DeepSeek-Prover-V1.5 demonstrates significant improvements over DeepSeek-Prover-V1, achieving new state-of-the-art results on the test set of the high school level miniF2F benchmark ($63.5%$) and the undergraduate level ProofNet benchmark ($25.3%$). 2024: Huajian Xin, Z. Z. Ren, Jun-Mei Song, Zhihong Shao, Wanjia Zhao, Haocheng Wang, Bo Liu, Liyue Zhang, Xuan Lu, Qiushi Du, W. Gao, Qihao Zhu, Dejian Yang, Zhibin Gou, Z. F. Wu, Fuli Luo, Chong Ruan https://arxiv.org/pdf/2408.08152

Infinite Loops Key Takeaways  Investing is a service-based business; focus on the karma! “The four horsemen of the investment apocalypse are fear, greed, hope, and ignorance. And only ignorance is something that you can address.” –  Jim O'ShaughnessyTake actions that increase the surface area of your luck Ironically, in a changing world, playing it safe is one of the riskiest things that you can doLearn how you are going to react to every phase of the market You have to be selective, but you also have to be okay with rejection  Trust is a function of experience, and experience is a function of timeYou do not need to be right every time to dominate; the best traders in history are right just a little more than 50% of the time  How to add value early in your career: Find the 10% of a person's life that they hate, and make that problem go away for themThe investing industry is based on trust and reputation – it is wise to remember thisRead the full notes @ podcastnotes.orgLet me introduce you to the four horsemen of the investment apocalypse: Fear. Greed. Hope. Ignorance. Notice anything? Three of four are emotions. I've long argued that effective investing is far more about emotional control than technical know-how (although the latter certainly helps!) By hook or by crook, the best investors can find a way to tame their pesky emotional impulses and overcome that primal urge to respond impulsively to panic, passion, or pride. My guest, the razor-sharp Ateet Ahluwalia, is a veteran trader and investor who has spent well over 15 years at the coalface, from trading at Goldman at the dawn of the financial crisis to his current role as founder and managing director of the venture capital firm Island Green Capital Management. As you'll hear from our conversation, Ateet has built an insanely deep understanding of the emotional constitution required to succeed in finance and venture capital, which informs his approach to risk management, hiring, investing, due diligence, and everything in between. I hope you enjoy our wide-ranging conversation, whose implications extend well beyond investing. For episode takeaways, a full transcript, and various other goodies, check out our Substack. Important Links: The Thinker and The Prover; by Jim O'Shaughnessy Ateet's LinkedIn Island Green Capital Management Show Notes: Why Venture Capitalists Should Shun the Glory “In a changing world, playing it safe is one of the riskiest things you can do." Risk: Why Size Matters The Emotional Constraints of Investing How to Find Out What Someone Really Wants The Purifying Power of Mistakes Pick up the Phone! Being Humbled by the Market Public vs Private Investing Why Hit Rates Matter Assessing the Macro Position Bullshitting, Question-Dodging, and Other Red Flags The Many Bosses of the Venture Capitalist Be a Painkiller Ateet as Emperor of the World MORE! Books Mentioned: The Enlightenment Trilogy; by Jed McKenna Venture Deals: Be Smarter Than Your Lawyer and Venture Capitalist; by Brad Feld & Jason Mendelson Financial Intelligence: A Manager's Guide to Knowing What the Numbers Really Mean; by Karen Berman, Joe Knight & John Case Adventures of a Bystander; by Peter F. Drucker

Infinite Loops Key Takeaways  Investing is a service-based business; focus on the karma! “The four horsemen of the investment apocalypse are fear, greed, hope, and ignorance. And only ignorance is something that you can address.” –  Jim O'ShaughnessyTake actions that increase the surface area of your luck Ironically, in a changing world, playing it safe is one of the riskiest things that you can doLearn how you are going to react to every phase of the market You have to be selective, but you also have to be okay with rejection  Trust is a function of experience, and experience is a function of timeYou do not need to be right every time to dominate; the best traders in history are right just a little more than 50% of the time  How to add value early in your career: Find the 10% of a person's life that they hate, and make that problem go away for themThe investing industry is based on trust and reputation – it is wise to remember thisRead the full notes @ podcastnotes.orgLet me introduce you to the four horsemen of the investment apocalypse: Fear. Greed. Hope. Ignorance. Notice anything? Three of four are emotions. I've long argued that effective investing is far more about emotional control than technical know-how (although the latter certainly helps!) By hook or by crook, the best investors can find a way to tame their pesky emotional impulses and overcome that primal urge to respond impulsively to panic, passion, or pride. My guest, the razor-sharp Ateet Ahluwalia, is a veteran trader and investor who has spent well over 15 years at the coalface, from trading at Goldman at the dawn of the financial crisis to his current role as founder and managing director of the venture capital firm Island Green Capital Management. As you'll hear from our conversation, Ateet has built an insanely deep understanding of the emotional constitution required to succeed in finance and venture capital, which informs his approach to risk management, hiring, investing, due diligence, and everything in between. I hope you enjoy our wide-ranging conversation, whose implications extend well beyond investing. For episode takeaways, a full transcript, and various other goodies, check out our Substack. Important Links: The Thinker and The Prover; by Jim O'Shaughnessy Ateet's LinkedIn Island Green Capital Management Show Notes: Why Venture Capitalists Should Shun the Glory “In a changing world, playing it safe is one of the riskiest things you can do." Risk: Why Size Matters The Emotional Constraints of Investing How to Find Out What Someone Really Wants The Purifying Power of Mistakes Pick up the Phone! Being Humbled by the Market Public vs Private Investing Why Hit Rates Matter Assessing the Macro Position Bullshitting, Question-Dodging, and Other Red Flags The Many Bosses of the Venture Capitalist Be a Painkiller Ateet as Emperor of the World MORE! Books Mentioned: The Enlightenment Trilogy; by Jed McKenna Venture Deals: Be Smarter Than Your Lawyer and Venture Capitalist; by Brad Feld & Jason Mendelson Financial Intelligence: A Manager's Guide to Knowing What the Numbers Really Mean; by Karen Berman, Joe Knight & John Case Adventures of a Bystander; by Peter F. Drucker

Let me introduce you to the four horsemen of the investment apocalypse: Fear. Greed. Hope. Ignorance. Notice anything? Three of four are emotions. I've long argued that effective investing is far more about emotional control than technical know-how (although the latter certainly helps!) By hook or by crook, the best investors can find a way to tame their pesky emotional impulses and overcome that primal urge to respond impulsively to panic, passion, or pride. My guest, the razor-sharp Ateet Ahluwalia, is a veteran trader and investor who has spent well over 15 years at the coalface, from trading at Goldman at the dawn of the financial crisis to his current role as founder and managing director of the venture capital firm Island Green Capital Management. As you'll hear from our conversation, Ateet has built an insanely deep understanding of the emotional constitution required to succeed in finance and venture capital, which informs his approach to risk management, hiring, investing, due diligence, and everything in between. I hope you enjoy our wide-ranging conversation, whose implications extend well beyond investing. For episode takeaways, a full transcript, and various other goodies, check out our Substack. Important Links: The Thinker and The Prover; by Jim O'Shaughnessy Ateet's LinkedIn Island Green Capital Management Show Notes: Why Venture Capitalists Should Shun the Glory “In a changing world, playing it safe is one of the riskiest things you can do." Risk: Why Size Matters The Emotional Constraints of Investing How to Find Out What Someone Really Wants The Purifying Power of Mistakes Pick up the Phone! Being Humbled by the Market Public vs Private Investing Why Hit Rates Matter Assessing the Macro Position Bullshitting, Question-Dodging, and Other Red Flags The Many Bosses of the Venture Capitalist Be a Painkiller Ateet as Emperor of the World MORE! Books Mentioned: The Enlightenment Trilogy; by Jed McKenna Venture Deals: Be Smarter Than Your Lawyer and Venture Capitalist; by Brad Feld & Jason Mendelson Financial Intelligence: A Manager's Guide to Knowing What the Numbers Really Mean; by Karen Berman, Joe Knight & John Case Adventures of a Bystander; by Peter F. Drucker

Taiko introduces its Raiko multi-prover. The U.S. Senate repeals SAB 121. PoolTogether launches on Base. And Base announces the Onchain Summer Buildathon. Read more: https://ethdaily.io/466 Sponsor: Harpie is an onchain security solution that protects your wallet from theft in real time. Harpie helps you detect and block suspicious transactions before they execute, safeguarding your assets from malicious attacks and scams. Try Harpie for free at harpie.io/ethdaily.

Rootstock Chief Scientist, Sergio Demian Lerner, regards the upcoming Bitcoin halving is a moment of celebration for the community and highlights the importance of transaction fees for the sustainability of the network.This episode is sponsored by the Stellar Community FundFollow the show here for more.In this installment of "The Protocol," hosts Brad Keoun, the founding editor of The Protocol Newsletter, and tech journalists Sam Kessler and Margaux Nijkerk, dive into are joined by Sergio Demian Lerner, Chief Scientist at Rootstock, to discuss his research on the Patoshi pattern and the early mining of Bitcoin. He explains how he identified that Satoshi Nakamoto had mined approximately 1.1 million Bitcoins and had never spent them, which built trust in the system. Sergio also shares his insights on the upcoming Bitcoin halving and the importance of transaction fees for the sustainability of the network. TakeawaysSergio Demian Lerner identified the Patoshi pattern, which revealed that Satoshi Nakamoto had mined approximately 1.1 million Bitcoins and had never spent them, building trust in the system.The upcoming Bitcoin halving is a moment of celebration for the community and highlights the importance of transaction fees for the sustainability of the network.Rootstock aims to bring the Ethereum Virtual Machine (EVM) to Bitcoin and focuses on financial inclusion and the use of Bitcoin collateralized stablecoins.The cultures of Ethereum and Bitcoin differ in terms of complexity, centralization, and fragmentation, with Ethereum being more open and welcoming to developers.The introduction of BitBM and the development of bridges on Bitcoin may lead to changes in the Bitcoin ecosystem, such as the addition of new opcodes for more efficient operations.Chapters00:00 Uncovering the Patoshi Pattern13:51 Rootstock: Bringing the EVM to BitcoinSign Up for THE PROTOCOL NEWSLETTER EPISODE LINKS | Polygon Acquires Ethereum Scaling Startup Mir for $400M Polygon Plans 'AggLayer,' in Bid to Synthesize Modular, Monolithic Blockchains Polygon Releases 'Type 1 Prover,' Claiming Milestone Set by Ethereum's Vitalik Buterin Polygon, StarkWare Tout New 'Circle STARKs' as Breakthrough for Zero-Knowledge Proofs -From Our Sponsor: The Stellar Community Fund (SCF) is an open-application awards program that draws on community input to support developers and startups building on Stellar and Soroban. Accelerate your web3 project today.Apply for Funding at communityfund.stellar.org-The Protocol has been produced and edited by senior producer Michele Musso and our executive producer is Jared Schwartz. Our theme song is “Take Me Back” by Strength To Last.See Privacy Policy at https://art19.com/privacy and California Privacy Notice at https://art19.com/privacy#do-not-sell-my-info.

Brendan Farmer, Co-Founder of Polygon, gives an overview of Polygon's Ecosystem and its adoption and benefits of the Ag Layer.This episode is sponsored by the Stellar Community FundFollow the show here for more.In this installment of "The Protocol," hosts Brad Keoun, the founding editor of The Protocol Newsletter, and tech journalists Sam Kessler and Margaux Nijkerk, dive into the strategy and vision behind the Ag layer, which aims to solve the problem of L2 fragmentation on Ethereum with Brendan Farmer Co-Founder of Polygon.Polygon is focused on building a unified environment for value, liquidity, and state in the Ethereum ecosystem. The Ag layer connects different mini-ecosystems within Polygon and allows chains to plug into the liquidity and value that already exists.TakeawaysPolygon's strategy is to build a unified environment for value, liquidity, and state in the Ethereum ecosystem.The Ag layer connects different mini-ecosystems within Polygon and allows chains to plug into existing liquidity and value.The Ag layer includes a builder marketplace where builders can simultaneously build blocks across multiple chains, providing users with a seamless experience.The goal is to create a positive-sum outcome for all chains involved and avoid fragmentation in the ecosystem.Chapters00:00 Introduction and Guest Introduction01:19 Polygon's Strategy and Tech Shift06:50 Analogies for Understanding the Ag Layer07:26 Adoption and Benefits of the Ag Layer09:36 Overview of Polygon's Ecosystem10:54 Polygon Today: POS Chain and ZKVM Chain12:28 Polygon's Technological Innovations14:35 POS Chain and the Future of Polygon19:42 The Ag Layer as a Connector22:02 Competition and Collaboration in the Industry23:36 Avoiding Fragmentation and Rent-Seeking25:23 The Challenge of Monetizing Users in Crypto27:44 The Builder Marketplace and Block Building28:16 MEV and the Ag Layer32:16 Addressing Outages and Ensuring Stability34:44 Precautions and Warnings for Users38:27 The Eigen Layer and L2 Vision40:17 The Den Koon Upgrade and the Blob Market-Sign Up for THE PROTOCOL NEWSLETTER EPISODE LINKS | Polygon Acquires Ethereum Scaling Startup Mir for $400M Polygon Plans 'AggLayer,' in Bid to Synthesize Modular, Monolithic Blockchains Polygon Releases 'Type 1 Prover,' Claiming Milestone Set by Ethereum's Vitalik Buterin Polygon, StarkWare Tout New 'Circle STARKs' as Breakthrough for Zero-Knowledge Proofs -From Our Sponsor: The Stellar Community Fund (SCF) is an open-application awards program that draws on community input to support developers and startups building on Stellar and Soroban. Accelerate your web3 project today.Apply for Funding at communityfund.stellar.org-The Protocol has been produced and edited by senior producer Michele Musso and our executive producer is Jared Schwartz. Our theme song is “Take Me Back” by Strength To Last.See Privacy Policy at https://art19.com/privacy and California Privacy Notice at https://art19.com/privacy#do-not-sell-my-info.

The inimitable Visakan Veerasamy returns for a characteristically wide-ranging discussion… Important Links: Visa's Website Visa's Twitter  Visa's Youtube Visa's Previous Episode Visa's Post-Episode Thread Show Notes: Life as a Dad A Conversation With David Deutsch Change, Courage, Curiosity & Creativity Possibility Space & the Problem of Wretchedness A Good Blog Post Can Change the World The Outdated Language of Counterculture Colliding Our Reality Tunnels Imperfection Breeds Creativity We Are Co-Creators Status Quo Soldiers The Power of Noticing Visa as Emperor of the World MUCH more! Books & Articles Mentioned: Friendly Ambitious Nerd; by Visakan Veerasamy Introspect; by Visakan Veerasamy status quo soldiers lose in the long run; by Visakan Veerasamy The Beginning of Infinity: Explanations That Transform the World; by David Deutsch The Thinker and The Prover; by Jim O'Shaughnessy Leonardo Da Vinci; by Walter Isaacson Ninety-five Theses; by Martin Luther Alice's Adventures in Wonderland; by Lewis Carroll The News: A User's Manual; by Alain de Botton Understanding Media: The Extensions of Man; by Marshall McLuhan Power vs. Force: The Hidden Determinants of Human Behaviour; by David R. Hawkins How I Accidentally Started The Sixties; by Howard Bloom One Summer: America 1927; by Bill Bryson

In this week's episode, Anna (https://twitter.com/annarrose) and Tarun (https://twitter.com/tarunchitra) catch up with Uma Roy (https://twitter.com/pumatheuma), CEO and cofounder of Succinct (https://succinct.xyz/). They dive into Succinct's developments over the last year ranging from the work they did on the ZK bridge infrastructure to the Succinct platform, the Succinct prover network and their most recent release of SP1. They discuss connections between these products, how their development evolved, the competitive landscape, the future for the project and much more. Here's some additional links for this episode: Introducing Blobstream by Celestia (https://blog.celestia.org/introducing-blobstream/) Succinct Labs SP1 GitHub (https://succinctlabs.github.io/sp1/) ZK Jobs Board (https://jobsboard.zeroknowledge.fm/) Episode 255: Verifying Consensus On-Chain with Succinct (https://zeroknowledge.fm/255-2/) Episode 286: Paris 2023 Recap with Uma, Zaki and Tarun (https://zeroknowledge.fm/286-2/) Alpha Succinct (alpha.succinct.xyz) Hugging Face AI (https://huggingface.co/) Episode 296: Zeth, Bonsai and RISC Zero with Brian and Jeremy (https://zeroknowledge.fm/296-2/) Episode 251: Exploring RISC Zero with Brian Retford and Jeremy Bruestle (https://zeroknowledge.fm/251-2/) Understanding Lasso and Jolt, from theory to code by Ragsdale, Zhu and Thaler (https://a16zcrypto.com/posts/article/building-on-lasso-and-jolt/) Applications to attend zkSummit11 are now open, head over to the zkSummit website (https://www.zksummit.com/) to apply now. The event will be held on 10 April in Athens, Greece. Launching soon, Namada (https://namada.net/) is a proof-of-stake L1 blockchain focused on multichain, asset-agnostic privacy, via a unified shielded set. Namada is natively interoperable with fast-finality chains via IBC, and with Ethereum using a trust-minimised bridge. Follow Namada on Twitter @namada (https://twitter.com/namada) for more information and join the community on Discord discord.gg/namada (http://discord.gg/namada). If you like what we do: * Find all our links here! @ZeroKnowledge | Linktree (https://linktr.ee/zeroknowledge) * Subscribe to our podcast newsletter (https://zeroknowledge.substack.com) * Follow us on Twitter @zeroknowledgefm (https://twitter.com/zeroknowledgefm) * Join us on Telegram (https://zeroknowledge.fm/telegram) * Catch us on YouTube (https://zeroknowledge.fm/)

“The LORD possessed me in the beginning of his way, before his works of old. I was set up from everlasting, from the beginning, or ever the earth was.” (Proverbs 8:22-23) The book of Prover... More...