#工具链

Darkflames

3周前

我也来推特找工作了 - 京都大学硕士毕业，研究方向是编程语言与类型论，熟悉各种 dependent type 和形式化验证 - 长期从事 Web 项目开发 - 可以使用任意编程语言进行开发，希望从事 PL / 编译器 / Infra / 工具链等方面的工作如果你所在的团队在招人，或者刚好知道合适的岗位，欢迎随时联系我！

#找工作 #编程语言 #形式化验证 #Web开发 #PL #编译器 #Infra #工具链

凡人小北

1个月前

OpenAI 在集齐生态，Google 在改造生态，他们两家都有光明的未来。两家走的是两条很不一样的路，但都在朝着“AI 终局平台”逼近。 OpenAI 在集齐生态：收硬件（io）、补数据库（Rockset）、强工具链（Windsurf）、搞远程协作（Multi）…… 像在组装一台全栈 AI 战舰，每块拼图都瞄准关键节点，走的是“从无到有”的路径。 Google 则在改造生态：让 Gemini 深嵌搜索、安卓、Docs、YouTube，甚至改写浏览器、操作系统底层，不是外挂 AI，而是把原有体系打造成 AI-native 的新容器，走的是“旧我换血”的路线。创业公司在组建军团，帝国在自我重建。但不管是哪条路，本质都是在争那个未来的“主操作系统”位置。

#OpenAI生态 #Google生态 #AI终局平台 #硬件 #数据库 #工具链 #远程协作 #全栈AI #组装 #改造