Author | Lightnews

Tech on the Rocks @totrrocks.bsky.social · Sep 8

If you care about making AI features shippable, this episode maps the terrain and the trade-offs.

🔗 Link in the profile

Tech on the Rocks @totrrocks.bsky.social · Sep 8

4. How radical simplicity in tooling helps regular software teams (not just data specialists) ship AI features.
5. The path to standardization + accessibility in data management.

1

Tech on the Rocks @totrrocks.bsky.social · Sep 8

2. What they learned building search/NLP products across multiple ventures.
3. Why data engineering is converging with software engineering (standards, testing, Git-like workflows).

1 1

Tech on the Rocks @totrrocks.bsky.social · Sep 8

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.

1 3 4

Tech on the Rocks @totrrocks.bsky.social · Aug 18

techontherocks.show/21

Tech on the Rocks | Email as a Knowledge Graph: Micro CEO Brett on Rebuilding CRM at the Inbox

SummaryBrett — founder & CEO of Micro — joins Nitay and Kostas to share how he’s turning email into a knowledge graph and rebuilding CRM right inside the inbox. He traces a path from Google’s M&A a...

techontherocks.show

Tech on the Rocks @totrrocks.bsky.social · Aug 18

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

1 1 1

Tech on the Rocks @totrrocks.bsky.social · Jul 28

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

1 4

Tech on the Rocks @totrrocks.bsky.social · Jun 5

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

2

Tech on the Rocks @totrrocks.bsky.social · May 23

Investors must embrace uncertainty and unpredictability when backing innovative, rapidly evolving technologies.

Eric Swan from ep.18

Tech on the Rocks @totrrocks.bsky.social · May 23

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

1

Tech on the Rocks @totrrocks.bsky.social · May 22

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

Tech on the Rocks @totrrocks.bsky.social · May 22

Edge computing platforms that run containers close to users improve performance and enable new application architectures.

David Mytton from ep.10

Tech on the Rocks @totrrocks.bsky.social · May 21

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

Tech on the Rocks @totrrocks.bsky.social · May 21

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

Tech on the Rocks @totrrocks.bsky.social · May 20

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

Tech on the Rocks @totrrocks.bsky.social · May 20

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

1

Tech on the Rocks @totrrocks.bsky.social · May 19

Personal and professional growth often intertwine, with experiences abroad and advanced education shaping global perspectives.

Roy Ben Alta on Career & Education from ep.8

1

Tech on the Rocks @totrrocks.bsky.social · May 19

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

1 2

Tech on the Rocks @totrrocks.bsky.social · May 16

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

1

Tech on the Rocks @totrrocks.bsky.social · May 16

Decentralized data architectures require robust infrastructure for managing governance, access controls, and rules across distributed data sources.

Viktor Kessler from ep.16

1

Tech on the Rocks @totrrocks.bsky.social · May 15

Startups and new products increasingly prioritize serverless models to reduce user friction and accelerate adoption.

@philippemnoel.bsky.social from ep.12

1 2

Tech on the Rocks @totrrocks.bsky.social · May 15

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

1

Tech on the Rocks @totrrocks.bsky.social · May 14

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

Tech on the Rocks @totrrocks.bsky.social · May 14

The value proposition of formal methods becomes clear when dealing with complex distributed transactions involving multiple independent services.

Jayaprabhakar(JP) Kadarkarai from ep.5

1 1

Tech on the Rocks @totrrocks.bsky.social · May 13

User experience and developer interaction with complex data abstractions remain a significant challenge beyond the technical integration.

Nikhil Simha & Varant Zanoyan from ep.2

1 2