START

Fondo

Fondo is an all-in-one accounting platform for startups. Get your books closed, taxes filed, and cash back from the IRS.

  1. START pod: Payton Case, Co-Founder & CEO, Dispatch: “Satellites for Manufacturing in Space.”

    -9 H

    START pod: Payton Case, Co-Founder & CEO, Dispatch: “Satellites for Manufacturing in Space.”

    The next big space race won’t be about going up. It’ll be about bringing things back down. After four years building satellites at Astranis, Payton Case realized something: as launch costs collapse, the bottleneck flips. There’s still no infrastructure for manufacturing products in space and returning them safely to Earth. So Dispatch is building it. The thesis is simple: gravity is an invisible constraint on manufacturing. Remove gravity and semiconductor defects drop. Pharmaceutical crystals become more stable. Biological structures that collapse on Earth can solidify in microgravity. To prove the concept, the team built a full-scale heat shield, drove into the Mojave Desert, and blasted it with a rocket engine at 14× expected re-entry force. It survived 6× what they needed. The long-term vision:Factories in orbit. Permanent industrial infrastructure in space. 🎙️ Payton Case, Co-Founder & CEO of Dispatch, on Fondo START pod 00:12 What Dispatch is building: reusable re-entry vehicles for orbital manufacturing01:16 The next big space race... will involve bringing things back down to Earth02:05 Expanding from re-entry vehicles to industrial space stations02:33 Mojave Desert heat shield testing03:48 Gravity is this invisible constraint on manufacturing04:06 Pharmaceutical crystal growth in microgravity04:53 Semiconductor manufacturing with lower defect rates06:39 Understanding the modern space infrastructure stack08:01 3D printing organs in microgravity09:37 The coolest thing to be done in space has not been thought of yet Check out dispatch.space ‍

    12 min
  2. START pod: Pedro Nobre, Co-Founder, Cajal: “Scaling Formal Verification for Scientific Discovery”

    -2 J

    START pod: Pedro Nobre, Co-Founder, Cajal: “Scaling Formal Verification for Scientific Discovery”

    The most valuable thing in AI won't be generating answers. It'll be knowing which ones are right. Right now AI writes code, solves problems, produces proofs. But there's no way to guarantee any of it is correct. Pedro Nobre is building that guarantee. Cajal sits at the intersection of formal verification and AI. They use Lean, a language that lets you formalize a statement and derive a proof that's either correct or incorrect.  Binary. No ambiguity. The hard part: the space of possible proofs is combinatorially large. Humans somehow navigate it with strange inductive biases. Machines couldn't keep up. Then reinforcement learning changed what's possible. AI can now iterate against an infinite source of reward: mathematical correctness itself. The thesis: create a superintelligent mathematician, and you solve most problems. They're already working with frontier AI labs. Starting in quantum computing and finance. Software verification and cryptography next. 🎙️ Pedro Nobre, Co-Founder, Cajal on Fondo START Pod ‍ 01:37 Formal verification explained - verifying whether software or mathematics is correct 02:24 We need to make sure what AI outputs is correct 03:07 Why mathematical proof search is combinatorially difficult 03:42 How reinforcement learning is changing theorem proving 04:11 Why AI is suddenly solving harder math problems 04:28 We already have access to a superhuman mathematician 04:46 The future of checking whether all mathematics is actually correct 05:42 Quantum information theory and applied verification research 06:36 Smart contracts, specifications, and provably correct systems 07:11 If you create a super intelligent mathematician, then you solve most problems. ‍ Check out caj.al

    10 min
  3. 🎧 START pod: Kathryn Wu, Co-Founder, Openmart: “Openclaw for sales”

    13 MAI

    🎧 START pod: Kathryn Wu, Co-Founder, Openmart: “Openclaw for sales”

    The “buy a list and blast emails” era is ending Not because outbound stopped working Because the data got smarter than the emails Kathryn Wu and her co-founder built Openmart as an SMB intelligence layer:Verified ownersDecision-maker contactsGoogle reviewsWebsite qualityLocation intelligence & more Now they've launched "OpenClaw for Sales" A conversational outbound workspace built on top of that data No spreadsheet cleanupNo disconnected enrichment toolsNo giant table views Just ask the database what you need DoorDash uses Openmart for regional planningWhatnot uses it to identify high-quality sellersClay customers use the data directly inside outbound workflows Try it out at openmart.com 🎙️ Kathryn Wu, Co-Founder of Openmart on Fondo START pod ‍ 01:13 Openmart’s SMB intelligence database and Openclaw for Sales 02:16 The shift from giant lead lists to AI qualification and scoring 03:43 Why SMB data differs from LinkedIn-centric sales platforms 05:57 How modern GTM teams use multi-channel outbound workflows 06:39 The highest-value qualification signals in SMB sales 08:25 Openclaw for Sales and conversational outbound workflows 09:02 How DoorDash uses Openmart for regional planning 11:28 Deduplication and the hidden pain of outbound infrastructure 12:16 “The future is qualification and scoring” 14:08 Why proprietary data is the moat behind AI outbound Learn more at openmart.com

    21 min

À propos

Fondo is an all-in-one accounting platform for startups. Get your books closed, taxes filed, and cash back from the IRS.