Tech on the Rocks

@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!

Tech on the Rocks | Incremental Materialization: Reinventing Database Views with Gilad Kleinman of Epsio SummaryIn this episode, Gilad Kleinman, co-founder of Epsio, shares his unique journey from PHP development to low-level kernel programming and how that evolution led him to build an innovative inc...

🚨 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! 🎧👇

Tech on the Rocks Join Kostas and Nitay as they speak with amazingly smart people who are building the next generation of technology, from hardware to cloud compute. Tech on the Rocks is for people who are curious…

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.

🎧👉

Tech on the Rocks Join Kostas and Nitay as they speak with amazingly smart people who are building the next generation of technology, from hardware to cloud compute. Tech on the Rocks is for people who are curious…

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.

🎧 👉

Tech on the Rocks | Semantic Layers: The Missing Link Between AI and Data with David Jayatillake from Cube In this episode, we chat with David Jayatillake, VP of AI at Cube, about semantic layers and their crucial role in making AI work reliably with data. We explore how semantic layers act as a bridge ...

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 🎧

Tech on the Rocks | From black holes to AI in mathematics: AI Innovation in Mathematics and Health with Yaron Hadad In this episode, we chat with Yaron Hadad, a fascinating individual who transitioned from theoretical physics to entrepreneurship. We explore his groundbreaking work on black holes and gravitationa...

https://techontherocks.show/13

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.

Listen to the full episode to learn about:

Why FinTech loves MVCC-compliant search

The power of Postgres extensibility

Building on Postgres vs wire compatibility

The "bring your own cloud" model

check the episode here: https://techontherocks.show/12