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
@cpard.bsky.social @nitayj.bsky.social
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.
Why listen
1. Data pipelines determine model effectiveness, far more than most teams admit.
September 8, 2025 at 2:39 PM
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.
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
@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
August 18, 2025 at 3:27 PM
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
@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!
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!
July 28, 2025 at 2:36 PM
@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!
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.
@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.
June 5, 2025 at 7:47 PM
🚀 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.
@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
Eric Swan from ep.18
May 23, 2025 at 11:27 PM
Investors must embrace uncertainty and unpredictability when backing innovative, rapidly evolving technologies.
Eric Swan from ep.18
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
@ivanburazin.bsky.social from ep.9
May 23, 2025 at 2:26 PM
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
@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
Ben Sigelman from ep.11
May 22, 2025 at 11:26 PM
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
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
David Mytton from ep.10
May 22, 2025 at 2:23 PM
Edge computing platforms that run containers close to users improve performance and enable new application architectures.
David Mytton from ep.10
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
@ivanburazin.bsky.social on Developer Environments in Enterprise from ep.9
May 21, 2025 at 11:25 PM
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
@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
Dean Pleban on AI & the Future from ep.4
May 21, 2025 at 2:22 PM
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
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
Dean Plebal on User & Market Strategy from ep.4
May 20, 2025 at 11:21 PM
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
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
Yaron Hadad on Scientific Research & Collaboration from ep.13
May 20, 2025 at 2:19 PM
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
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
Roy Ben Alta on Career & Education from ep.8
May 19, 2025 at 11:18 PM
Personal and professional growth often intertwine, with experiences abroad and advanced education shaping global perspectives.
Roy Ben Alta on Career & Education from ep.8
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
Jayaprabhakar(JP) Kadarkarai on Formal Methods & Verification from ep.5
May 19, 2025 at 2:18 PM
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
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
Jayaprabhakar(JP) Kadarkarai from ep.5
May 16, 2025 at 11:56 PM
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
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
Viktor Kessler from ep.16
May 16, 2025 at 2:56 PM
Decentralized data architectures require robust infrastructure for managing governance, access controls, and rules across distributed data sources.
Viktor Kessler from ep.16
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
@philippemnoel.bsky.social from ep.12
May 15, 2025 at 11:55 PM
Startups and new products increasingly prioritize serverless models to reduce user friction and accelerate adoption.
@philippemnoel.bsky.social from ep.12
@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
Varant Zanoyan & Nikhil Simha from ep.2
May 15, 2025 at 2:54 PM
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
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
Dean Pleban from ep.4
May 14, 2025 at 11:53 PM
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
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
Jayaprabhakar(JP) Kadarkarai from ep.5
May 14, 2025 at 2:51 PM
The value proposition of formal methods becomes clear when dealing with complex distributed transactions involving multiple independent services.
Jayaprabhakar(JP) Kadarkarai from ep.5
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
Nikhil Simha & Varant Zanoyan from ep.2
May 13, 2025 at 11:49 PM
User experience and developer interaction with complex data abstractions remain a significant challenge beyond the technical integration.
Nikhil Simha & Varant Zanoyan from ep.2
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.
Viktor Kessler from ep.16 on the importance of metadata and catalogs for the future of AI and agentic architectures.
May 13, 2025 at 2:47 PM
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.
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
@ivanburazin.bsky.social from ep.9
May 12, 2025 at 11:39 PM
Successful AI developer tools must balance synchronous co-pilot style assistance with asynchronous autonomous agent workflows.
@ivanburazin.bsky.social from ep.9
@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
Well said, even before hashtag#MCP was as popular as today.
@ivanburazin.bsky.social from ep.9
May 12, 2025 at 2:37 PM
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
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!
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!
May 8, 2025 at 3:02 PM
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!
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!