惯性聚合 高效追踪和阅读你感兴趣的博客、新闻、科技资讯
阅读原文 在惯性聚合中打开

推荐订阅源

T
The Blog of Author Tim Ferriss
I
InfoQ
H
Hackread – Cybersecurity News, Data Breaches, AI and More
aimingoo的专栏
aimingoo的专栏
小众软件
小众软件
有赞技术团队
有赞技术团队
J
Java Code Geeks
Apple Machine Learning Research
Apple Machine Learning Research
大猫的无限游戏
大猫的无限游戏
Engineering at Meta
Engineering at Meta
B
Blog RSS Feed
博客园_首页
Y
Y Combinator Blog
V
Visual Studio Blog
Google DeepMind News
Google DeepMind News
M
MIT News - Artificial intelligence
雷峰网
雷峰网
博客园 - 司徒正美
OSCHINA 社区最新新闻
OSCHINA 社区最新新闻
H
Help Net Security
P
Proofpoint News Feed
B
Blog
云风的 BLOG
云风的 BLOG
奇客Solidot–传递最新科技情报
奇客Solidot–传递最新科技情报

Tony Bai

Rust重写运动,到底是真香还是被吹爆? 刚刚,DeepSeek开源Harness:把Agent拆成插件,一切皆可换 Google官方下场安利:AI时代,Go才是“最适合”的编程语言 从 Mozilla 孤儿到独立王国:起底 Rust 基金会如何“养大”一门产业级语言 扎克伯格罕见发万字长文:超级智能不能被少数人垄断,必须属于每一个人 3600人、95%覆盖率、24万次拦截:Cloudflare怎么用AI把“提效不降质”变成现实 1.5万星背后:Google首次揭秘Agent Skills是怎么“造”出来的 Go 核心团队公开新提案流程设计:加权投票、多轨评审,能拯救积压的近千个提案吗? Go 密码学前掌门人亲自提案:crypto/passkey 要把“免密登录”这件事一次性做对 Rust官方发文:AI 可以审代码,但不能写代码 AI智能体的记忆,终于有人认真研究“文件系统”这条路了——新论文给出五个反直觉答案 三年磨一剑!Go 桌面框架 Wails 发布 v3公测版:多窗口、AST 绑定、透明构建系统一次到位 Go 正在背离初心?一条 Reddit 热帖,暴露了 Go 社区最深的分歧:简单,到底能坚持多久? ccsa:给 Claude Code 的 session 起个人类可记的名字,一键 resume 谷歌重磅论文:多智能体不是万能药!260组实验实测出AI 智能体的第一条“缩放定律” YC亲自下场开源内部Harness:QM,一个“多人在线”的公司级Agent操作系统 前谷歌工程师万字拆解:AI替你写代码的时代,你更需要写好一份设计文档 Thoughtworks最新报告:代码生成不再是瓶颈,“没人能验证”才是! 刚刚,MCP协议迎来“史上最大更新”:State彻底消失,Claude率先适配支持 Go 1.28 大动作:泛型集合终于要进标准库了,Set、树形Map、堆一次性标准化 上次说“没有靠谱的尺子”,这次 Dex Horthy 找到了一把——Opus 5 实测通过率只有 24% AI 写了 75% 的代码,工程师却越来越慌:“黑灯软件工厂”的问题不在 harness,而在模型本身 不用 Python,也能训练大模型:两年之后再看 Go 语言机器学习框架 GoMLX 百万行代码,两周搞定!Anthropic揭秘AI代码迁移六步法:秘诀不是改代码,是改流程 重磅!Tokio官方发布全栈框架Topcoat:不用WASM,AI时代Rust也能“糊”网页了 软件工厂的明与暗:当代码可以自动生产,人类为何必须留下一盏灯? Twitter之父再出手:Block开源Buzz,要让人类和AI Agent「同工同权」 Go 密码学维护者放大招:把 Passkey 存成一行字符串,还顺手为 Go 1.28 写好了 API Loop Engineering才火两个月,硅谷已经卷出“Graph Engineering”了 我开源了 cc-session-migrate :让 Claude Code 会话在多台机器之间自由迁移
隐退三年后杀回来:HashiCorp创始人官宣二次创业,这次要做「...
Tony Bai · 2026-07-31 · via Tony Bai

本文永久链接https://tonybai.com/2026/07/31/superlogical-mitchell-hashimoto-launch

大家好,我是Tony Bai。

【导读】

昨天,HashiCorp联合创始人Mitchell Hashimoto官宣了他离开HashiCorp三年后的第一个正式创业项目——Superlogical。这一次,他从一个「终端多路复用器」切入,但真正的野心,是重新定义人类与AI协同工作的底层方式。而在他身后,站着一位12年前就顶着「几乎没有证据支撑」的风险也要押注他的老朋友——投资人Glenn Solomon。

【文章要点】

  • Mitchell Hashimoto 是谁:HashiCorp联合创始人,Vagrant/Terraform/Vault等基础设施工具的缔造者,离职后又打造出终端模拟器Ghostty
  • Superlogical 要做什么:先做一个现代化的终端多路复用器,终极目标是打造"覆盖本地、远程、沙箱、生产环境和AI Agent"的统一工作层
  • 豪华创始团队:HashiCorp第一号工程师、前Vercel/Poolside设计负责人等
  • 阵容炸裂的投资方:Notable Capital、Amplify Partners领投种子轮(1000万美元),天使投资人包括Stripe、Shopify联创等
  • 一段跨越12年的投资故事:Glenn Solomon如何两次押注同一个人


一张两人并肩而立的合影,配文只有一句话:「12年后,再次押注Mitchell Hashimoto」。

发这条帖子的人,是投资人Glenn Solomon。而这条帖子的主角,是HashiCorp的联合创始人、终端模拟器Ghostty的作者Mitchell Hashimoto

当地时间7月29日,Mitchell官宣了一个消息:他创办了新公司Superlogical,要重新定义人类和AI「一起干活」这件事的底层协议。而这一次,几乎所有认识他的重量级人物都来站台——从Stripe、Shopify的创始人,到12年前那个在他身上下重注的VC。

那个惹恼投资人的24岁极客

时间拨回2014年。Glenn Solomon在一篇复盘长文里回忆,他和一个24岁的年轻人聊了整整一个小时,主题是「构建软件过程中那些最恼人的琐碎细节」。

这个年轻人叫Mitchell Hashimoto。他当时最上心的事,是把开发者和他们真正想做的事情之间那层重复繁琐的手工劳动自动化掉——具体到哪一次多按了一下键盘,摩擦发生在哪个环节,一个好用的工具应该长成什么样。

那时候的HashiCorp,只有五个人,没有一分钱营收,甚至找不到一个现成的行业赛道能装下它。但Glenn Solomon在那次见面之后就认定,自己要参与进来。他写下了那张A轮支票,拿到了董事会席位——用他自己的话说,这是他投资生涯里「手上证据最少、内心却最有信念」的一次决定。

事实证明,这个信念没有错付。此后十年,两人一起走过从A轮到E轮的五轮融资,一起坐在董事会里开了至少30次会。曾经五个人挤得下一间会议室的公司,成长为超过2000名员工的巨头;零营收变成了超过6亿美元的年化收入;财富500强里有上百家成了HashiCorp的客户。2021年12月,HashiCorp在纳斯达克敲钟上市;三年后,被IBM以近80亿美元收购。

全职奶爸的「为爱发电」

2023年,在HashiCorp干了11年之后,Mitchell选择离开。此后,他的生活重心变成了几乎全职带娃,同时投入了不少精力做慈善——大部分甚至和科技行业无关,也很少对外公开。

但他从没停止写代码。用他自己的话说,构建软件是刻在骨子里的热爱,哪怕没有任何商业目的,他也要每天挤时间学一点、做一点。

这份「为爱发电」的产物,就是终端模拟器Ghostty——一个他起初以为写完就会扔进GitHub坟场的个人项目,最终却成长为拥有百万级日活用户的开源项目,背后是一支十几人的核心维护者团队、近50人的本地化团队,以及另外一群社区管理员。

2025年,Mitchell把Ghostty整体捐赠给了一家联邦认证的非营利组织,从法律层面把它永久绑定在「公共利益」的使命上——这意味着Ghostty不会被商业化,永远是一块所有人都能自由使用、学习的基础building block。

而正是在维护Ghostty的这几年里,Mitchell开始不断追问一个问题:为什么终端的使用范围反而比以往任何时候都更广?是什么在持续驱动它的增长?这种增长的边界在哪里?下一步会走向哪里?

这一连串追问,最终指向了Superlogical

Superlogical要做的事:「万物的多路复用器」

按照官网的表述,Superlogical想解决的是一个听起来抽象、实际上每个开发者和AI从业者都在经历的问题:如今构建和运行软件,早已横跨本地机器、远程主机、沙箱环境、CI流程和生产系统,工作模式也从「人机交互」扩展到「自动化任务」,再到如今越来越多的「Agent并行作业」。

这些工作彼此相关,但现有工具却把它们切割成了一个个孤立的系统:

  • 交互式工具默认背后坐着一个人;
  • 自动化任务消失在日志和后台任务里;
  • 进入生产环境后,又要面对一套完全独立的权限和管控体系。
  • … …

AI的爆发让这种割裂变得更刺眼、代价更高,但割裂本身并不是AI造成的——系统管理、持续集成、远程开发协作,这些领域早就被同样的边界困扰了几十年。

Superlogical给出的答案是:缺失的那一层,应该是一个围绕「工作本身」构建的持久会话(session)——它能跨越不同的应用和环境,默认提供相关上下文,暴露结构化的数据和操作接口,保留完整的历史记录,既能被软件自动驱动,又始终对人可见、可控。

团队把整体计划拆成了三步:

  1. 先造一个足够出色的多路复用器(multiplexer);
  2. 让里面的一切都可组合(composable);
  3. 让它能安全地在生产环境里运行。

第一步的落地产品,是一个终端多路复用器(terminal multiplexer)。

它会把多个终端窗口组织进一个长期存在的会话里——你可以直接关掉应用,换一台设备重新连上,工作现场原封不动。

如果你用过tmux、Zellij之类的工具,会觉得似曾相识,但Superlogical想加入更现代的体验:既支持网页端,也有原生的macOS/iOS客户端,「和别人实时共享一个会话」这个能力从第一天起就是内置的,同时也会解决滚动、选中、翻页这些老牌多路复用器一直没解决好的「小毛病」。

团队也坦承,单看「终端多路复用器」这个切入点,确实容易被误解为一个很窄的赛道。

但在他们看来,终端恰恰连接着开发者、AI Agent、工具链和基础设施,是承载后续一切的最佳地基。

整个产品会建立在libghostty之上——也就是Ghostty背后那套MIT协议开源的可复用组件库,Superlogical会像其他任何libghostty的使用者一样,遵循同样的开源协议,并持续把通用的终端相关工作贡献回上游。需要强调的是,Ghostty本身作为非营利项目的使命、治理结构、协议和路线图,都不会因此发生任何变化。

至于终端多路复用器之外「更大的版图」,Mitchell在自己的博客里卖了个关子:暂时还不方便透露太多,但会通过邮件订阅和后续的建设过程(building in public)陆续公开。

豪华创始团队,和一份「行业大佬」云集的投资名单

Mitchell不是一个人在战斗。三位联合创始人同样来头不小:

  • Jack Pearkes:HashiCorp的第一号工程师,参与打造了公司最早期的产品,也曾一手组建和带领初代工程团队;
  • Alasdair Monk:曾任Poolside的体验负责人(Head of Experience)、Vercel的设计副总裁,此前在HashiCorp和Heroku担任资深设计负责人,有超过二十年的开发者界面设计经验;
  • Hector Simpson:曾在Poolside负责App、服务和Agent体验设计,此前在Heroku、HashiCorp、Clearbit、Vercel都参与过面向开发者的产品设计。

投资阵容同样星光熠熠。种子轮由Notable Capital和Amplify Partners联合领投,融资金额为1000万美元。天使投资人名单里,既有HashiCorp联合创始人Armon Dadgar,也有Stripe联合创始人Patrick Collison、Shopify创始人Tobias Lütke、Box创始人Aaron Levie、Vercel CEO Guillermo Rauch——用Glenn Solomon的话说,这些人「把职业生涯都花在了打磨开发者真正愿意用的工具上」,最懂「把开发者体验这层又窄又不起眼的东西做对」有多难。

Glenn Solomon:一份跨越12年的长情投资

回到文章开头的那张合影。对Glenn Solomon来说,这一次给Superlogical写支票,某种程度上是把12年前那个决定又做了一遍。

在他的复盘长文里,他这样形容Mitchell:一个真正被开发者发自内心尊敬、作品经得起时间考验的创始人;同时又是一个能把产品做成大生意的创始人——而在他三十年的投资生涯里,同时具备这两种特质的人,屈指可数。

他还记得,HashiCorp成功之后,Mitchell本可以选择躺平,但他不仅去考了飞行执照,还顺手把Ghostty这个「完全没有商业计划」的开源项目做到了百万用户规模——只是因为他想要它存在,因为市面上现有的方案都不够让他满意。这份动机,和当年创办HashiCorp时如出一辙。

这一次,Glenn把宝再次押在了Mitchell身上,也顺便把Superlogical形容成了自己投资生涯里「最引以为傲的事情之一」:又一次为Mitchell写下第一张支票。

写在最后

从一个24岁、在会议室里滔滔不绝谈论「键盘上多按了一下」的极客,到带着HashiCorp敲响纳斯达克钟声、又把公司卖给IBM套现近80亿美元的创始人,再到今天带着一支豪华团队和一份星光熠熠的投资名单杀回牌桌的连续创业者——Mitchell Hashimoto的故事,某种程度上也是「开发者体验」这件事本身被重新发现价值的故事。

这一次,他选择从一个看起来「足够小」的切入点——终端多路复用器——重新出发。但如果Superlogical官网上那句「我们在构建万物的多路复用器」不只是场面话,那么它瞄准的,其实是人类和AI Agent协同工作的整个底层协议。

对于这个赌注,Glenn Solomon已经给出了他的答案。而市场的答案,还需要时间。

资料来源:


还在为写 Agent 框架频频死循环、上下文爆炸而束手无策?我的新专栏 从0 开始构建 Agent Harness 将带你:

  • 抛弃臃肿框架,回归“驾驭工程 (Harness Engineering)”的第一性原理
  • 用 Go 语言手写 ReAct 循环、并发拦截与上下文压缩引擎等,复刻极简OpenClaw
  • 构建坚不可摧的 Safety Middleware 与飞书人工审批防线
  • 在底层实现 Token 成本审计、链路追踪与自动化跑分评估
  • 从“调包侠”进化为掌控大模型边界的“AI 操作系统架构师”

扫描下方二维码,开启从 0 开始构建Agent Harness 的实战之旅。


还在为“复制粘贴喂AI”而烦恼?我的新专栏 AI原生开发工作流实战 将带你:

  • 告别低效,重塑开发范式
  • 驾驭AI Agent(Claude Code),实现工作流自动化
  • 从“AI使用者”进化为规范驱动开发的“工作流指挥家”

扫描下方二维码,开启你的AI原生开发之旅。


商务合作方式:撰稿、出书、培训、在线课程、合伙创业、咨询、广告合作。如有需求,请扫描下方公众号二维码,与我私信联系。