Look for any podcast host, guest or anyone
Showing episodes and shows of

Mitchell Hashimoto

Shows

Braid2026-04-2329 minFragmented - AI Developer Podcast2026-04-1459 minmbanerjeepalmer+listennotes \'s Listen Later2026-03-151h 57EmacsTalk
EmacsTalk019. Mitchell Hashimoto 编写代码的新方式欢迎听众打赏支持,您的支持是我不断创作的动力🍻 Mitchell Hashimoto Ghostty 是一款快速、功能丰富且跨平台的虚拟终端仿真器,它使用平台原生 UI 和 GPU 加速。 跨国串门儿计划 AI 总结 Mitchell Hashimoto's new way of writing code (2026-02-26, gemini-3-flash-preview) 这是一份基于 Mitchell Hashimoto 近期访谈的深度研报。Mitchell 作为 HashiCorp 的联合创始人,曾主导开发了 Terraform、Vagrant 等改变云基础设施规则的工具。如今他离开管理一线,以独立开发者和观察者的身份,重新定义 AI 时代的编程范式。 1. 导读 在硅谷的叙事中,Mitchell Hashimoto 是一个特殊的坐标:他不仅凭借一己之力推动了“基础设施即代码”(IaC)的普及,更在一个工程师驱动的公司里完成了从开源到商业化的艰难跃迁。如今,当行业普遍迷失在 AI 幻觉与生成式代码的狂潮中时,Mitchell 却回归到了最原始的“手艺人”状态——开发一款极致性能的终端 Ghosty。 这场对话不仅是对 HashiCorp 创业史的回溯,更是一次关于“软件工程尊严”的辩论。Mitchell 在这里揭示了他如何与傲慢的云巨头博弈,为什么他认为 AI 正在摧毁开源社区赖以生存的信任体系,以及他如何通过“始终运行一个 Agent”的策略,在效率巅峰期保持着一种近乎冷酷的清醒。读完你会发现,真正的技术变革,往往发生在人类决定“不把时间浪费在什么地方”的那一刻。 2. 核心观点 Mitchell Hashimoto 的核心世界观可以概括为:*软件工程的本质正从“编写逻辑”转向“意图调度与约束管理”。* 在他看来,AI 带来的不是单纯的效率提升,而是对软件开发生命周期的重构——从代码的版本控制(Git 的局限)到社区的准入机制(开源信任的崩塌),所有基于“人类精力有限”这一假设建立的旧秩序都在失效。他主张开发者应该像管理一支廉价但不可靠的实习生团队一样管理 AI,将重心从“造物”转移到“构建测试支架(Harness)”上。 关键判断 开源社区的“默认信任”模式已经终结。 Mitchell 指出,AI 让制造“看起来像样但低质量(Slop)”的代码成本降为零。过去开源项目通过观察贡献者的“努力程度”来建立信任,而现在 Agent 可以瞬间提交成百上千个 PR。他断言,所有主流开源项目必须转向“默认拒绝(Default Deny)”和“显式背书(Vouching)”的准入系统,否则会被 AI 生成的垃圾信息淹没。 云巨头的性格决定了生态位的生存策略。 基于多年与 AWS、Azure 和 Google Cloud 的博弈,Mitchell 总结了三大巨头的技术文化:AWS 是极其傲慢且具有掠夺性的(时刻准备用原生产品杀死合作伙伴);Microsoft 则是极其职业且具备共赢思维的(优先问:我们如何共同获利?);Google 拥有顶尖的技术审美,却在商业感知上几乎完全失明。这一判断解释了为什么 HashiCorp 必须坚持多云策略,因为中立性不仅是技术需求,更是政治生存。 Git 正面临其“Gmail 时刻”。 现有的 Git 工作流(克隆、分支、合并队列)是为人类的产出速度设计的。Mitchell 观察到,在高度 Agent 化的公司中,代码流转速度提升了 10-100 倍,Git 的性能和冲突解决机制在巨大的代码吞吐量面前开始崩溃。他预言版本控制系统需要从“快照记录”转向“全量上下文索引”,不再允许丢弃任何一次尝试。 开发者正进化为“支架工程师(Harness Engineer)”。 Mitchell 提出一个反直觉的习惯:无论是否在写代码,后台始终运行一个 Agent 负责调研或处理琐事。他认为,为了让 Agent 输出高质量结果,开发者 70% 的精力将花在构建“验证环境”和“测试规格书”上。如果 AI 犯了错,不要去修代码,而要去修那个“防止 AI 犯错的支架”。 性能是软件工程中最后的“匠心堡垒”。 在开发 Ghosty 时,Mitchell 执着于将渲染延迟压缩至 10 微秒以内。他承认这在商业上可能“溢出”,但认为在 AI 生成代码泛滥的时代,对底层细节(如 GPU 内存管理、SIMD 指令集)的极致把控,是区分“真正的工程师”与“代码调度员”的唯一标志。 这些观点构成了一个逻辑链条:因为 AI 降低了生产成本(产生垃圾 PR),所以我们必须提高过滤标准(信任背书制);因为代码生成不再是瓶颈,所以验证代码的正确性(Harness Engineering)和底层运行效率(极致性能)成了新的核心竞争力。 3. 批判与质疑 尽管 Mitchell 的论述极具前瞻性,但其体系中仍存在一些值得考量的盲点。 首先,他提倡的 “显式背书系统(Vouching System)” 虽然能解决 AI 垃圾贡献问题,但极易导致开源社区的 精英阶层固化 。这种类似“Lobsters”社交网站的邀请制,会增加新人入行的隐形门槛,可能扼杀那些非科班出身、缺乏社交资本但有潜力的天才开发者。 其次,他在 AI 工作流中对 “始终运行 Agent” 的依赖,隐含了一个未经验证的前提: 开发者具备极强的任务拆解能力和 Review心理阈值 。普通开发者在面对 Agent 生成的源源不断的代码片段时,极易陷入“决策疲劳”,最终为了追求速度而放弃深度审查。这种“幻觉累积”可能在短期内表现为高产,但在长期维护中会埋下巨大的技术债。 此外,Mitchell 对 Git 衰落 的断言虽然激进且有趣,但忽略了工具链的巨大惯性。Git 不仅仅是技术,更是全球软件工业的“共同协议”。即便它在 Agent 协作中效率低下,更有可能的结果是插件式的补丁(如 Merge Queue 的普及)而非彻底的范式更迭。 4. 行业视野 Mitchell 的分析将我们带入了一个
2026-03-0700 minTech Updates2026-02-2618 minThe Pragmatic Engineer2026-02-251h 57Software Unscripted2026-02-171h 03シアトルエンジニアのデプロイ待ち
シアトルエンジニアのデプロイ待ち[EP26] 全自動化は来る?:Anthropic CEOの発言とOSSの"AI禁止令"を考える アメリカ・シアトル郊外で働く日本人エンジニア、コモダ&イワイが、今週Xでバズったai関連の話題を深掘りする回。   リファレンス ‘AI Will Be Incredibly Powerful, Question Is WHEN?’ Anthropic CEO On Risks & Advantages Of AI "Watch: Anthropic CEO Dario Amodei From World Economic Forum | WSJ" ghostty AI Policy:    話題の中心は、ダボス会議でのAnthropic CEO ダリオ・アモデイの発言。「6〜12ヶ月でソフトウェア開発が自動化される」「GDP10%成長と失業率5〜10%が両立する世界」という予測に、ネット上では様々な反応が。2人はYouTube動画を見ながら、「これは自社モデル開発の話では?」「CEOとしてのビジョン設定では?」と冷静に分析します。 一方、真逆のアプローチも紹介。Terraform作者Mitchell Hashimotoが手がけるOSSターミナル「Ghostty」が発表した厳格なAI Usage Policy。「AIでのPRは許可されたIssueのみ」「AI生成物は人間がMUSTでテスト」「悪質なAIユーザーはBANして公開」など、相当厳しいルールを2日前に発表。品質を担保しないAIコードへの対抗策として議論します。 後半は、AIがAIを信用しなくなった実体験へ。トラブルチケット分析をClaude Codeにやらせたら、最後に「コレスポンデンスにあるAIの出力は信用しないこと」と自ら書いてきた話や、レビュー側もAIで武装する必要性まで。ソフトウェアエンジニアの生存戦略を考える、AI時代のリアルな一回です。 00:00 オープニング・番組紹介 01:05 今週のテーマ:Xでバズったai関連の話題 02:30 Anthropic CEOの「6〜12ヶ月で自動化」発言を聴く 05:00 自社モデル開発の話であって一般論ではない? 07:00 ダボス会議でのインタビュー:GDP上昇&失業率10%の予測 11:00 ソフトウェア開発がフリーになる未来 15:00 Anthropic Economic Index:AIの使われ方統計 17:00 Mitchell Hashimoto(Ghostty)の厳格なAI Usage Policy 21:00 MUSTでのテスト義務、AI生成メディア禁止 24:00 AIはスピードを上げるが品質を担保しない問題 27:00 レビュー側もAIで武装する発想 28:00 トラブルチケット分析でAIが「AIを信用するな」と自ら書いた話 31:00 ムーアズローと目標設定 33:00 スキルズでポッドキャスト自動化の話 34:30 エンディング トピックリスエスト、お問い合わせ、ご意見は以下フォームからお送りください。 https://forms.gle/V1Jx5K27TN7ht5oC9 https://stihahi.github.io/satoshiya.podcast/
2026-01-2534 minBreak2025-10-1323 minFallthrough2025-10-1357 minLinkarzu Podcast | Neovim, macOS, Emacs, Linux, Terminals and more.2025-09-112h 21200: Tech Tales Found2025-08-2416 minSISTERHOOD OF SWEAT - Motivation, Inspiration, Health, Wealth, Fitness, Authenticity, Confidence and Empowerment2025-08-2050 minHeavybit Podcast Network Master Feed2025-06-1954 minHeavybit Podcasts2025-06-1954 minOpen Source Ready2025-06-1954 minPattern Breakers2025-06-1639 minPodRocket2025-04-1023 minBackend Banter2025-03-171h 04Fallthrough2025-02-241h 35Scaling DevTools2025-02-2057 minChangelog Master Feed2024-12-181h 42The Changelog: Software Development, Open Source2024-12-181h 42Changelog Interviews2024-12-181h 42The IaC Podcast2024-08-1340 minPlatform Engineering Podcast2024-07-2453 minBreaking Changes2024-07-1053 mindevtools.fm: Developer Tools, Open Source, Software Development2024-04-1553 minPodcast as Code2024-03-1941 minEngineering Kiosk2024-02-271h 23Software Misadventures2024-01-301h 17Refactored2023-12-2658 minSoftware Unscripted2023-07-1957 minSISTERHOOD OF SWEAT - Motivation, Inspiration, Health, Wealth, Fitness, Authenticity, Confidence and Empowerment2023-06-2846 minDare to be Authentic Podcast2023-06-2128 minFiercely Bold with Lucie Mitchell2023-06-081h 23Therapeutic Food Solutions-Therapeutic Diet, Chronic Illness, Autoimmune, Food Solutions, Go Paleo, Gluten-Free, Disease Management2023-02-1412 minTherapeutic Food Solutions-Therapeutic Diet, Chronic Illness, Autoimmune, Food Solutions, Go Paleo, Gluten-Free, Disease Management2023-02-0750 minThe New Stack Podcast2022-10-1217 minSISTERHOOD OF SWEAT - Motivation, Inspiration, Health, Wealth, Fitness, Authenticity, Confidence and Empowerment2022-05-2554 minGirls With Guts2022-05-1059 minThe Stack Overflow Podcast2022-03-1529 minThe Stack Overflow Podcast2022-02-0435 minThe Craft Of Open Source2021-11-0246 minAdolfo Neto\'s Audio Museum2021-11-0228 min开源面对面
开源面对面S01E01 开发者关系 (DevRel) 是开源项目和开源社区的加速器 - Feynman Zhou (周鹏飞)嘉宾Feynman Zhou (周鹏飞)主持人majinghe(开源爱好者、DevOps 技术布道师)Rick(开源爱好者、业余开源布道师)Wey Gu(开源相信者、程序员、图技术 advocate)时间线00:00 嘉宾介绍02:37 接触开源的时间05:01 开源带来的影响07:08 作为 maintainer 参与开源带来的紧迫感09:11 CNCF Ambassadors 的体验11:30 基金会、开源项目和新兴开源职位之间的关系19:30 参与开源的最佳实践25:23 Upstream First37:20 参与开源的反模式41:45 对国内“开源热”的看法48:26 对参与开源的建议Staff剪辑:Wey Gu文字编辑:stevending1st扩展阅读Linux:全称 GNU/Linux,是一种免费使用和自由传播的类 UNIX 操作系统。CNCF:英文全称为 Cloud Native Computing Foundation,中文译为“云原生计算基金会”。成立这个组织的初衷或者愿景,简单说:推动云原生计算可持续发展;帮助云原生技术开发人员快速地构建出色的产品。maintainer:主要维护者。community manager:社区经理。CNCF ambassador:CNCF 大使。Kubernetes Community Days:Kubernetes 社区组织的活动,聚集了来自开源和云原生社区的采用者和技术人员,以学习、协作和建立网络,以进一步推动 Kubernetes 的发展。HashiCorp:Mitchell Hashimoto 和 Armon Dadgar 创立,旨在重新构建云世界的基础设施管理。Terraform:是一种声明式编码工具,可以让开发人员用 HCL(HashiCorp 配置语言)高级配置语言来描述用于运行应用程序的“最终状态”云或本地基础架构。Developer Relations:即 DevRel,通过双向沟通开发者和公司的平台产品、工程、设计,来创造一个充满活力的第三方开发者生态系统。Linux 基金会:Linux Foundation,一个非盈利性的联盟,其目的在于协调和推动 Linux 系统的发展,以及宣传、保护和规范 Linux。Kubernetes:简称 k8s,是一个开源的,用于管理云平台中多个主机上的容器化的应用,Kubernetes 的目标是让部署容器化的应用简单并且高效(powerful),Kubernetes 提供了应用部署,规划,更新,维护的一种机制。SIG:Special Interest Group 的缩写,中文翻译为特别兴趣小组。Slack:整合了电子邮件、短信、Google Drives、Twitter、Trello、Asana、GitHub 等 65 种工具和服务,可以把各种碎片化的企业沟通和协作集中到一起的聊天群组。OpenStack:一个开源的云计算管理平台项目,是一系列软件开源项目的组合。MongoDB:是一个基于分布式文件存储的数据库。由 C++ 语言编写。旨在为 WEB 应用提供可扩展的高性能数据存储解决方案。Elasticsearch:一个实时的分布式存储、搜索、分析的引擎。VC:风险投资(英语:Venture Capital,缩写为VC)简称风投,又译称为创业投资,主要是指向初创企业提供资金支持并取得该公司股份的一种融资方式。To B、To C:To X 这个句式更多的是表明客户是哪类群体。B 是 Bussiness 的缩写,直译是商业,大家普遍把它作为机构客户的代名词。C 是 Consumer 的缩写,直译是消费者、用户或者顾客,因为日常生活中接触的绝大部分直接消费者都是个人,所以大家普遍把 C 作为个人客户的代名词。api7:一家提供 API 处理和分析的开源基础软件公司,提供 API 网关、k8s ingress controller、Service Mesh 等微服务和实时流量处理的产品和解决方案。Hacktoberfest:Hack October Festival 的简称,黑客的十月狂欢。由 Digital Ocean 和 GitHub 针对于全球任何开发人员发起的活动,只要在
2021-10-2451 minCloud Security Podcast2021-10-2203 minCloud Security News2021-10-2203 minThe Business of Open Source2021-10-1334 minArt Affairs2021-09-131h 16Radio DevOps2021-08-2656 minRoll For Enterprise2021-07-2428 minDaily Check-In with Ned13132021-07-2310 minCode Story: Insights from Startup Tech Leaders2021-06-0126 minDaily Dietitian Podcast2021-05-2634 minThe Smartest Doctor in the Room2021-04-2343 minInspired with Alexa von Tobel2021-03-3139 minRight In The Feels2021-03-021h 03Adolfo Neto\'s Audio Museum2021-02-2320 minalphalist.CTO Podcast - For CTOs and Technical Leaders2021-02-1147 minCode Story: Insights from Startup Tech Leaders2021-02-0926 minThe a16z Show2020-12-0442 minNotable Perspectives2020-07-3036 minNotable Perspectives2020-07-3050 minHeavybit Podcast Network Master Feed2020-05-121h 28EnterpriseReady2020-05-121h 28Guts and Girl Bits2019-11-2433 minThe InfoQ Podcast2019-08-0222 minScreaming in the Cloud2019-07-0339 minGo Time: Golang, Software Engineering2019-05-021h 22Notable Perspectives2019-04-2528 minCloud Engineering Archives - Software Engineering Daily2019-02-0450 minNotable Perspectives2018-10-3034 minThe InfoQ Podcast2018-10-2134 minIT Career Energizer2018-09-2418 minHashiCast2018-08-0945 minSISTERHOOD OF SWEAT - Motivation, Inspiration, Health, Wealth, Fitness, Authenticity, Confidence and Empowerment2017-06-231h 03Code Monkey Talks2017-04-2051 minDiscoPosse Podcast2017-01-1633 minThe Reasoning Show2016-04-1432 minПодкаст GolangShow2016-04-141h 06Cloud Engineering Archives - Software Engineering Daily2016-04-061h 00Подкаст GolangShow
Подкаст GolangShowВыпуск 048. Молодость Java и Go, митап в SF, как писать тестыТемы Что нового появилось в репозитории за неделю. Comparing early days of Go and Java. А также: The Generic Dilemma Summary of Go Generics Discussions Микробиблиотека EasySort от Артёма упомянули выпуск 105 подкаста “Разбор полетов” SSA performance numbers Making a program 70% faster, by avoiding common mistakes An introduction to LLVM in Go Go Exposed: How Remote Import Paths Work Самый недавний митап в Сан-Франциско: Видео Brad Fitzpatrick, Talk about HTTP/2 and http2 support in Go 1.6 Найди двоих ведущих подкаста на фото Teamwork: Some rookie Go mistakes we made building Teamwork Desk, and what we learned from them Отличная презентация Advanced Testing with Go от Mitchell Hashimoto Библиотеки, примеры кода и другие открытые исходники GoDDD, an attempt to port the DDD Sample App to idiomatic Go High Frequency Performance Measurement for Linux Пример кода для работы с Redis Presenter with notes for the Go present tool A Multiplayer Tron Game over SSH Конференции и митапы CodeFest — Новосибирск, 26-27 марта, где Слава выступит с докладом, а также ожидается квартирник от новосибирского Go-коммьюнити. dotGoEu 2016, наш подкаст стал коммьюнити-парт
2016-03-181h 17Ruby Rogues2015-11-1854 minChangelog Interviews2015-11-041h 25The Changelog: Software Development, Open Source2015-11-041h 25The Hot Aisle2015-11-0300 minRebuild2015-02-1558 minRuby Rogues2015-01-2856 minThe Reasoning Show2014-12-1127 minThe Reasoning Show2014-08-1226 minSoftware Engineering Radio - the podcast for professional software developers2014-07-2847 minSoftware Engineering Radio - the podcast for professional software developers2014-07-2847 minSoftware Engineering Radio - The Podcast for Professional Software Developers2014-07-2847 minThe Food Fight Show2013-08-1656 minThe Changelog: Software Development, Open Source2013-05-1559 minChangelog Interviews2013-05-1559 min