正在加载视频...

视频加载失败

加载此视频时出现问题。这可能是由于临时网络问题，或视频可能不可用。

.@zkdragon explains formal verification. 00:00 Proofs vs. tests 00:27 The 3 properties of sound money 02:26 Why ZK proofs create unique risk 03:33 The Orchard bug was the only one

Maxime Desalle

4,286 subscribers

18,042 次观看 • 19 天前 •via X (Twitter)

Anya Rossi• Live Now

Private livecam show

0 条评论

暂无评论

原始帖子的评论将显示在这里

相关视频

The Mitchell Demeter interview for Sonic 00:00 - 00:13 community sentiment 00:14 - 00:38 what to expect next 00:38 - 00:48 team building/hiring opportunities 00:48 - 01:03 events + global growth 01:04 - 02:26 $S price & sonic ecosystem fund 02:27 - 02:40 fee monitization (FeeM) 02:41 - 3:00 building with TradFi & crypto executives + more ecosystem resources the future looks sonic!

The Mitchell Demeter interview for Sonic 00:00 - 00:13 community sentiment 00:14 - 00:38 what to expect next 00:38 - 00:48 team building/hiring opportunities 00:48 - 01:03 events + global growth 01:04 - 02:26 $S price & sonic ecosystem fund 02:27 - 02:40 fee monitization (FeeM) 02:41 - 3:00 building with TradFi & crypto executives + more ecosystem resources the future looks sonic!

deb

25,922 次观看 • 9 个月前

팬미팅 챌린지 모음 #지훈♡ 00:00 Whiplash 00:29 별별별 01:00 Touch 01:33 HOT 01:48 The Stealer (1) 02:08 The Stealer (2) 02:27 Strategy 02:34 Magnetic 02:54 Boom Boom Bass (Arkins Remix) 03:19 우리집 03:42 Sticky (1) 04:00 Sticky (2) #TWS #투어스 #JIHOON #한지훈

팬미팅 챌린지 모음 #지훈♡ 00:00 Whiplash 00:29 별별별 01:00 Touch 01:33 HOT 01:48 The Stealer (1) 02:08 The Stealer (2) 02:27 Strategy 02:34 Magnetic 02:54 Boom Boom Bass (Arkins Remix) 03:19 우리집 03:42 Sticky (1) 04:00 Sticky (2) #TWS #투어스 #JIHOON #한지훈

🏝️

17,042 次观看 • 1 年前

Modi Economics: Don’t buy gold, Avoid Destination Wedding, Do Work from home- expectations vs reality! TIMESTAMPS: 00:00 Intro 00:38 Work From Home 01:01 Destination Wedding 02:26 Gold Import Problem 03:23 Congestion Pricing 04:33 Organic Farming Risk 05:27 Solar Pump Problem

Modi Economics: Don’t buy gold, Avoid Destination Wedding, Do Work from home- expectations vs reality! TIMESTAMPS: 00:00 Intro 00:38 Work From Home 01:01 Destination Wedding 02:26 Gold Import Problem 03:23 Congestion Pricing 04:33 Organic Farming Risk 05:27 Solar Pump Problem

Dr. Mrunal Patel (Ph.D.)

33,760 次观看 • 2 个月前

How is the Las Vegas Sphere losing money? 00:00 – The Sphere: Vegas' $2.3B Icon 00:36 – Ticket Sales ≠ Profits 01:04 – Ballooning Budget Post-COVID 01:33 – Why Most Bands Can’t Play the Sphere 02:14 – The Problem With Limited Show Nights 02:33 – Return on Investment: The Real Issue 03:09 – Final Thoughts

How is the Las Vegas Sphere losing money? 00:00 – The Sphere: Vegas' $2.3B Icon 00:36 – Ticket Sales ≠ Profits 01:04 – Ballooning Budget Post-COVID 01:33 – Why Most Bands Can’t Play the Sphere 02:14 – The Problem With Limited Show Nights 02:33 – Return on Investment: The Real Issue 03:09 – Final Thoughts

Michael Girdley

20,679 次观看 • 1 年前

Hey Siri, why are American kids so sick? Aaron Siri on DarkHorse with Bret Weinstein : 00:00:00 Welcome Aaron Siri 00:05:22 Vaccines: Then vs. Now 00:18:04 What We Don’t Know About Childhood Vaccines 00:33:45 Financial Incentives in Vaccine Development 00:52:02 Polio Vaccine: Unintended Consequences 00:55:39 The Polio Story as a Red Pill 01:25:32 HIV Origins & Parallels to COVID 01:45:04 Rethinking the Spanish Flu 01:47:31 When Interventions Cause Harm 01:49:40 Measles Mortality Data 01:56:07 Health Before Vaccination 02:03:17 Defining “Vaccine” 02:05:01 Why Hep B Remains on the Schedule 02:11:29 Autism & Vaccines 02:20:02 The Tyranny of Vaccine Mandates 02:35:27 Scientific vs. Legal Fraud 02:53:00 Trump Administration & the Childhood Schedule 03:04:38 Think of Vaccines as a Product

Hey Siri, why are American kids so sick? Aaron Siri on DarkHorse with Bret Weinstein : 00:00:00 Welcome Aaron Siri 00:05:22 Vaccines: Then vs. Now 00:18:04 What We Don’t Know About Childhood Vaccines 00:33:45 Financial Incentives in Vaccine Development 00:52:02 Polio Vaccine: Unintended Consequences 00:55:39 The Polio Story as a Red Pill 01:25:32 HIV Origins & Parallels to COVID 01:45:04 Rethinking the Spanish Flu 01:47:31 When Interventions Cause Harm 01:49:40 Measles Mortality Data 01:56:07 Health Before Vaccination 02:03:17 Defining “Vaccine” 02:05:01 Why Hep B Remains on the Schedule 02:11:29 Autism & Vaccines 02:20:02 The Tyranny of Vaccine Mandates 02:35:27 Scientific vs. Legal Fraud 02:53:00 Trump Administration & the Childhood Schedule 03:04:38 Think of Vaccines as a Product

The DarkHorse Podcast

69,778 次观看 • 7 个月前

Our new pod with former Airbus CTO Paul Eremenko is up. On the era of the AI engineer (P-1 AI) and where aerospace is heading Timestamps 00:00:00 - Intro 00:02:52 - Ukraine to Kentucky transition 00:07:27 - Prestigious family military background 00:09:33 - Flying solo at sixteen 00:12:09 - MIT AI lab rejection 00:14:02 - Approaching the singularity 00:16:06 - Youngest Airbus CTO 00:27:38 - Boeing vs Airbus 00:30:15 - Universal Hydrogen ups and downs 00:33:12 - Data centers killed hydrogen 00:38:20 - AI for starships vision 00:49:01 - Synthetic training data breakthrough 01:03:08 - Future airplane designs

Our new pod with former Airbus CTO Paul Eremenko is up. On the era of the AI engineer (P-1 AI) and where aerospace is heading Timestamps 00:00:00 - Intro 00:02:52 - Ukraine to Kentucky transition 00:07:27 - Prestigious family military background 00:09:33 - Flying solo at sixteen 00:12:09 - MIT AI lab rejection 00:14:02 - Approaching the singularity 00:16:06 - Youngest Airbus CTO 00:27:38 - Boeing vs Airbus 00:30:15 - Universal Hydrogen ups and downs 00:33:12 - Data centers killed hydrogen 00:38:20 - AI for starships vision 00:49:01 - Synthetic training data breakthrough 01:03:08 - Future airplane designs

Core Memory

14,718 次观看 • 1 年前

2024 #태민 챌린지 연말정산 ♡̷̷̷ 00:00 Little bit 00:17 Grillz 00:33 Love you 00:39 배드빌런 BADVILLAIN 00:58 슈퍼노바 Supernova 01:19 마에스트로 Maestro 01:33 텅타이드 Tongue tied 01:54 배기진스 Baggy jeans 02:27 XO 02:52 별별별 03:21 길티 Guilty Bada Lee ver. 03:42 슈퍼소닉 Supersonic 04:03 매력 04:38 뉴우먼 New Woman 04:49 플레져샵 Pleasure Shop 05:14 The Last Christmas

2024 #태민 챌린지 연말정산 ♡̷̷̷ 00:00 Little bit 00:17 Grillz 00:33 Love you 00:39 배드빌런 BADVILLAIN 00:58 슈퍼노바 Supernova 01:19 마에스트로 Maestro 01:33 텅타이드 Tongue tied 01:54 배기진스 Baggy jeans 02:27 XO 02:52 별별별 03:21 길티 Guilty Bada Lee ver. 03:42 슈퍼소닉 Supersonic 04:03 매력 04:38 뉴우먼 New Woman 04:49 플레져샵 Pleasure Shop 05:14 The Last Christmas

cherry

31,804 次观看 • 1 年前

니키 + 빨간운동화 성장모음zip . . . 👟❤ #니키 #NI_KI #ニキ 00:00 루시퍼 00:15 Moombaton 00:24 My My My! 00:37 ONE SHOT TWO SHOT 00:46 Money On My mind 00:54 NO JOKE 01:07 7rings 01:20 The Middle 01:40 No Brainer 01:49 Hologram 01:59 Yes or Yes 02:16 Serendipity 02:31 Just Dance 02:39 Intro Dubstep 02:53 XO (Only If You Say Yes) 03:03 Brought The Heat Back

니키 + 빨간운동화 성장모음zip . . . 👟❤ #니키 #NI_KI #ニキ 00:00 루시퍼 00:15 Moombaton 00:24 My My My! 00:37 ONE SHOT TWO SHOT 00:46 Money On My mind 00:54 NO JOKE 01:07 7rings 01:20 The Middle 01:40 No Brainer 01:49 Hologram 01:59 Yes or Yes 02:16 Serendipity 02:31 Just Dance 02:39 Intro Dubstep 02:53 XO (Only If You Say Yes) 03:03 Brought The Heat Back

까치

106,589 次观看 • 1 年前

The case for MCP 00:00 - History & hype 01:09 - What is MCP? 05:33 - Four properties of MCP 07:21 - Sampling 10:02 - Federation 11:10 - The Truth: The Future of MCP

The case for MCP 00:00 - History & hype 01:09 - What is MCP? 05:33 - Four properties of MCP 07:21 - Sampling 10:02 - Federation 11:10 - The Truth: The Future of MCP

matt palmer

21,490 次观看 • 1 年前

✬ RIIZE 라이즈 [ODYSSEY] #원빈 파트 00:00 Odyssey 00:18 Bag Bad Back 00:51 잉걸 (Ember to Solar) 01:53 Fly Up 02:33 Show Me Love 03:06 Midnight Mirage 03:33 모든 하루의 끝 (The End of the Day) 04:49 Inside My Love 05:13 Another Life

✬ RIIZE 라이즈 [ODYSSEY] #원빈 파트 00:00 Odyssey 00:18 Bag Bad Back 00:51 잉걸 (Ember to Solar) 01:53 Fly Up 02:33 Show Me Love 03:06 Midnight Mirage 03:33 모든 하루의 끝 (The End of the Day) 04:49 Inside My Love 05:13 Another Life

박원빈.zip

21,786 次观看 • 1 年前

The FULL Threadguy x Murad Interview Timestamps 00:00:00 - Intro 00:02:41 - How Murad's Memecoin Framework was Built 00:06:23 - Institutions, Money Supply, & Market Cycles 00:10:11 - PumpFun’s Impact on Alts 00:12:50 - Why Retail Needs Parabolic Runners 00:17:50 - How to Attract Retail 00:20:22 - Revenue Coins vs Belief Assets 00:27:42 - Why Fees Trend Toward 0 00:31:52 - Why the Money Printing Won't Stop 00:35:10 - Generational Suffering & the New Wealth Gap 00:41:36 - Meme Coins as Cultural Revolutions 00:46:51 - SPX6900 is GME on Steroids 00:55:56 - Why Passive Wealth No Longer Works 01:06:28 - Full SPX6900 Pitch 01:10:25 - Advice for Young Investors

The FULL Threadguy x Murad Interview Timestamps 00:00:00 - Intro 00:02:41 - How Murad's Memecoin Framework was Built 00:06:23 - Institutions, Money Supply, & Market Cycles 00:10:11 - PumpFun’s Impact on Alts 00:12:50 - Why Retail Needs Parabolic Runners 00:17:50 - How to Attract Retail 00:20:22 - Revenue Coins vs Belief Assets 00:27:42 - Why Fees Trend Toward 0 00:31:52 - Why the Money Printing Won't Stop 00:35:10 - Generational Suffering & the New Wealth Gap 00:41:36 - Meme Coins as Cultural Revolutions 00:46:51 - SPX6900 is GME on Steroids 00:55:56 - Why Passive Wealth No Longer Works 01:06:28 - Full SPX6900 Pitch 01:10:25 - Advice for Young Investors

Counterparty

62,972 次观看 • 8 个月前

What Happened to Zcash (Full Explanation) with mert and Illia (root.near) (🇺🇦, ⋈) Timestamps 00:00 Zcash Exploit Or Not? 00:41 ZK Circuit Risk Explained 02:32 Why ZEC Price Dropped 03:48 Zcash Sapling Pool 2019 05:22 No Infinite Mint Evidence 06:31 Formal Verification Is Solution 08:05 Project Tachyon Quantum Proof 11:18 AI Vulnerability Armageddon Coming 17:02 Zcash Optional Transparency Explained 21:08 NEAR Intents ZEC Inflow 24:35 Bear Case Worst Scenario 30:01 NEAR Profits On Volatility 33:43 Arthur Dumped NEAR Reaction

What Happened to Zcash (Full Explanation) with mert and Illia (root.near) (🇺🇦, ⋈) Timestamps 00:00 Zcash Exploit Or Not? 00:41 ZK Circuit Risk Explained 02:32 Why ZEC Price Dropped 03:48 Zcash Sapling Pool 2019 05:22 No Infinite Mint Evidence 06:31 Formal Verification Is Solution 08:05 Project Tachyon Quantum Proof 11:18 AI Vulnerability Armageddon Coming 17:02 Zcash Optional Transparency Explained 21:08 NEAR Intents ZEC Inflow 24:35 Bear Case Worst Scenario 30:01 NEAR Profits On Volatility 33:43 Arthur Dumped NEAR Reaction

The Rollup

17,080 次观看 • 1 个月前

NEW EP: Why ZK Proof Adoption Will Explode in 2025 ZK proving has always been expensive—but that’s changing fast. For today’s episode, robbie sat down with Jim Posen of Irreducible and Jeremy Bruestle of RISC Zero to cover: > The Cost of ZK Proofs > New Era of ZKPs > Real-Time Proving >A New Model for Proving Networks Full episode links below: Timestamps: 00:00 Intro 01:25 The Latest in ZK 11:30 ZK Proof Markets 14:56 Verifiable Compute 24:17 Prime Fields vs Binary Fields 37:13 Real-Time Proving 41:27 Client-Side Proving

NEW EP: Why ZK Proof Adoption Will Explode in 2025 ZK proving has always been expensive—but that’s changing fast. For today’s episode, robbie sat down with Jim Posen of Irreducible and Jeremy Bruestle of RISC Zero to cover: > The Cost of ZK Proofs > New Era of ZKPs > Real-Time Proving >A New Model for Proving Networks Full episode links below: Timestamps: 00:00 Intro 01:25 The Latest in ZK 11:30 ZK Proof Markets 14:56 Verifiable Compute 24:17 Prime Fields vs Binary Fields 37:13 Real-Time Proving 41:27 Client-Side Proving

The Rollup

48,222 次观看 • 1 年前

Claude Code creator Boris Cherny: "Verification is the single most important part of closed-loop development" "Companies underinvest in it, and that is the biggest mistake" In a 26-minute talk, Boris breaks down real AI coding loops with Spotify's Chief Engineer: 00:00 - Closed-loop development 08:33 - Why one-shot code generation fails 10:02 - Agentic verifier and PR success rate 12:00 - Verification loops without humans in the loop 14:00 - Tests, skills, CLAUDE.md, and MCP as the loop infrastructure 20:11 - Why consistent codebases make agents work better This one video is worth more than 100 Claude coding setup tutorials Bookmark and watch it today Then read the full guide on loop engineering below

Claude Code creator Boris Cherny: "Verification is the single most important part of closed-loop development" "Companies underinvest in it, and that is the biggest mistake" In a 26-minute talk, Boris breaks down real AI coding loops with Spotify's Chief Engineer: 00:00 - Closed-loop development 08:33 - Why one-shot code generation fails 10:02 - Agentic verifier and PR success rate 12:00 - Verification loops without humans in the loop 14:00 - Tests, skills, CLAUDE.md, and MCP as the loop infrastructure 20:11 - Why consistent codebases make agents work better This one video is worth more than 100 Claude coding setup tutorials Bookmark and watch it today Then read the full guide on loop engineering below

rari

72,967 次观看 • 17 天前

Full interview with the founder and CEO of Propr Lou sits down with me to discuss Hyperliquid and the future of prop trading Timestamps: 00:00:00 Intro 00:00:16 Meet Louis: from TradFi to crypto 00:01:52 How the crypto market has changed 00:03:49 Why build on Hyperliquid 00:06:52 How propr got started 00:08:40 Scaling a lean team (and the grind) 00:12:24 What a prop firm actually is 00:15:33 Agents, bots, and the future of trading 00:18:32 What Louis is most proud of 00:21:02 Thinking about the token and TGE 00:24:14 Where propr goes in 5 years 00:25:57 Best and worst trades 00:27:50 Life outside crypto + shoutouts

Full interview with the founder and CEO of Propr Lou sits down with me to discuss Hyperliquid and the future of prop trading Timestamps: 00:00:00 Intro 00:00:16 Meet Louis: from TradFi to crypto 00:01:52 How the crypto market has changed 00:03:49 Why build on Hyperliquid 00:06:52 How propr got started 00:08:40 Scaling a lean team (and the grind) 00:12:24 What a prop firm actually is 00:15:33 Agents, bots, and the future of trading 00:18:32 What Louis is most proud of 00:21:02 Thinking about the token and TGE 00:24:14 Where propr goes in 5 years 00:25:57 Best and worst trades 00:27:50 Life outside crypto + shoutouts

ryandcrypto

42,703 次观看 • 2 个月前

Unholy War: A Conversation with Tucker Carlson on DarkHorse 00:00:00 Welcoming Tucker Carlson to DarkHorse 00:04:01 Sponsor: ARMRA Colostrum 00:06:27 Bret Weinstein’s Perspective on Tucker Carlson 00:19:00 The Survival of the Modern West 00:26:53 Being Called a “Self-Hating Jew” or a Nazi 01:03:45 Are Democratic Systems Getting Weaker? 01:22:31 Was War with Iran Trump’s Choice? 01:35:59 Is Potemkin Diplomacy at Play? 01:45:57 Netanyahu 02:02:13 Tucker’s Monologues

Unholy War: A Conversation with Tucker Carlson on DarkHorse 00:00:00 Welcoming Tucker Carlson to DarkHorse 00:04:01 Sponsor: ARMRA Colostrum 00:06:27 Bret Weinstein’s Perspective on Tucker Carlson 00:19:00 The Survival of the Modern West 00:26:53 Being Called a “Self-Hating Jew” or a Nazi 01:03:45 Are Democratic Systems Getting Weaker? 01:22:31 Was War with Iran Trump’s Choice? 01:35:59 Is Potemkin Diplomacy at Play? 01:45:57 Netanyahu 02:02:13 Tucker’s Monologues

Bret Weinstein

984,077 次观看 • 4 个月前

He just quit. He was a primary editor for Diary of a CEO. So I asked him to tell all of his secrets for how he helps the Diary of a CEO be the number 1 podcast on YouTube. 00:00:00 Why Trailers Are Essential for Podcast Growth 00:03:30 Why Most People Are Doing Trailers Wrong 00:06:36 From Film and TV to Diary of a CEO 00:11:48 Retention Rates and What They Actually Mean 00:14:52 What Actually Makes a Podcast Good 00:17:00 Why the Guest Is 50% of Everything 00:22:59 What Makes a Great Podcast Host 00:26:31 Red Flags in Podcast Trailers 00:30:33 The Jefferson Fisher Hook Breakdown 00:34:16 The Louis Tomlinson Hook Breakdown 00:42:35 The 15 Point Checklist for the Perfect Trailer 00:45:28 The Oz Pearlman Hook (41 Second Rule) 00:48:06 The Laughter Track Hack 00:54:11 Sound Design and Visual Details 00:57:04 How to Choose Music Like a Film Director 01:00:02 Disney Imagineering Lesson 01:02:46 The Vanessa Van Edwards Hook Breakdown 01:07:02 The Kevin Hart Narrative Arc Breakdown 01:16:40 The A-B-C Storytelling Framework 01:20:13 The Easiest Win You Can Implement Right Now 01:22:36 How Diary of a CEO Uses AI

He just quit. He was a primary editor for Diary of a CEO. So I asked him to tell all of his secrets for how he helps the Diary of a CEO be the number 1 podcast on YouTube. 00:00:00 Why Trailers Are Essential for Podcast Growth 00:03:30 Why Most People Are Doing Trailers Wrong 00:06:36 From Film and TV to Diary of a CEO 00:11:48 Retention Rates and What They Actually Mean 00:14:52 What Actually Makes a Podcast Good 00:17:00 Why the Guest Is 50% of Everything 00:22:59 What Makes a Great Podcast Host 00:26:31 Red Flags in Podcast Trailers 00:30:33 The Jefferson Fisher Hook Breakdown 00:34:16 The Louis Tomlinson Hook Breakdown 00:42:35 The 15 Point Checklist for the Perfect Trailer 00:45:28 The Oz Pearlman Hook (41 Second Rule) 00:48:06 The Laughter Track Hack 00:54:11 Sound Design and Visual Details 00:57:04 How to Choose Music Like a Film Director 01:00:02 Disney Imagineering Lesson 01:02:46 The Vanessa Van Edwards Hook Breakdown 01:07:02 The Kevin Hart Narrative Arc Breakdown 01:16:40 The A-B-C Storytelling Framework 01:20:13 The Easiest Win You Can Implement Right Now 01:22:36 How Diary of a CEO Uses AI

Grant

198,894 次观看 • 2 天前