Tech on the Rocks

@totrrocks.bsky.social

Conversations with amazingly smart people who are building the next generation of technology, from hardware to cloud. Hosted by @cpard.bsky.social @nitayj.bsky.social

"Never bait and switch developers." @jt.lol watched CRDTs promise magic on day one and deliver misery by month six. Convex starts with serializable transactions and typed, reactive code instead - and it turns out that's what AI agents write best too. episode link below

New episode of Tech on the Rocks! From Art to Science: Wild Moose and the Future of AI-Powered Debugging The full founding team breaks down how their "microagents" replicate the muscle memory of senior engineers to investigate production incidents in under a minute.

New episode: chatting with bauplan founders Jacopo Tagliabue and Ciro Greco on shipping AI with real-world data constraints. Why listen 1. Data pipelines determine model effectiveness, far more than most teams admit.

What if email isn’t an inbox—it’s your company’s knowledge graph? 🧠 @thatguybg.bsky.social breaks down: acquisition reality (retention/culture > price), startup energy vs. big-co burnout, Launch House, and Micro’s AI layer that turns mail into CRM/hiring/sales apps + proactive updates” link below

🚀 New Episode Alert! ‪@cloudflare.social‬'s Josh Howard, dives into serverless computing at the edge with Durable Objects & Workers. Learn how to build globally scalable, stateful apps easily & reliably. Check our profile to listen to the episode on your favorite platform.

Formal verification tools like TLA+, FizzBee, and Antithesis serve different stages: design-level verification versus implementation-level testing. Jayaprabhakar(JP) Kadarkarai on Formal Methods & Verification from ep.5

AI agents and automated operators require actionable metadata to autonomously coordinate data usage and pipeline stability. Viktor Kessler from ep.16 on the importance of metadata and catalogs for the future of AI and agentic architectures.

Erik’s been in tech longer than some programming languages. @splunk founder, and now building something new with AI. We get into building from first principles, surviving PLG, brand as a GTM edge, and what Erik’s building next. Check it on your favorite podcast platform!