Reflecting on our event - @fv_summit Every moment of this event on the 10th of June, has been a deeply humbling experience for me. Right from our event being over-subscribed on Luma for it's very first edition, to sitting across from Vinod for the fireside, to seeing 200 people fill up the venue despite being a working day, to having marquee speakers on stage sharing a common vision, to the deeply technical and profound discussions at the panel, to the passionate networking conversations going on late till 11pm. All of these have been very reassuring for us, and we're committed to further the cause of Verification in AI. Thanks to @vkhosla for his dedication to the event and setting the tone for the evening. Thanks to every speaker who flew in, and thanks to every attendee who could join us. Thank you to my co-founders, our team at @PramaanaLabs; @khoslaventures and @BoldCap for being in this with us. This is just the beginning. It's time to verify AI.

We are excited to co-host this summit and meet some amazing talent building the future of trusted AI.

Speaker drop (5/14): Teaching machines to prove math: @CarinaLHong See you all at SF, on 10th June ! It's time to verify AI! @PramaanaLabs @khoslaventures @boldcapfund

Excited to be co-hosting the @fv_summit with @PramaanaLabs We were tired of sorries too. Hence, we decided to bring the world's best formal verification talent together who are putting an end to AI saying sorry. Want to join them? It's time to verify!!

I think this will turn out to be a very important area. Founders should work on things AI is not good at.

We have put a website for this, and you can check it here: verificationsummit.ai RSVP here: luma.com/597otp0a

We are coming with some huge updates this week onwards. Stay Tuned. #GlobalIndianAmbition

Using Lean 4 to identify contradictions in laws. Very exciting work by Pramaana Labs pramaanalabs.ai/. They have build a DSL called LegalLean to formalise US tax codes.

Demos, Superbuilders, AI Videos only - NO PITCHES were done at the Demo Party: @OpenAI edition Comic Con for AI is here. More such experiences from my side... stay tuned if you are building in AI

𝗙𝗿𝗼𝗺 𝗩𝗲𝗻𝘁𝘂𝗿𝗲 𝗕𝗼𝗼𝗺 𝘁𝗼 𝗩𝗲𝗻𝘁𝘂𝗿𝗲 𝗗𝗶𝘀𝗰𝗶𝗽𝗹𝗶𝗻𝗲 At @IndianVCA Conclave 2026, a panel discussion on “Backing the Next Wave of Indian Innovation: The VC Perspective” examined how India’s venture capital (VC) ecosystem has reset after the 2021 funding surge and what the next phase of venture investing will demand. 𝗞𝗲𝘆 𝗶𝗻𝘀𝗶𝗴𝗵𝘁𝘀: • VC investment in India peaked at $36 billion in 2021, declined to $24 billion in 2022 and $8 billion in 2023, and stabilised at around $12 billion in 2025, reflecting a return to more sustainable pre-COVID investment levels. • Investors are now prioritising unit economics, governance, and paths to profitability, with many Series A valuations increasingly tied to revenue multiples and profitability timelines of 18–24 months. • The ecosystem is maturing, with 36% of Series A deals in 2025 raised by repeat founders, up from 18% in 2020, signalling the growing role of experienced entrepreneurs. • Venture capital is increasingly backing deeptech and AI-driven innovation, with global venture funding for AI already accounting for around 51% of investment in 2024. Panellists included: 📌 Ashok Ananthakrishnan, Partner, @ironpillarfund 📌 @mkheterpal, Founder and Managing Partner, @WBridgeVentures 📌 Padmaja Ruparel, Senior Managing Partner, @ianetwork 📌 Sharad Malpani, Director, Venture Capital, ICICI Venture 📌 @sathyanellore, General Partner, @boldcapfund 📌 Sean Murphy, Partner, Cooley #IVCAConclave2026 #VentureCapital #StartupEcosystem #PrivateEquityIndia #AlternateCapital #SEBI

.@enkryptai is on @harmonic_ai's Hot 25 Startups™ list 👏 Big congratulations to Prashanth, Sahil, and the team for building the trusted infrastructure for secure AI adoption. Many More to Come 🥂 #AI #AIInfra #Startups #Cybersecurity #EnkryptAI #Hot25Startups

🎙️ Ep 1 of IN CONTEXT Show by BoldCap is live! @VijayRayapati (@atomicworkhq | ex-Nutanix) x @sathyanellore (GP, BoldCap) on All about the Decade of Agency → how Agents will Redefine Work Watch: youtube.com/watch?v=ytIphLE3… Listen: open.spotify.com/episode/6Yz… #AI #Startups #INCONTEXT