与「比利时」相关的搜索结果
比利时 贴吧
一个关键词就是一个贴吧，路径全站唯一。
用户
未找到
包含 比利时 的内容
这期播客是 The Pragmatic Engineer 对 OpenAI Codex 团队负责人 Thibault（Tibo）的访谈，聊了 Codex 的诞生、技术决策、工程文化以及软件开发方式的变迁。
以下是核心要点：
个人经历与加入 OpenAI
Thibault 是比利时人，学应用数学出身，先后做过制药供应链优化的创业公司，在 Google 做过加速移动网页的项目（后被砍掉，让他学到了要时刻审视项目真实影响力的教训），之后在 Google Maps 做评论，再转到 DeepMind。在 DeepMind 期间，他参与了一个内部聊天机器人的开发——本质上就是 ChatGPT，但比 ChatGPT 早了一年。内部传播很快，大家都在分享对话，但 DeepMind 不具备把它作为产品发布的机制，最终没能推出。
后来他得知 ChatGPT 只有大约 20 个人在维护，这让他既震惊又觉得很有吸引力——这意味着极高的个人影响力。于是他加入 OpenAI，进去就赶上了推理模型的冲刺，大约一个月后 o1 preview 就发布了。
为什么用 Rust 写 Codex
这是一个反直觉的决定——当时模型对 Rust 的支持并不好，业界其他 AI 编码工具基本都用 TypeScript 或 Python。但团队从第一性原理出发，认为智能体的核心需要健壮、安全、高效，而 Rust 的编译时验证特性天然适合智能体场景。同时用不同语言也强制建立了产品界面和智能体核心之间的清晰边界，避免代码耦合。事实证明 Rust 确实"很快就变得非常适合智能体开发"。
开源和模型无关的策略
Codex CLI、SDK 都是开源的，而且支持非 OpenAI 模型——这在主要 AI 实验室中是独一无二的。理由很实际：如果不开源，别人只需改十行代码就能 fork 出一个支持其他模型的版本，那还不如自己直接支持。开源的好处包括新员工入职前就已经熟悉代码库、社区贡献、以及逼迫自己靠模型和产品体验赢用户而非靠锁定。
代价也很明显：竞争对手会在你还没发布的时候就抄走你正在公开开发的功能，"确实有点刺痛"；还有大量低质量 PR 需要处理。
工程文化与代码审查的变革
新员工入职后听到最多的一句话是"你问过 Codex 了吗？"——因为 Codex 在 OpenAI 内部接入了 Slack、文档、所有代码，几乎任何问题都能给出不错的回答。
代码审查正在发生质变。OpenAI 开发了专门的代码审查模型，能在逻辑推理和安全漏洞检测上达到"超人水平"——可以深入三四层依赖去发现文档错误导致的不变量违反。安全审查已经是强制自动化的，发现安全问题会直接阻止合并。一个 PR 可以当天提交、当天上线到十亿用户的 ChatGPT 上。
代码审查的角色正在从"正确性检查"转向"意图讨论"——你到底想做什么？这件事值不值得做？这种讨论不一定要围绕代码发生。
维护成本和重构的变化
维护一直是软件工程的"税"，但现在大量维护工作（依赖升级、安全补丁）可以完全自动化。更重要的是，重新架构的成本也急剧下降——以前可能要花几个月甚至几年的重构，现在快得多。但好的架构设计反而更重要了：设计好"盒子"和不变量，盒子内部随便改都不影响其他部分。
Harness 与模型的关系
一个有趣的洞察：harness（工具/脚手架）总是"走在模型前面"。Codex 团队的工作本质上是为模型搭建拐杖——提醒它跑测试、保持目标一致等。然后下一代模型训练时会把这些能力内化，拐杖就可以去掉，developer message 也会越来越短。最新一代模型已经不再需要 /goal 命令来保持长期任务的专注，"你直接告诉模型去工作一周，它就真的会做到"。
Codex 与 ChatGPT 的合并
这是一个重大工程挑战：Codex 原本完全本地运行，ChatGPT 是托管云服务，两套完全不同的技术栈要统一。目标是让云端版本具备本地版本同样的能力，同时高效到能纳入 20 美元/月的 Plus 计划。ChatGPT Work 模式本质上是在云端虚拟机里运行完整的 Codex harness，机器配置强大到用户可以在里面训练模型、安装 Blender 做 3D 建模。
有趣的是，Codex 在整个合并过程中还充当了"记者"角色，因为它能访问所有 Slack 讨论和文档，记录了团队的辩论和决策过程。
Thibault 的个人用法与建议
他大量使用手机上的 ChatGPT Work，通过语音口述发送任务，定制了专属的技能和指令来生成他能高效消化的报告和幻灯片。任何问题——公众舆情、生产日志、功能使用率分析、团队动态——30 分钟内都能得到答案。周末他还会用 Codex 做代码探索和原型，"一天之内就能把脑子里的想法变成可以展示给人看的东西"。
对工程师的建议：保持深度好奇心，训练自己快速理解系统的能力（"五个为什么"不断追问），以及与你服务的用户群体保持同步——如果你无法清晰表达意图，就很难做出好的工作。
显示更多
18岁学生科比，打暑假工时，给工地铺排水管，结果挖出了一大袋子价值7000万人民币的黄金。
不过，这些钱是他和同事一起发现的，没办法只能报警上交🤣
按比利时的规定，只要等满5年，期间一直没人能证明黄金属于自己，科比和同事就有机会分走一半的黄金。
但是现在，警方不仅要调查这些黄金是不是赃物，或是犯罪所得。
而且，承包商，负责改造的机构，厂房老板后代都可能要来争夺，想着分一杯羹。
小科比目前没有大梦想，只想得到一点 发现者奖金🤣
显示更多
阿根廷🇦🇷：计划有变，准备夺冠！
上一场半决赛，阿根廷身穿深蓝色球衣迎战英格兰，最终 2：1 逆转，进了决赛。
阿根廷这一届小组赛踢得很顺。进了淘汰赛以后，比赛一场比一场紧：佛得角 3：2，埃及 3：2，瑞士 3：1，英格兰 2：1。
打英格兰又是先丢球。
英格兰领先以后退得很深，阿根廷一直把球往禁区前送。第 85 分钟，梅西助攻恩佐扳平；补时阶段，他再送出传中，替补上来的劳塔罗头球绝杀。
看来深蓝球衣战术还是挺凑效的。
阿根廷这一路，都是在硬仗里走过来的。
西班牙不一样。
7 场比赛，6 胜 1 平，进 13 球，只丢 1 球。淘汰赛先后过了葡萄牙、比利时和法国。
打法国，西班牙没给姆巴佩留下多少反击空间。
打比利时，面对对手的冲击，他们的阵型也没有乱。球一直在脚下，中场传导，边路拉开，再往禁区里打。
英格兰领先以后退了，阿根廷能一直压到禁区前。
西班牙可不会像英格兰一样，把半场让给阿根廷。
阿根廷是卫冕冠军。
西班牙是这届世界杯踢得最稳的球队。
自巴西在 1958、1962 连续两届拿下世界杯以后，64 年里，再没有球队成功卫冕。
64 年没人做到的事，现在只差最后一场。
（视频结尾有出处，侵删
显示更多
受朋友邀请在7位数的豪华包厢里看世界杯，正好还是我最想看的那场——西班牙大战比利时。但是我这一天的行程可遭老罪了，特意早起从硅谷飞到洛杉矶，看完球马上还得飞回来参加饭局，真成特种兵了😂
今天先感受一下世界杯现场的气氛，下次继续聊AI。
显示更多
世界杯
西班牙 比利时 1/4 比赛 上半场 1:1
30分钟鲁伊斯补射破门
41分钟得凯特拉雷头球破门
上半场 1:1 平
视频为上半场两粒进球
我下注的西班牙晋级
显示更多
在比利时餐馆一堆西班牙球迷在给西班牙呐喊，比利时餐馆老板说如果你喊出来，你就付双倍钱，如果你不呐喊，你就付正常钱。🤣🤣🤣
显示更多
凌晨3点的四分之一决赛，西班牙对比利时，
这场绝对是本届世界杯最让人期待的“矛盾之争”了！
我预测西班牙会晋级，比分1：0或2：1，在常规赛决出胜负。
这两支的胜者，将要面对全盛的法国队，这也是一场期有待的硬仗。
1、两队目前状态
西班牙：本届杯赛至今5场零失球，防线稳得可怕，传控体系成熟，罗德里坐镇中场，亚马尔边路爆破，整体节奏掌控能力拉满。上一轮1-0绝杀葡萄牙，抗压能力已经检验过了。
比利时：进攻火力爆棚，近3场狂轰12球，上一轮4-1大胜美国，状态燃起来了。德布劳内、卢卡库、多库前场几个点都很有威胁，但中场少了奥纳纳，拦截硬度大打折扣。
2、几个关键看点
罗德里 vs 德布劳内：两位曼城大佬中场正面硬刚，谁掌控节奏谁就占优。
亚马尔 vs 梅赫勒：17岁小将打30+老将，边路这对位西班牙大概率占便宜。
比利时反击空间：西班牙边后卫压上后身后有空档，多库的速度就是最大威胁。
体能问题：比利时老将偏多，下半场容易被西班牙年轻阵容耗垮。
预测结论
综合各路分析，西班牙不败是主流看法，小胜概率最高。
主推比分：1-0、2-1
防冷比分：1-1
进球数：2-3球
一句话总结：西班牙控球更稳，比利时反击更狠，谁先打破僵局谁就掌握主动权。
个人感觉这场不会是大比分对攻局，淘汰赛八强战双方都会比较谨慎，西班牙大概率慢慢磨，比利时等反击机会。
但足球是圆的，爆冷永远有可能，但西班牙的整体性和防守质量确实更让人放心。
本帖由 Pepecoin
@PepecoinNetwork
社区志愿者
@Qiqi3971
赞助 投资有风险 请自行研究！
显示更多
结束了，一切都结束了。
特朗普表示：我们昨晚对伊朗进行了强有力的攻击，在伊朗问题上浪费了太多时间，（关于与伊朗的谅解备忘录）我认为已经结束。
都怪比利时大胜美国队，东道主世界杯出局，懂王生气了！
这剧情怎么好像见过N次，有完没完啊。🤬
显示更多
