a16z Podcast
Summary & Insights
Where is all the automation? This is the central frustration driving Diogo Almeida, founder of TypeSafe, as he observes a tragic gap between the immense intelligence of modern AI and its actual utility in software. While current AI coding agents are excellent at writing syntax, they essentially produce the same types of software we’ve had for a decade—just faster. The result isn’t necessarily better software; in some cases, it’s worse, characterized by less oversight and increased security vulnerabilities.
TypeSafe and its model, JEV, aim to move beyond “just-in-time” software toward “smart software.” Instead of using AI to replace the engineer, JEV provides a new primitive—an intelligent layer that can be embedded directly into a program’s code. By marrying natural language intent with a state machine, JEV allows developers to build software that can make probabilistic decisions with confidence levels, expanding what software is capable of doing rather than just how quickly it can be written.
The conversation emphasizes that the path to true automation isn’t through a single “God-like” mono-model, but through reliability and pragmatism. Diogo argues that the industry has spent too much time optimizing for human judges (who are easily impressed by demos) rather than optimizing for productive, background automation. The vision for the future is a “Sassapalooza”—an inverse of the SaaS-pocalypse—where existing software companies use these new primitives to make their products dramatically more useful, eventually leading to a world where technology simply “does what you mean.”
Surprising Insights
- The Syntax vs. Semantics Gap: Coding agents are highly proficient at syntax but remain fundamentally poor at semantics and software architecture, which remains the most human, creative part of the process.
- The Demo Trap: Much of the AI industry’s perceived progress is an illusion created by optimizing for the “judge” (the human evaluating a demo) rather than the actual reliability of the automation.
- Probabilistic Programming’s Return: The conversation suggests we are entering a new era of probabilistic programming, reviving concepts from the 1970s by allowing “brains” to exist within logic gates.
- The SaaS Opportunity: While markets feared a “SaaS-pocalypse” where AI makes software cheap and easy to replicate, the actual opportunity is for SaaS companies to embed intelligence into their existing workflows to increase value.
Practical Takeaways
- Focus on Robustness over Determinism: When building AI-integrated systems, strive for “robustness”—consistent intelligence—rather than strict determinism, which is often unrealistic for real-world distributions.
- Prioritize “Intelligence per Dollar”: For scalable automation, optimize for the lowest cost of intelligence that still meets the reliability threshold for the specific task.
- Avoid the “Chatbot Wrapper” Mentality: Instead of adding a chatbot as a sidecar to your software, look for ways to integrate AI as a functional primitive within the program’s internal state machine.
- Benchmark Against Productive Tasks: Measure the success of AI implementation by the extent to which it automates a rote, economically valuable task without requiring a human to “page” the system for errors.
🛍️ Products & Resources Mentioned
- ⚡ DeviceCursor — Mentioned as a great coding agent tool that helps developers write code faster.View on Amazon →
Tự động hóa thực sự đang ở đâu? Đây chính là nỗi trăn trở lớn nhất của Diogo Almeida, người sáng lập TypeSafe, khi ông quan sát thấy một khoảng cách bi kịch giữa trí tuệ khổng lồ của AI hiện đại và tính hữu dụng thực tế của nó trong phần mềm. Trong khi các tác nhân lập trình AI hiện nay rất xuất sắc trong việc viết cú pháp, về cơ bản chúng chỉ tạo ra những loại phần mềm tương tự như chúng ta đã có trong một thập kỷ qua—chỉ là tốc độ nhanh hơn. Kết quả không hẳn là phần mềm tốt hơn; trong một số trường hợp, nó thậm chí tệ hơn, đặc trưng bởi việc thiếu sự giám sát và gia tăng các lỗ hổng bảo mật.
TypeSafe và mô hình JEV của họ hướng tới việc chuyển dịch từ phần mềm “vừa kịp lúc” (just-in-time) sang “phần mềm thông minh”. Thay vì dùng AI để thay thế kỹ sư, JEV cung cấp một nguyên ngữ (primitive) mới—một lớp thông minh có thể được nhúng trực tiếp vào mã nguồn của chương trình. Bằng cách kết hợp ý định bằng ngôn ngữ tự nhiên với một máy trạng thái (state machine), JEV cho phép các nhà phát triển xây dựng phần mềm có khả năng đưa ra các quyết định theo xác suất với các mức độ tin cậy, từ đó mở rộng khả năng của phần mềm thay vì chỉ tăng tốc độ viết mã.
Cuộc thảo luận nhấn mạnh rằng con đường dẫn đến tự động hóa thực sự không nằm ở một mô hình đơn lẻ “quyền năng như Chúa”, mà nằm ở sự tin cậy và tính thực tiễn. Diogo lập luận rằng ngành công nghiệp đã dành quá nhiều thời gian để tối ưu hóa cho những “giám khảo” là con người (những người dễ bị ấn tượng bởi các bản demo) thay vì tối ưu hóa cho khả năng tự động hóa chạy ngầm một cách hiệu quả. Tầm nhìn cho tương lai là một “Sassapalooza”—ngược lại với thảm họa SaaS (SaaS-pocalypse)—nơi các công ty phần mềm hiện tại sử dụng những nguyên ngữ mới này để khiến sản phẩm của họ hữu ích hơn đáng kể, cuối cùng dẫn đến một thế giới nơi công nghệ đơn giản là “làm đúng những gì bạn muốn”.
Những góc nhìn bất ngờ
- Khoảng cách giữa Cú pháp và Ngữ nghĩa: Các tác nhân lập trình rất thành thạo về cú pháp nhưng về cơ bản vẫn còn yếu về ngữ nghĩa và kiến trúc phần mềm—vốn là phần sáng tạo và mang tính con người nhất trong quá trình phát triển.
- Bẫy Demo: Phần lớn tiến bộ được nhận thức trong ngành AI là một ảo ảnh được tạo ra bằng cách tối ưu hóa cho “giám khảo” (người đánh giá bản demo) thay vì tối ưu hóa độ tin cậy thực tế của việc tự động hóa.
- Sự trở lại của Lập trình Xác suất: Cuộc thảo luận gợi ý rằng chúng ta đang bước vào một kỷ nguyên mới của lập trình xác suất, hồi sinh các khái niệm từ những năm 1970 bằng cách cho phép các “bộ não” tồn tại bên trong các cổng logic.
- Cơ hội cho SaaS: Trong khi thị trường lo sợ một “SaaS-pocalypse” nơi AI khiến phần mềm trở nên rẻ tiền và dễ sao chép, cơ hội thực sự lại nằm ở việc các công ty SaaS nhúng trí tuệ nhân tạo vào quy trình làm việc hiện có để gia tăng giá trị.
Bài học thực tiễn
- Ưu tiên sự Vững chãi (Robustness) hơn tính Định mệnh (Determinism): Khi xây dựng các hệ thống tích hợp AI, hãy hướng tới “sự vững chãi”—trí tuệ nhất quán—thay vì tính định mệnh nghiêm ngặt, điều vốn thường không thực tế đối với các phân phối dữ liệu trong thế giới thực.
- Ưu tiên “Trí tuệ trên mỗi Đô la”: Để tự động hóa có thể mở rộng, hãy tối ưu hóa chi phí thấp nhất cho trí tuệ mà vẫn đáp ứng được ngưỡng tin cậy cho tác vụ cụ thể đó.
- Tránh tư duy “Vỏ bọc Chatbot” (Chatbot Wrapper): Thay vì thêm một chatbot như một phụ kiện đi kèm phần mềm, hãy tìm cách tích hợp AI như một nguyên ngữ chức năng bên trong máy trạng thái nội bộ của chương trình.
- Đánh giá dựa trên các Tác vụ Thực tế: Đo lường sự thành công của việc triển khai AI bằng mức độ nó tự động hóa một tác vụ lặp đi lặp lại, có giá trị kinh tế mà không cần con người phải “can thiệp” khi hệ thống xảy ra lỗi.
自動化都去哪了?這是 TypeSafe 創辦人 Diogo Almeida 的核心困擾。他觀察到現代 AI 的強大智能與其在軟體開發中的實際效用之間存在著悲劇性的差距。雖然目前的 AI 程式碼代理(coding agents)非常擅長編寫語法,但它們本質上產出的依然是我們十年前就有的軟體類型——只是速度更快了。其結果並不一定是更好的軟體;在某些情況下反而更糟,其特徵是缺乏監督且安全漏洞增加。
TypeSafe 及其模型 JEV 旨在超越「即時(just-in-time)」軟體,邁向「智能軟體」。JEV 並非旨在用 AI 取代工程師,而是提供了一種新的原語(primitive)——一個可以直接嵌入到程式碼中的智能層。透過將自然語言意圖與狀態機(state machine)相結合,JEV 讓開發者能夠構建出能以信心水準做出機率性決策的軟體,從而擴展軟體的能力邊界,而非僅僅是提高編寫速度。
這次對談強調,實現真正自動化的路徑並非依賴單一的「神級」單一模型,而是在於可靠性與務實主義。Diogo 主張,業界花太多時間在針對「人類評審」(那些容易被 Demo 演示所吸引的人)進行優化,而不是針對高效的後台自動化進行優化。他對未來的願景是「Sassapalooza」——即「SaaS 末日(SaaS-pocalypse)」的反轉——現有的軟體公司將利用這些新原語使其產品變得極其有用,最終讓我們進入一個科技能簡單地「理解你的原意」的世界。
深刻洞察
- 語法與語義的差距:程式碼代理在語法方面精通,但在語義和軟體架構方面依然糟糕,而這正是開發過程中最需要人類創造力的部分。
- Demo 陷阱:AI 產業許多感知上的進步其實是一種幻象,這是因為開發者在針對「評審」(評估 Demo 的人類)進行優化,而非針對自動化的實際可靠性。
- 機率性程式設計的回歸:對話表明我們正進入一個機率性程式設計(probabilistic programming)的新時代,透過允許「大腦」存在於邏輯閘之中,復興了 1970 年代的概念。
- SaaS 的機遇:儘管市場擔心 AI 會使軟體廉價且易於複製,從而導致「SaaS 末日」,但真正的機會在於 SaaS 公司將智能嵌入現有工作流中以提升價值。
實踐要點
- 關注穩健性而非決定論:在構建 AI 整合系統時,應追求「穩健性(robustness)」——即一致的智能——而非嚴格的決定論,因為後者在現實世界的分佈中往往是不切實際的。
- 優先考慮「單位成本智能」:為了實現可擴展的自動化,應針對最低的智能成本進行優化,且該成本仍需滿足特定任務的可靠性門檻。
- 避免「聊天機器人外殼」思維:不要僅將聊天機器人作為軟體的附加組件,而應尋找將 AI 作為功能原語整合到程式內部狀態機中的方法。
- 以生產任務為基準:衡量 AI 實施成功的標準,應在於它能在多大程度上自動化執行一項枯燥且具有經濟價值的任務,且無需人類因錯誤而頻繁「呼叫」系統。
Où est passée toute l’automatisation ? C’est la frustration centrale qui anime Diogo Almeida, fondateur de TypeSafe, alors qu’il observe un fossé tragique entre l’intelligence immense de l’IA moderne et son utilité réelle dans le domaine du logiciel. Si les agents de codage actuels excellent dans l’écriture de la syntaxe, ils produisent essentiellement les mêmes types de logiciels que ceux que nous connaissons depuis une décennie — seulement plus rapidement. Le résultat n’est pas nécessairement un meilleur logiciel ; dans certains cas, il est même pire, caractérisé par un manque de surveillance et une augmentation des vulnérabilités de sécurité.
TypeSafe et son modèle, JEV, ambitionnent de dépasser le logiciel « juste-à-temps » pour tendre vers le « logiciel intelligent ». Plutôt que d’utiliser l’IA pour remplacer l’ingénieur, JEV propose une nouvelle primitive : une couche intelligente pouvant être intégrée directement dans le code d’un programme. En mariant l’intention exprimée en langage naturel avec une machine à états, JEV permet aux développeurs de concevoir des logiciels capables de prendre des décisions probabilistes avec des niveaux de confiance, élargissant ainsi les capacités du logiciel plutôt que sa simple vitesse d’écriture.
La conversation souligne que le chemin vers une véritable automatisation ne passe pas par un modèle unique et « omnipotent », mais par la fiabilité et le pragmatisme. Diogo soutient que l’industrie a passé trop de temps à optimiser ses outils pour des juges humains (facilement impressionnés par des démonstrations) plutôt que pour une automatisation de fond productive. La vision du futur est celle d’une « Sassapalooza » — l’inverse de la « SaaS-pocalypse » — où les entreprises de logiciels existantes utilisent ces nouvelles primitives pour rendre leurs produits considérablement plus utiles, menant à terme à un monde où la technologie « fait simplement ce que vous voulez dire ».
Perspectives surprenantes
- Le fossé entre syntaxe et sémantique : Les agents de codage sont très performants en syntaxe, mais restent fondamentalement médiocres en sémantique et en architecture logicielle, qui demeurent les parties les plus humaines et créatives du processus.
- Le piège de la démo : Une grande partie des progrès perçus dans l’industrie de l’IA est une illusion créée par l’optimisation pour le « juge » (l’humain qui évalue une démo) plutôt que pour la fiabilité réelle de l’automatisation.
- Le retour de la programmation probabiliste : La conversation suggère que nous entrons dans une nouvelle ère de la programmation probabiliste, ravivant des concepts des années 1970 en permettant à des « cerveaux » d’exister au sein de portes logiques.
- L’opportunité du SaaS : Alors que les marchés craignaient une « SaaS-pocalypse » où l’IA rendrait les logiciels bon marché et faciles à répliquer, l’opportunité réelle réside dans la capacité des entreprises SaaS à intégrer l’intelligence dans leurs flux de travail existants pour accroître leur valeur.
enseignements pratiques
- Privilégier la robustesse au déterminisme : Lors de la construction de systèmes intégrant l’IA, visez la « robustesse » — une intelligence cohérente — plutôt qu’un déterminisme strict, souvent irréaliste face aux distributions du monde réel.
- Prioriser l’« intelligence par dollar » : Pour une automatisation évolutive, optimisez pour le coût d’intelligence le plus bas qui respecte toujours le seuil de fiabilité requis pour la tâche spécifique.
- Éviter la mentalité du « wrapper de chatbot » : Au lieu d’ajouter un chatbot comme un module complémentaire à votre logiciel, cherchez des moyens d’intégrer l’IA comme une primitive fonctionnelle au sein de la machine à états interne du programme.
- Évaluer par rapport aux tâches productives : Mesurez le succès de l’implémentation de l’IA par la mesure dans laquelle elle automatise une tâche routinière et économiquement précieuse, sans nécessiter qu’un humain n’intervienne pour signaler des erreurs au système.
Wo bleibt die ganze Automatisierung? Dies ist die zentrale Frustration, die Diogo Almeida, den Gründer von TypeSafe, antreibt, während er eine tragische Lücke zwischen der immensen Intelligenz moderner KI und ihrem tatsächlichen Nutzen in der Softwareentwicklung beobachtet. Während aktuelle KI-Coding-Agenten exzellent darin sind, Syntax zu schreiben, produzieren sie im Grunde dieselben Arten von Software, die wir schon seit einem Jahrzehnt kennen – nur schneller. Das Ergebnis ist nicht zwangsläufig bessere Software; in einigen Fällen ist sie sogar schlechter, gekennzeichnet durch weniger Aufsicht und eine Zunahme von Sicherheitslücken.
TypeSafe und sein Modell JEV zielen darauf ab, über „Just-in-Time“-Software hin zu „smarter Software“ zu gelangen. Anstatt KI einzusetzen, um den Ingenieur zu ersetzen, bietet JEV ein neues Primitiv – eine intelligente Ebene, die direkt in den Programmcode eingebettet werden kann. Durch die Verbindung von natürlicher Sprachintention mit einer Zustandsmaschine ermöglicht JEV Entwicklern den Bau von Software, die probabilistische Entscheidungen mit Konfidenzniveaus treffen kann. Dadurch wird erweitert, wozu Software fähig ist, anstatt nur, wie schnell sie geschrieben werden kann.
Das Gespräch betont, dass der Weg zur wahren Automatisierung nicht über ein einzelnes „gottgleiches“ Mono-Modell führt, sondern über Zuverlässigkeit und Pragmatismus. Diogo argumentiert, dass die Branche zu viel Zeit damit verbracht hat, für menschliche Beurteiler zu optimieren (die leicht durch Demos zu beeindrucken sind), anstatt für produktive Hintergrundautomatisierung. Die Vision für die Zukunft ist eine „Sassapalooza“ – das Gegenteil einer SaaS-pocalypse –, in der bestehende Softwareunternehmen diese neuen Primitive nutzen, um ihre Produkte dramatisch nützlicher zu machen, was letztendlich zu einer Welt führt, in der Technologie einfach „tut, was man meint“.
Überraschende Erkenntnisse
- Die Lücke zwischen Syntax und Semantik: Coding-Agenten sind hochversiert in der Syntax, bleiben aber grundlegend schwach in der Semantik und Softwarearchitektur, was der menschlichsten und kreativsten Teil des Prozesses bleibt.
- Die Demo-Falle: Ein Großteil des wahrgenommenen Fortschritts der KI-Industrie ist eine Illusion, die durch die Optimierung für den „Richter“ (den Menschen, der eine Demo bewertet) anstatt für die tatsächliche Zuverlässigkeit der Automatisierung entstanden ist.
- Die Rückkehr der probabilistischen Programmierung: Das Gespräch legt nahe, dass wir in eine neue Ära der probabilistischen Programmierung eintreten und Konzepte aus den 1970ern wiederbeleben, indem wir erlauben, dass „Gehirne“ innerhalb von Logikgattern existieren.
- Die SaaS-Chance: Während die Märkte eine „SaaS-pocalypse“ befürchteten, in der KI Software billig und leicht replizierbar macht, liegt die eigentliche Chance für SaaS-Unternehmen darin, Intelligenz in ihre bestehenden Workflows einzubetten, um den Mehrwert zu steigern.
Praktische Erkenntnisse
- Fokus auf Robustheit statt Determinismus: Streben Sie beim Bau KI-integrierter Systeme nach „Robustheit“ – einer konsistenten Intelligenz – anstatt nach striktem Determinismus, der für reale Verteilungen oft unrealistisch ist.
- Priorisierung von „Intelligenz pro Dollar“: Optimieren Sie für eine skalierbare Automatisierung die niedrigsten Kosten für Intelligenz, die immer noch die Zuverlässigkeitsschwelle für die spezifische Aufgabe erfüllen.
- Vermeidung der „Chatbot-Wrapper“-Mentalität: Anstatt einen Chatbot als Beifahrer zu Ihrer Software hinzuzufügen, suchen Sie nach Wegen, KI als funktionales Primitiv innerhalb der internen Zustandsmaschine des Programms zu integrieren.
- Benchmark an produktiven Aufgaben: Messen Sie den Erfolg einer KI-Implementierung daran, inwieweit sie eine monotone, wirtschaftlich wertvolle Aufgabe automatisiert, ohne dass ein Mensch das System bei Fehlern „anfunken“ muss.
a16z’s Ben Horowitz and Martin Casado sit down with TypeSafe AI founder Diogo Almeida to ask a simple question: AI has become remarkably capable, so where is all the automation?
Diogo argues that coding agents may help us write software faster, but the software they produce still largely works the way software always has. TypeSafe is taking a different approach with Jev: putting intelligence inside software itself, so developers can build programs that reason about intent and make probabilistic decisions rather than simply generate text for a human to interpret.
They discuss why reliability is the key to making AI genuinely programmable, how this could open a new era of probabilistic software, and why established SaaS companies may be particularly well positioned to benefit. Ultimately, Diogo’s goal is straightforward: technology that can reliably “do what I mean.”
Resources:
Follow Diogo Almeida: https://x.com/CompleteSkeptic
Learn more about TypeSafe AI: https://typesafe.ai/
Follow TypeSafe AI: https://x.com/typesafeai
Follow Ben Horowitz on X: https://x.com/bhorowitz
Follow Martin Casado on X: https://x.com/martin_casado
Stay Updated:
Find a16z on YouTube: YouTube
Find a16z on X
Find a16z on LinkedIn
Listen to the a16z Show on Spotify
Listen to the a16z Show on Apple Podcasts
Follow our host: https://twitter.com/eriktorenberg
Please note that the content here is for informational purposes only; should NOT be taken as legal, business, tax, or investment advice or be used to evaluate any investment or security; and is not directed at any investors or potential investors in any a16z fund. a16z and its affiliates may maintain investments in the companies discussed. For more details please see a16z.com/disclosures.
Hosted by Simplecast, an AdsWizz company. See pcm.adswizz.com for information about our collection and use of personal data for advertising.
-
Building the Physical AI Stack | Travis Kalanick on TBPN
Travis Kalanick joins TBPN to discuss Atoms, his vision for industrial AI, and why he believes the biggest opportunities in AI lie beyond software. He explains how Atoms is bringing autonomy to mining, logistics, and…
-
Building the Physical AI Stack | Travis Kalanick on TBPN
Travis Kalanick joins TBPN to discuss Atoms, his vision for industrial AI, and why he believes the biggest opportunities in AI lie beyond software. He explains how Atoms is bringing autonomy to mining, logistics, and…
-
Travis Kalanick Is Back | Building the Future of Industrial AI
Travis Kalanick, Ben Horowitz, and Erik Torenberg reunite to reflect on Uber’s early days, the investment that almost happened, and why Kalanick believes the next great technology opportunity lies beyond software. They discuss the lessons…
-
Travis Kalanick Is Back | Building the Future of Industrial AI
Travis Kalanick, Ben Horowitz, and Erik Torenberg reunite to reflect on Uber’s early days, the investment that almost happened, and why Kalanick believes the next great technology opportunity lies beyond software. They discuss the lessons…
-
Why Physical AI Is the Next Frontier | Applied Intuition
Applied Intuition has spent the past decade building the software that powers intelligent machines, from passenger vehicles and trucks to defense systems, mining equipment, and industrial robots. In this conversation, Marc Andreessen and Erik Torenberg…
-
Why Physical AI Is the Next Frontier | Applied Intuition
Applied Intuition has spent the past decade building the software that powers intelligent machines, from passenger vehicles and trucks to defense systems, mining equipment, and industrial robots. In this conversation, Marc Andreessen and Erik Torenberg…
-
Hugging Face’s CEO on Open Source AI, Model Routing, and the Future of Competition
As governments weigh new restrictions on frontier AI models, one question is becoming increasingly important: what role should open source play in the future of artificial intelligence? Theo Jaffee and Sofia Puccini speak with Hugging…
-
Hugging Face’s CEO on Open Source AI, Model Routing, and the Future of Competition
As governments weigh new restrictions on frontier AI models, one question is becoming increasingly important: what role should open source play in the future of artificial intelligence? Theo Jaffee and Sofia Puccini speak with Hugging…
-
Amjad Masad on Going Direct, Building Replit, and the Future of Software
Recorded live at the New Media Summit, Erik Torenberg sits down with Replit founder and CEO Amjad Masad to discuss founder-led storytelling, building in public, and the role of media in company building. Masad reflects…
-
Amjad Masad on Going Direct, Building Replit, and the Future of Software
Recorded live at the New Media Summit, Erik Torenberg sits down with Replit founder and CEO Amjad Masad to discuss founder-led storytelling, building in public, and the role of media in company building. Masad reflects…
