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

@steveklabnik.com Joined us on an episode where we discussed about Why: • Cargo & friendly errors > benchmarks • 6-week releases > years-long committees • How Rust united Ruby, FP & C++ devs • Next-gen picks and many more! Check the episode on your favorite platform!

🚀 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.

Investors must embrace uncertainty and unpredictability when backing innovative, rapidly evolving technologies. Eric Swan from ep.18

Most companies do not use off-the-shelf dev environment solutions; they create highly customized setups unique to their needs. @ivanburazin.bsky.social from ep.9

The halting problem does not prevent proving equivalence for many practical code transformations, making formal verification feasible in many cases. Ben Sigelman from ep.11

Edge computing platforms that run containers close to users improve performance and enable new application architectures. David Mytton from ep.10

Automation that enables one-click spin-up of complex dev environments is a critical pain point for large enterprises. @ivanburazin.bsky.social on Developer Environments in Enterprise from ep.9

AI agents capable of autonomously performing tasks on our behalf remain limited but hold transformative potential for freeing human creativity. Dean Pleban on AI & the Future from ep.4

Ownership ambiguity over data pipelines and infrastructure is a major source of friction in data and ML workflows. Dean Plebal on User & Market Strategy from ep.4

Automatic theorem proving complements conjecture generation by providing tools to verify and prove newly discovered formulas. Yaron Hadad on Scientific Research & Collaboration from ep.13

Personal and professional growth often intertwine, with experiences abroad and advanced education shaping global perspectives. Roy Ben Alta on Career & Education from ep.8

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

Engineering excellence requires continuous learning from past successes and failures, which is often documented and shared in high-quality engineering cultures. Jayaprabhakar(JP) Kadarkarai from ep.5

Decentralized data architectures require robust infrastructure for managing governance, access controls, and rules across distributed data sources. Viktor Kessler from ep.16

Startups and new products increasingly prioritize serverless models to reduce user friction and accelerate adoption. @philippemnoel.bsky.social from ep.12

Legacy APIs based on static configurations (e.g., YAML with embedded SQL) often give way to more dynamic, code-driven approaches for flexibility and power. Varant Zanoyan & Nikhil Simha from ep.2

The integration of large language models (LLMs) into everyday tools like smartphones and laptops will accelerate the shift toward AI-driven task automation. Dean Pleban from ep.4

The value proposition of formal methods becomes clear when dealing with complex distributed transactions involving multiple independent services. Jayaprabhakar(JP) Kadarkarai from ep.5

User experience and developer interaction with complex data abstractions remain a significant challenge beyond the technical integration. Nikhil Simha & Varant Zanoyan from ep.2

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.

Successful AI developer tools must balance synchronous co-pilot style assistance with asynchronous autonomous agent workflows. @ivanburazin.bsky.social from ep.9

Managing AI access and permissions requires careful role-based controls to prevent over-privileged AI actions in enterprise environments. Well said, even before hashtag#MCP was as popular as today. @ivanburazin.bsky.social from ep.9

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!

🚨 New episode! Gilad Kleinman (Epsio) joins us to talk reinventing materialized views: think real-time query results, CDC-powered incremental updates, and serious Rust performance—all seamlessly integrated with your database. don’t miss it! 🎧👇

New episode! “From Data Mesh to Lake House: Revolutionizing Metadata with Lakekeeper” Features Viktor Kessler sharing his journey from risk management systems to a startup transforming metadata with Apache Iceberg. 🎧👉

New episode: Reinventing Stream Processing with @apurvamehta.com from @responsive.dev We cover: Real-time vs low latency in streaming Why stateful streaming is hard at scale RocksDB, Postgres limitations SQL vs flexible APIs Decoupling state & compute with SlateDB. 🎧 👉

New episode: “Semantic Layers: The Missing Link Between AI and Data” with @jayatillake.bsky.social . We discuss how semantic layers bridge raw data and AI, achieving 100% accuracy for natural language queries, and what’s next for LLM-powered data pipelines. 🎧 https://techontherocks.show/14 🎧

Dive into the mind of Yaron Hadad as he talks everything from theoretical physics through AI to practical health tech. Learn about his Ramanujan machine's impact on mathematics, the challenges of nutrition science, and intriguing predictions for physics' future. This episode has it all.

New episode! We talked with Philippe Noël about building ParadeDB, an exciting Elasticsearch alternative built on Postgres that offers fast full-text search and analytics with zero ETL. Search is becoming the primary interface for data-heavy applications - and AI.

From optimizing Google Search to optimizing Snowflake bills: How espresso_ai's founder Ben Lerner, combined ML expertise with systems performance to help companies cut cloud costs. Fascinating journey and insights from Ben in our latest episode 🎙️

Join us at another episode of Tech on the Rocks, this time with @davidmytton.social of Arcjet. We talk about security as code, security in a world of AI and dev tooling. Check the episode here: https://buff.ly/4ggWGeO

Join Ivan on Tech on the Rocks for a fascinating discussion about the evolution of web development. 15 years ago browser limitations made coding a challenge, a stark contrast to today’s powerful browser. Ivan also reflects on how predictions from that era hold up in today’s landscape. Link below.