节目

你喜欢的节目都在这里

502 宇宙超级工程是如何垮掉的:刘怡谈「挑战者号」事故四十周年

502 宇宙超级工程是如何垮掉的:刘怡谈「挑战者号」事故四十周年

忽左忽右

- 导语 - 整四十年前,挑战者号航天飞机在全世界观众的注视之下,于升空73秒后爆炸解体。几十年来,媒体与技术人员对这场悲剧的追问从未停止。在一次技术故障的背后,是美国航天飞机项目在政治承诺、预算削减与过度公关的多重压力下,不断积累的系统性风险。工程师对低温风险的警告,为何最终未能阻止发射?已然看到风险的NASA为何仍执意按时起飞?航天飞机解体之后,至少三位宇航员又曾尝试怎样的自救?请听本期嘉宾刘怡带来的分享。 - 本期话题成员 - 程衍樑(微博@GrenadierGuard2) 刘怡,得到app专职作者,前《三联生活周刊》资深主笔,全球冲突报道者 - 时间轴 - 01:30 冷战时代美国宇航事业的高峰二十年 08:06 为何事故出现在「太空竞赛」的强势时期? 10:39 政治承诺、资金支持与清晰目标:超级工程的三大先决条件 15:18 登月热情消退,NASA推出航天飞机工程 23:37 军事目的混杂科研计划:航天飞机初始目标并不清晰 30:02 铝合金贴瓷砖、固体燃料发动机:预算削减产生大量低成本替代方案 38:46 公关需要压倒安全考量 45:47 密封圈低温失灵的风险是如何被层层忽视的? 54:26 三名宇航员曾在爆炸之后开氧气包自救 56:28 反思「Go Fever」文化:为何马斯克能失败,NASA却不能? - 支持我们的赞助商是对我们最好的支持 - 《忽左忽右》的卖书业务上线了!这次不仅汇集了节目中深入讨论过的书籍,还有主播个人精选书籍,含少量签名版及稀有原版,完整的书目信息及购买方式,前往微信公众号「忽左忽右leftright」,回复「买书」 即可获取。书目将不定期更新,欢迎常来看看。 - 制作团队 - 声音设计 hotair 节目统筹 禾放 节目运营 小米粒 节目制作 思钊 Yo logo设计 杨文骥 - 音乐 - Danse Macabre - Busy Strings - Kevin MacLeod - 本节目由JustPod出品 © 2026 上海斛律网络科技有限公司 - - 互动方式 - 商务合作:[email protected] 微博:@忽左忽右leftright @播客一下 @JustPod 微信公众号:忽左忽右Leftright / JustPod / 播客一下 小红书:JustPod气氛组 / 忽左忽右 B站:忽左忽右leftright 抖音:忽左忽右

63分钟
38k+
2周前
92. 韩剧ost/ ꕤᴗ ᴗ)꩜。ּ

92. 韩剧ost/ ꕤᴗ ᴗ)꩜。ּ

耳朵出口

天气转凉是看怀旧的温暖向韩剧的好时机₊⁺♡₊⁺送上一期阔别很久的ost专场🤲🏼 快要放假了!还没有旅行计划的我们,就化身电视儿童在家里抱着平板看剧吧 《学校2015》 * Tiger JK/Jinsil - Reset 00:01 * WENDY/陆智谭 - Return 04:05 《无理的前进》 * 최철호 - Hold on There 07:52 * Lizzy/Kanto - Flower 10:52 《A-TEEN》 * SEVENTEEN - A-TEEN 14:08 * Motte - 도망가지마 17:22 * 苏秀彬 - 넌 내게 특별하고 21:30 《我的id是江南美人》 * George - Something 24:53 * Junggigo - D-Day 28:41 《恋爱播放列表》 * Paul Kim - 있잖아 32:07 * 10CM - Perfect 35:34 《二十五,二十一》 * Wonstein - Your Existence 39:29 * BIBI - 아주,천천히 42:50 * Xydo - 가보자 46:23 《Spring Rain春夜》 * Oscar Dunbar - Spring Rain 50:08 * Rachael Yamagata - Is It You 54:16 《我们的蓝调》 * WINTER - ONCE AGAIN 58:43 * 太妍 - 내 곁에 01:01:30 《三流之路》 * 케이시 - 굿모닝 01:05:16 * 차여울 - I Miss U 01:08:21 《太阳的后裔》 * K.Will - 말해! 뭐해?01:11:43 * 尹美莱 - ALWAYS 01:15:17 * Gummy - You Are My Everything 01:18:41 《主君的太阳》 * 尹美莱 - Touch Love 01:22:40 * 孝琳 - 미치게 만들어 01:26:43 * Gummy - 낮과 밤 01:31:11 《继承者们》 * 李洪基 - 말이야 01:34:51 * 李昶旻 - Moment 01:38:38 《孤单又灿烂的神-鬼怪》 * CHANYEOL/PUNCH - Stay With Me 01:42:38 * Crush - Beautiful 01:45:49 * 节目中所有音乐作品版权均为原版权方所有,本节目无任何商业用途,仅作歌单分享使用,如有侵权烦请联系删除。谢谢

109分钟
99+
2周前
任天堂,玩才是正经事

任天堂,玩才是正经事

BLABLA

任天堂的故事,似乎总是从一些看起来并不起眼的东西开始。这137年来,它做过纸牌、玩具,也试过出租车、速食米饭;进入电子游戏时代后,又从街机一路走到红白机、Game Boy、Wii和Switch。产品换了一代又一代,但任天堂最关心的始终是怎么把复杂的技术藏到背后,把简单、直接的快乐留给玩家。 而任天堂的每一次转身,背后都有着一群非常特别的人。22岁接班、以强硬著称的山内溥把任天堂带进了电子游戏时代,宫本茂用马里奥、塞尔达等作品重新定义了游戏的想象力,岩田聪则试图让那些“从来不玩游戏的人”也成为玩家。任天堂也由此一步步把角色、玩法和童年记忆,变成可以跨越几十年的超级IP。 这一期,人人酱和新主播Cat将带着大家一起重温任天堂这一百多年走过的路:它为什么很少和别人拼最先进的技术?为什么总想把游戏交给更多“不像玩家的人”?那些成功与失败,又怎样一点点变成Wii、Switch,以及下一代家庭娱乐的经验? 毕竟对任天堂来说,玩从来不是什么不务正业。玩,才是正经事。 🎙️本期主播 人人酱(从老师)& Cat 撒花欢迎新主播Cat 🎉🎉🎉 ⏰本期内容 02:35 为什么越长大,我们反而越容易被简单和童真打动? 05:06 任天堂137年一直在做同一件事——创造快乐 07:50 1889年从京都一家花札铺起家,任天堂为什么能活成百年企业? 08:50 一年营收约等于三个泡泡玛特,任天堂到底为什么这么赚钱? 14:17 迪士尼联名带来的关键转折:任天堂第一次发现家庭娱乐是一门大生意 15:10 山内溥:一个不爱玩游戏的游戏公司掌舵者 16:26 22岁接班任天堂的“京都第一暴君”山内溥,独裁的背后却是个大伯乐 19:09 从伸缩手臂到Game & Watch,任天堂的创新秘诀是用成熟技术的重新排列组合 22:11 没有编程经验的年轻美工,如何在 16×16 像素里造出马里奥? 27:02 任天堂建立了自己的“App Store”,也亲手“逼”出了索尼的PlayStation 32:26 任天堂最惨的一次失败,是它突然开始迷信“先进技术” 38:38 岩田聪的蓝海战略:别跟硬核玩家卷,让不会玩游戏的人也玩起来 41:10 “在名片上,我是一位会社社长;在思想上,我是一位游戏开发者;但是在内心里,我是一名玩家。” ——岩田聪 42:07 Wii卖出1亿台之后,为什么还是没能延续成功? 44:08 Switch的绝地反击:把客厅和掌机两个场景真正合二为一 45:59 从松鼠到电老鼠,一个女设计师创造了皮卡丘 46:44 宝可梦来自抓虫,塞尔达来自钻山洞:伟大游戏的灵感,为什么总藏在童年经历里? 49:27 从马里奥到宝可梦,任天堂如何克制地经营超级IP? 52:24 硬件只是入口,软件才是利润接棒者 53:36 137年历史留下的商业模板:拒绝在别人的战场竞争,持续创造新的快乐 54:43 任天堂之后,下一代家庭娱乐机会在哪里? 55:14 Nex Playground去掉手柄,用AI和订阅制重新发明家庭体感游戏 58:35 本期互动问题:哪一款消失的游戏,是你最想重新玩到的? 🔺山内房治郎本是纸牌工匠,于1889年9月23日在京都市下京区开设了一家名为“任天堂骨牌”的小店来贩售自己生产的花札。任天堂生产的花札,特别加入黏土及树皮提升纸牌硬度;以花瓣作为染料,令花札的颜色更鲜艳 🔺1889年的任天堂总部 🔺1959年,任天堂与Disney达成了一项授权协议,允许当时存在的迪士尼角色出现在任天堂纸牌上。配合电视的营销,纸牌年销量一下子冲到了60万幅以上 🔺1966年圣诞前夕推出由横井军平设计的玩具弹弓手ULTRA HAND,玩法是控制弹弓手夹走远处物件,在密集宣传攻势下销量奇佳,卖出140万套 🔺1969年,横井军平设计的“爱情测定仪”,宣称可测试两人的恋爱指数。用法是两人分别手持一个金属球,另一只手互相拖紧,之后仪器会发出轻微电力,借此显示从0-100的指数 🔺1980年,任天堂宣布成立全资子公司——美国任天堂公司(NOA),同年推出 Game & Watch 系列掌上游戏机,成为许多玩家的第一款掌上游戏机 🔺1982年,Game & Watch 推出《Donkey Kong》,次年红白机版《Donkey Kong》问世 🔺1985年,任天堂在北美推出任天堂娱乐系统(NES)。NES的推出推动了北美电子游戏市场在经历1983年游戏产业崩溃后逐步复苏 🔺1995年Virtual Boy上市后,不少玩家反映长时间使用会产生头晕、眼睛疲劳等不适感 🔺2001年,任天堂推出GameCube,但这款游戏机未能缩小与索尼PlayStation游戏机之间的差距 🔺2005年,岩田聪在旧金山举行的游戏开发者大会上发表主题演讲 🔺2006年,任天堂推出Wii游戏机,其体感控制器能够感知玩家的动作,并将这些动作实时映射到游戏中,让玩家以更加自然、直观的方式参与游戏 🔺马里奥、塞尔达、皮克敏等被人们熟知的任天堂IP 🔺坐落于日本京都的任天堂博物馆,于2024年10月2日正式开幕。博物馆以「知识」、「体验」、「创造和游乐」3个主轴来设计场馆内展区 🔺任天堂历代品牌标识、招牌与商标 🔺任天堂游戏机家族 🔺从经典红白机到到Nintendo Switch 2,任天堂游戏主机的50年进化史

59分钟
99+
2周前
#735. Jev 模型创始人访谈:为什么我无法在 OpenAI 构建 Jev

#735. Jev 模型创始人访谈:为什么我无法在 OpenAI 构建 Jev

跨国串门儿计划

📝 本期播客简介 本期我们克隆了:Latent Space · Why We Made Jev — Diogo Almeida, TypeSafe Co-founder & CEO 原内容更新时间:2026-09-21 本期 Latent Space,也就是 Latent Space 播客,主持人 swyx 对话 TypeSafe 联合创始人兼 CEO Diogo,讨论 Jev 发布背后的产品理念、训练方法与软件架构。Jev 被定义为机器原生、系统 1、大型可编程模型:它不是为了与人聊天,而是为了被代码直接消费,并在软件中承担大量细小、可验证的决策。 Diogo 解释了 TypeSafe 为什么把 RLCD 视为新的北极星目标,为什么认为 RLHF 会造成模式丢失、校准失真与智能碎裂,以及为什么可靠性、鲁棒性和单位美元智力比公开基准排名更重要。他还谈到拒绝响应为何可能成为 API 依赖中的类型错误、结构化状态如何取代巨型系统消息,以及如何把 AI 工作流拆成可度量的最小语义单元。 对谈也延伸到暗数据、电脑操作、实时场景和编程 Agent。Diogo 认为,AI 最终不应成为软件里的显眼聊天框,而应像基础设施一样隐入背景;真正的经济变革,不是让 AI 充当主角,而是让已有软件获得此前无法实现的自动化能力。 👤 本期嘉宾 Diogo 是 TypeSafe 联合创始人兼 CEO,此前曾在 OpenAI 工作,参与过 InstructGPT 与指令遵循方向的早期工作。他长期思考一个核心问题:为什么 AI 能解决千禧年大奖难题,却仍然无法稳定自动化大量基础、机械、具有经济价值的工作。离开 OpenAI 后,他与团队围绕机器原生模型、程序在环反馈、可靠性和数据展开多年探索,最终推出 Jev。 Diogo 值得听之处在于,他既熟悉前沿模型训练和后训练,也持续从软件工程师的实际需求出发,质疑聊天机器人、公开刷榜和“AI 同事”等默认范式。他对模型能力参差、数据质量、API 设计和编程 Agent 的讨论,构成了一套从模型底层一直延伸到软件产品的完整判断框架。 ⏱️ 时间戳 00:23 开场与发布感受 02:52 Jev与系统1模型 05:41 RLHF与模式丢失 09:47 程序化AI与安全对齐 15:53 为何拒绝公开评测 18:52 《最苦涩的教训》与数据 22:59 RLCD、RLHF与RLVR 26:28 强大AI为何未自动化经济 37:09 可靠性、鲁棒性与确定性 45:00 版本、速度与性价比 50:35 Jev API与编程原语 54:40 用Jev拆解程序任务 1:12:36 SaaS反向末日与软件 1:26:22 电脑操作与主要用例 1:30:59 Jev重塑编程Agent 1:33:06 安全、前沿节奏与RLVR局限 1:38:59 为何不花十亿美元预训练 1:45:10 TypeSafe背后的OpenAI故事 1:51:19 多数NeoLab为何做错AI 1:56:46 编程Agent与多Agent未来 🌟 精彩内容 💡 AI 的问题不是不够聪明,而是缺少正确接口 Diogo 认为,今天的 AI 已经展现出远超预期的抽象与推理能力,但这些能力还没有通过合适的接口进入经济活动。Jev 的目标,就是让代码而不是人,成为模型的直接使用者。 "我们怎么能去解数学里的千禧年大奖难题,却连最基础的工作都还自动化不了?" 💡 RLCD 是面向程序化使用的新北极星 在 Diogo 看来,RLHF 的核心是指令遵循,RLVR 的核心容易滑向刷基准,而 RLCD 关注的是模型在程序化使用中的可靠性。重点不在某个具体算法,而在于为模型选择正确的任务和方向。 "对我们来说,RLCD 就是这个新任务,我不觉得它是行业黑话。" 💡 数据和任务比算力更重要 TypeSafe 更愿意把自己称为数据实验室,而不是模型实验室。Diogo 认为,真正困难的不是单纯扩大模型规模,而是找到正确的任务、构造与任务匹配的数据,并持续修复模型能力参差的部分。 "显然数据远比算力重要,而选对任务、确立北极星目标,才是最难、最重要的事。" 💡 API 里的拒绝响应可能是类型错误 面向聊天产品的安全对齐,可以让模型拒绝用户不应提出的请求;但当模型作为软件依赖运行时,随机拒绝可能让整个系统不可预测。Diogo 区分了安全对齐与能力对齐,并强调 API 更需要按用户意图稳定执行。 "而且拒绝响应明显就像是一个类型错误。" 💡 可靠性不等于确定性 相同输入是否始终得到相同输出,只是确定性问题;真正适合软件的目标,是相似输入得到相似结果,并且模型在不同表达、随机数和上下文变化下保持鲁棒。 "我认为鲁棒性才是大家……更重要的特性。" 💡 把 AI 工作流拆成最小语义单元 与其用一个巨大的系统消息要求模型一次性完成所有事情,不如把任务拆成许多独立、明确、可评测的决策。这样每个行为都能通过代码验证、设置阈值,并沉淀为测试用例。 "我喜欢把东西拆成最小的语义单元。" 💡 结构化状态将取代巨型系统消息 Diogo 认为,软件内部真实存在的是状态、变量、指令和嵌套结构,而不是一串字符串。把所有内容塞进系统消息,类似使用难以维护的全局变量;机器原生模型应直接处理结构化 JSON 和程序状态。 "系统消息就像恶心的全局变量,你把什么东西都往里塞,把所有指令一股脑全放进去。" 💡 AI 最终应该隐入软件背景 在 Diogo 描绘的未来里,AI 不必一直以聊天框或“AI 同事”的形式出现。它会成为软件底层的通用基础设施,嵌入已有产品,自动化那些今天仍由人手工完成、但用户甚至无法想象如何自动化的工作。 "我觉得这个世界应该让人感觉更惬意,而 AI 只要在背后帮着实现这一点就好。" 🌐 播客信息补充 本播客采用原有人声声线进行播客音频制作,也可能会有一些地方听起来怪怪的 使用 AI 进行翻译,因此可能会有一些地方不通顺

128分钟
5k+
2周前

加入我们的 Discord

与播客爱好者一起交流

立即加入

扫描微信二维码

添加微信好友,获取更多播客资讯

微信二维码

播放列表

自动播放下一个

播放列表还是空的

去找些喜欢的节目添加进来吧