Tech on the Rocks
totrrocks.bsky.social
Tech on the Rocks
@totrrocks.bsky.social
27 followers 3 following 42 posts
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
Posts Media Videos Starter Packs
If you care about making AI features shippable, this episode maps the terrain and the trade-offs.

🔗 Link in the profile
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.
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).
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