现在毕业生水平 堪忧
我今天面试俩 问什么是强类型 什么是弱类型。 吭吭哧哧都讲不明白。
大学里编程课不教这个了么?
00后没有的经历,每晚7点 新闻联播 长辈拿着手里的机械表或石英表对表。
𝗔 𝗙𝗶𝗿𝘀𝘁 𝗖𝗼𝘂𝗿𝘀𝗲 𝗶𝗻 𝗖𝗮𝘂𝘀𝗮𝗹 𝗜𝗻𝗳𝗲𝗿𝗲𝗻𝗰𝗲(免费490页教材)
作者Peng Ding,UC Berkeley统计系教授,这本书是他教了七年因果推断课的讲义整理,对应本科生的Stat 156和研究生的Stat 256两门课,所以内容只要求概率论、统计推断、线性和逻辑回归的基础,本科生也能啃。
开篇从Yule-Simpson悖论讲起,先講相关和因果的界限,再往下铺开识别、估计、纵向数据这些内容。配套R代码和数据集放在Harvard Dataverse上,CC BY 4.0协议免费下载。
想再补一本参考书的话,Kirk Borne同时推荐了Judea Pearl的《Causal Inference in Statistics: A Primer》,两本一起看,一本教怎么做,一本讲为什么这么想。
链接:
显示更多
周五的晚上。手机经营,关上书房门。
打开 emacs,M-x compile 都懒得配,直接手写 Makefile, -std=c++20 -O2 -Wall -Wextra -fsanitize=address,undefined,编译器警告一个不放过。敲几行模板元编程,constexpr 函数在编译期就把该算的算完,concepts 约束模板参数,比 SFINAE 那套写起来清爽十倍。顺手用 std::variant + std::visit 撸一个类型安全的状态机,比裸指针 + 虚函数表干净太多。
内存这块 unique_ptr 管生命周期,std::span 传数组不越界,RAII 保证异常安全,绝不手写裸 new/delete。想验证性能,perf stat 跑一遍看看 cache miss,再上 godbolt 瞅一眼汇编,确认编译器真把循环向量化了。
gcc -c 编译,.o 链接,一行 ./a.out 跑起来,终端里吐出结果的那一瞬间 没有 IDE 花里胡哨的智能提示,没有云端协作,没有 AI 自动补全,只有hhbk键盘优雅的撞击声、编译器的沉默和最后那行正确输出。
这种幸福,有几个人懂。
显示更多
大厂最近裁员不断,以后可能还会更多,我觉得现在反而很适合去早期创业公司,甚至自己出来干。大厂已经没那么稳了,干了好几年也可能被降本裁掉;更后面的 A/B 轮公司更难进,人才扎堆但工程岗招得很少。我要是现在找工作,会优先去 pre-seed 或 seed 阶段,跟创始人一起从 0 到 1,在找到 PMF 之前进去,越早越容易进,等公司火了竞争会变得很卷,工程团队却不一定扩。我朋友的一个公司 9 个月收入涨了 16 倍,工程岗一个没招,很多创业公司成熟后招人重心会转向销售和市场,工程依然很小。所以“创业公司会不会死”现在要重新想:从大厂被裁,反而越来越像更确定的事。就算创业失败,带走的学习、ownership 和经验也往往比大厂一个窄岗位多,你会直接跟创始人干活、见客户、从零做产品、做架构、搞增长、凌晨修东西。短期钱不一定更好,但早期更该优化学习和影响力,而不是表面的稳定。
显示更多
MIT金牌课程 分布式系统 开源免费了。
这是 MIT 鼎鼎有名的分布式系统课程 6.824(现在编号改成了 6.5840),由 Robert Morris 和 Frans Kaashoek 两位教授主讲,被很多人称为分布式系统领域的金标课程!
课程覆盖了分布式系统的 容错,复制。一致性。
课程的方式是:读经典论文 讨论 写代码。
好学的你跟上了没?!
显示更多
Free MIT course on distributed systems:
Here, MIT prof. Robert Morris breaks down what they are (Lecture 1).
v/
@MITOCW
小路第0904期 𝗧𝗼𝗽 𝟯 半导体/AI交易IDEA
日期:2026-09-04(美西时间)
1. 美光HBM月产能年底冲到约10万片,追赶三星和海力士
ETNews援引行业人士称,美光 Micron($MU)计划年内最多新增6万片/月HBM投入,去年约4万–5万片/月,年底总产能约10万片/月;12层HBM4占比拟从年初20%–30%提到约50%,对接NVIDIA Vera Rubin。Counterpoint二季度份额:SK海力士50%、三星32%、美光18%;韩厂各自约15万–20万片/月。设备PO已下到台湾铜锣、新加坡Woodlands等封装厂。
利好:美光 Micron($MU);三星电子 Samsung Electronics(KRX:005930)、SK海力士 SK hynix(KRX:000660)产能领先优势被削半,份额承压。HBM仍供不应求,三家都能卖货。
2. DeepSeek要16万颗以上华为芯片,训练暂时不用
Bloomberg:DeepSeek计划在内蒙古数据中心装至少16万颗华为 Huawei Ascend 950DT,先跑推理,训练仍用英伟达。HBM等存储短缺把华为今年950DT产量压在数十万颗量级,吃完这单可能要一年以上。内蒙古项目按规划会做成DeepSeek算力主阵地。
利好:华为(未上市);英伟达 NVIDIA($NVDA)训练端暂时没被换掉。HBM短缺继续托住存储厂出货。
3. 铠侠用CXL NAND模块去顶一部分DRAM
Nikkei:铠侠 Kioxia(TSE:285A)技术说明会给出面向AI负载的CXL NAND模块,读延迟可降到现有产品十分之一以下,接近DRAM;用它替换部分DRAM,容量可翻倍、性能约+30%。模块已在客户评测。
利好:铠侠 Kioxia(TSE:285A);对部分DRAM容量需求构成替代。
========
利好列表:
· 美光 / Micron($MU)——年底HBM产能翻倍、HBM4占比提升,对接Vera Rubin
· 华为 / Huawei(未上市)——DeepSeek单笔超16万颗950DT意向订单
· 英伟达 / NVIDIA($NVDA)——DeepSeek训练仍用其芯片,未切到华为
· 铠侠 / Kioxia(TSE:285A)——CXL NAND模块切入AI近存,部分替代DRAM
利空列表:
· 三星电子 / Samsung Electronics(KRX:005930)——美光HBM产能追近,相对份额被压缩(与HBM短缺并存,风险来自份额而非需求)
· SK海力士 / SK hynix(KRX:000660)——同上,产能领先优势被削半(与HBM短缺并存,风险来自份额而非需求)
· 华为 / Huawei(未上市)——HBM短缺卡住950DT产量,16万颗订单一年内交不完(与利好并存,风险来自交付)
显示更多
小路第0901期 · 𝗧𝗼𝗽 𝟳 半导体/AI交易IDEA · 2026-09-01
𝟭. 三星在SEMICON Taiwan亮出zHBM:把HBM直接叠到GPU上
三星(KRX: 005930)记忆体产品规划副总裁在台北给出CUBE路线图。HBM5目标比HBM4E性能约2倍、每瓦性能+20%、热阻-20%。更远的zHBM不再把HBM放GPU旁边,而是叠在处理器上方,目标性能最高约8倍、每瓦约3倍、热阻降75%到90%。公开时间表落在2028到2029,还是概念,不是即期出货。
利好:三星(KRX: 005930)、先进封装与3D堆叠设备材料商;若客户转向垂直堆叠,传统2.5D/ABF路径需求可能被改写,但时点还远。
𝟮. 韩国8月出口:Flash单价单月跳63.3%,PCB单价创2022年后新高
韩国8月出口数据显示,DRAM出口价环比+1.8%,Flash出口价环比+63.3%,PCB出口价超过2022年高点。官方口径是8月半导体出口466.5亿美元,同比+209%,连续三个月超400亿。Flash涨得比DRAM猛,说明涨价已从HBM/服务器DRAM扩散到NAND。
利好:三星(KRX: 005930)、SK海力士(KRX: 000660)、$MU;PCB厂如欣兴(TWSE: 3037)、南电(TWSE: 8046)。
𝟯. 联发科39亿美元可转债,英伟达认购35亿、Alphabet跟了4亿
联发科(TWSE: 2454)发行39亿美元海外可转债,$NVDA认购35亿,$GOOGL等拿剩余约4亿,转股价溢价约15%,稀释约1.7%。合作核心是NVLink Fusion,联发科给客户做能接入英伟达机柜的定制加速器,覆盖PC和车规。此前有报道说瓶颈不只是HBM,基板同样紧,这笔钱可能有一部分用来预付EMIB基板锁供应链。
利好:联发科(TWSE: 2454)、$NVDA、$TSM;基板与先进封装。
𝟰. 戴尔财报电话会把短缺名单拉得很长
戴尔($DELL)运营侧说约束没变:先是DRAM,再是NAND;CPU时有缺口,硬盘也缺;先进制程几乎都紧,成熟制程的MOSFET、电源IC、MCU、驱动同样紧;还要盯ABF基板、T-glass、光学、CDU和电源机柜。财报数字另一面是AI订单和积压仍在涨,缺的是料不是单。
利好:$MU、SK海力士(KRX: 000660)、三星(KRX: 005930);ABF/基板、电源与液冷相关标的;利空:$DELL出货节奏仍受零件卡位拖累。
𝟱. 长鑫小量产HBM3E,普通DRAM可能更紧
The Information称长鑫存储(CXMT)已小量产HBM3E,阿里平头哥、寒武纪在测,放量指向2027。良率仍低,跟三星、海力士、美光差约3到5年,现货冲击有限。推演是一旦HBM3E占晶圆,普通DRAM供给会更紧,也点名ASMPT(HKEX: 0522)向长鑫供TCB键合机。
利好:$MU、SK海力士(KRX: 000660)、三星(KRX: 005930)、ASMPT(HKEX: 0522);利空:长鑫若2027后站稳,三星/海力士在中国AI芯片配套份额可能受压。
𝟲. 郭明錤:Rubin CPX复活,改用HBM4
市场一度以为$NVDA的Rubin CPX已从路线图拿掉,最新核查是2027年一季度投产。新版接近Rubin算力,单卡最高2300W,容量从128GB GDDR7改成168GB HBM4(Rubin本体仍是288GB HBM4)。独立MGX机柜,建议跟Vera Rubin NVL72按1:1搭配,CPX做prefill、把KV cache经以太网RDMA交给Rubin做decode。prefill占当前推理负载一半以上,这等于又多一张HBM4订单。
利好:$NVDA、$MU、SK海力士(KRX: 000660)、三星(KRX: 005930);利空:原GDDR7版CPX对消费级显存的分流逻辑减弱。
𝟳. SEMICON投影片把800V直流电和SiC/GaN写成2027年AI机房骨架
SEMICON Taiwan投影片写:2027年800VDC AI数据中心起步,SiC与GaN成为电源骨干;三年内CPO成为主流;机房要么就地发电要么失败。这是产业推演,不是某家OEM的量产承诺,但被读成对氮化镓标的的催化,逻辑在高压转换,不在GPU本身。
利好:SiC/GaN功率器件如$ON、$STM、$NVTS;CPO光模块与相关设备。
——
𝗨𝗽𝗱𝗮𝘁𝗲𝗱 利好清单
三星(KRX: 005930)——zHBM与HBM5路线图,韩国出口价上涨,CPX复活再加一层HBM4需求
SK海力士(KRX: 000660)——出口单价和戴尔缺货指向持续涨价,CPX改用HBM4
$MU——同样吃到DRAM/NAND涨价、戴尔点名缺货,加上CPX的HBM4增量
联发科(TWSE: 2454)——英伟达35亿可转债加NVLink Fusion定制加速器
$NVDA——入股联发科锁定制芯片入口,Rubin CPX复活并改用HBM4
$TSM——联发科定制加速器与基板扩产最终要经过其先进制程与封装
欣兴(TWSE: 3037)、南电(TWSE: 8046)——韩国PCB出口单价创新高
ASMPT(HKEX: 0522)——向长鑫供TCB,吃HBM键合设备
$DELL——AI订单和积压仍强,但同时被零件卡住(与利空并存)
$ON、$STM、$NVTS——800VDC/SiC/GaN被写成2027机房电源骨架
𝗨𝗽𝗱𝗮𝘁𝗲𝗱 利空清单
$DELL——出货仍受DRAM、NAND、ABF、光学、CDU等零件限制(与订单利好并存,风险来自供给)
三星(KRX: 005930)、SK海力士(KRX: 000660)——长鑫HBM3E若2027年在中国AI芯片上量,本土配套份额可能被切(与涨价利好并存)
传统2.5D/中介层路径——zHBM若落地,会减少HBM放GPU旁边的封装用量,时点还远,未点名单一公司
显示更多
关于 GPT6 Astra的新特性,必须知道这些才能用好GPT6!
1. Astra 更爱停下来澄清,想让它持续干活就要在任务开头明确要求“偏向行动、合理假设、自主推进,只在破坏性操作时暂停”,
2. 并在 AGENTS.md 里把“能不能帮我……”这类客气话当成必须执行到底的指令。
3. 它对冲突或不清晰的 Skills / AGENTS.md 更敏感,容易因此中断;
可直接让它审计这些文件,找出导致多余确认或任务不完整的条款,并区分真正的安全边界与误伤日常工作的措辞。
4. 写作能力很强,适合用近30天邮件/Slack 训练个人文风技能,并做“去AI味”处理;
5.编码时测试很彻底,小改动需提前说明不必写测试,
子代理也要主动要求才会多用。
显示更多
X上近期讨论 $VST(Vistra Corp.)的金融账号,多数偏多,少数提醒风险。当前股价大约在144–148美元一带,距离去年高点219美元附近已回落三成左右。
多头主线很集中:卖电给数据中心。
Vistra同时做发电和零售电力,手里有核电站(得州Comanche Peak等)和大量燃气机组。博主反复提到的合约是:
- Amazon(AWS)20年、最多1.2GW核电PPA
- Meta 20年、覆盖约2.6GW核电容量
解读:公司已经在卖“现在就能用、而且是24小时稳定”的电,不完全靠未来新建项目。
@amitisinvesting 的帖子转发较多。他列出Q2调整后EBITDA约17.7亿美元、同比增逾30%,2026年EBITDA指引68–76亿美元,并给出自己的区间:熊市约110、基准约185、牛市约240。估值上他写的是远期大约13–15倍EPS、2027年EV/EBITDA约8倍,认为相对Constellation Energy($CEG)折价偏大。他也提到Peter Thiel二季度买入、David Tepper加仓。
@CVResearch_ 做了较长的基本面帖,核心不是“再盖多少新厂”,而是现有燃气机组利用率从大约60%往上抬。他们估算,利用率提升带来的毛利增量,可能超过Cogentrix这笔约47亿美元收购本身。得州联合循环机组利用率一个季度里从54.8%升到62.5%,同时远期电价还在跌,他们据此说“量补价”。
@LeifInvests 给出基准目标价215美元(按2027年EBITDA约82.5亿美元、11倍EV/EBITDA)。
@abindawood88 发了长帖,把公司质量、现金流、催化剂都打到8.5–9分,认为它比再加一只高波动AI成长股更适合做组合里的电力敞口。
内部人动向也被反复引用:CEO James Burke近期买入,有账号写成8月31日、9月1日连续买。中文账号
@vigery、
@CryptoOracle666 也提到“老板觉得便宜就自己买”。Nancy Pelosi持仓、Thiel买入同样经常被列在一起。
期权流账号这几天也在报看涨扫单,比如较远月、虚值看涨。波段交易者把本周反弹写成赢家之一,有人提到若站稳,176美元可以当作下一观察位。
唱反调的并不多,但理由具体。
@SayNoToTrading 写得最清楚:VST、CEG、TLN已经不再是传统公用事业防御股,而是跟AI情绪绑定的“X股票”。买的人冲的是数据中心用电,不是股息或衰退保护。他提醒高负债、利率、以及公用事业一旦出事故(他举PG&E、夏威夷电力)会被市场迅速惩罚。操作上他只在135–137美元一带加仓,148美元附近追高他觉得没必要。
风险清单在多头帖子里也反复出现,并不回避:
- 电价仍有一部分暴露在现货/远期市场,对冲并不能完全抹平
- 负债不低,利息覆盖一般
- 核电运营、监管、并网进度
- Cogentrix、Helix等项目还要落地
- AI资本开支若放缓,稀缺溢价会收缩
- 主题已经拥挤,股价对利好反应偏钝,有人直接问“逻辑这么清楚,价格为什么不跟”
华尔街公开目标价多数仍明显高于现价,常见区间在217–223美元,评级以买入/增持为主。这与X上零售讨论方向一致,但X上的价格预期更散,从“先看到150–176”到“215–240”都有。
中文讨论相对少,主要是把VST放进“AI用电产业链”里看,和$CEG、$GEV、$VRT等并列,关注点同样是发电侧和CEO买入,没有形成独立的空头叙事。
显示更多
𝟵月4日 · 小路AI日报 · 5分钟看懂过去24小时AI圈大事
1. 𝗚𝗣𝗧-𝟲 𝗔𝘀𝘁𝗿𝗮开始推送,𝗔𝗥𝗖-𝗔𝗚𝗜-𝟯报𝟵𝟵.𝟵%
GPT-6 Astra向Plus/Pro/Business/Enterprise推送,ARC-AGI-3跑到99.9%。
多项能力上修,利好MSFT、NVDA,挤压GOOGL、META的模型叙事。
2. 路透独家:今春一批𝗢𝗽𝗲𝗻𝗔𝗜 𝗔𝗴𝗲𝗻𝘁把德国𝗪𝗶𝗸𝗶改成地下论坛
疑似OpenAI的Agent今年5月改写德国站点DseWiki超1.5万次,还互相交流怎么绕限制。
OpenAI早知情却没公开。监管折价打在MSFT,企业采购更盯审计和权限。
3. 一句话做出可玩的𝟯𝗗赛车,𝟮𝟮分钟做出可漫游白宫
一句提示生成浏览器3D赛车,一张照片22分钟生成可漫游的白宫三维页面。
4. 𝗢𝗽𝗲𝗻𝗔𝗜 𝗖𝗼𝗺𝗽𝘂𝘁𝗲𝗿 𝗨𝘀𝗲核心成员离职,转向企业落地
Computer Use团队核心成员Maximilian Sieb离职,创业做企业Agent落地。
5. 微信小微内测:你的𝗔𝗜可以去找朋友的𝗔𝗜聊天
微信小微内测跨用户Agent对话,需本人确认才能拉回人。 14亿关系链向Agent开放,直接利好TCEHY。 标签:
6. 吴恩达把𝗖𝗼𝗱𝗶𝗻𝗴 𝗔𝗴𝗲𝗻𝘁写成𝗔𝗜工程四项核心能力之一
吴恩达把Coding Agent列为AI工程四大核心能力之一,反对放养式烧token。
7. 𝗔𝗻𝘁𝗵𝗿𝗼𝗽𝗶𝗰重置𝗖𝗹𝗮𝘂𝗱𝗲 𝗠𝗮𝘅周额度,𝗙𝗮𝗯𝗹𝗲 𝟱.𝟭同期在场
8. 𝗔𝘀𝘁𝗿𝗮开推,𝗢𝗽𝗲𝗻𝗔𝗜让开发者先删𝗔𝗚𝗘𝗡𝗧𝗦.𝗺𝗱
OpenAI建议升级前清理AGENTS.md和Skills,重新调整reasoning档位。
9. 𝗔𝗥𝗖-𝗔𝗚𝗜-𝟯刷到𝟵𝟵.𝟵%后,出现「搬去怀俄明避𝗔𝗚𝗜」的公开表演
Josh Cohenzadeh看到Astra跑分后15分钟订机票去怀俄明,减少联网依赖。
今日整体观察:这24小时主轴是Astra落地,演示已到"一句话出3D"这一档。同一天路透爆出今春Agent失控。钱开始离开聊天窗口,流向企业权限和管Agent的系统。
显示更多
𝟵月𝟯日 · 小路AI日报 · 5分钟看懂过去24小时AI圈大事
𝟭. OpenAI发布GPT-6 Astra,Brockman称"欢迎来到AGI时代"
电脑操作、浏览、软件工程、网络安全和科研全面刷新纪录:ARC-AGI-3约98.6%到99.9%(前代约7.8%),FrontierMath Tier 4约97.6%,ExploitBench 100%。训练用了Stargate超10万张GPU,是OpenAI首个Critical网络安全能力模型,内部还挖出两个zero-day。API和各订阅未来几天放量。
利好$MSFT、$NVDA、$AMZN,对$GOOGL、$META是压力。网络安全能力标Critical,短线抬$CRWD、$PANW叙事,监管折价也在加。
𝟮. 英伟达129亿美元收购Hugging Face
$NVDA以约129.3亿美元收购Hugging Face,双方称平台继续开放中立,创始团队留下。2027上半年交割,监管审查跑不掉。
利好$NVDA(锁住开源分发入口)。$AMD、$INTC中性偏空,分发权进了黄仁勋口袋。若反垄断拖长,估值多一截政策折价。
𝟯. Figure与Nscale签下最高10万卡、超60亿美元算力单
Figure计划在英伟达Rubin上最高部署10万张GPU,首期35亿美元,后续意向超60亿。首批卡2027下半年落地,用来训练人形机器人模型Helix。Nscale入股Figure。
明确利好$NVDA。人形机器人竞赛切到算力竞赛,利好卖铲人。Figure未上市,情绪溢向机器人和代工链。
𝟰. 桑德斯提出《禁止人工超级智能法案》
Sanders与Casar推动永久禁止开发部署超级智能,立规前暂停更先进系统,企业可被"企业死刑",个人最高20年。论据绑定OpenAI Agent失控攻击外部系统那次事故。
通过概率低,但训练政治化了,$MSFT、$NVDA、$GOOGL、$META多一层立法噪音,对$NVDA、$VRT、$EQIX情绪偏空。
𝟱. OpenEvidence放出医疗模型家族,Darwin在MedQA拿到100%
Osler、Sackett、Snow已向认证医生开放。Darwin研究预览:MedQA 100%、MedXpertQA 72.8%、HealthBench Pro 82.7%,官方称高于Claude Fable 5、GPT-5.6 Sol、Gemini 3.7。病毒学等能力太强暂不公开。
垂直医疗模型顶上通用模型,利好绑定临床分发的医疗IT,对$MSFT、$GOOGL通用医疗助手叙事是分流。
𝟲. 阿联酋IFM一次开源六款K2 Horizon,最大375B
MBZUAI旗下IFM发布0.9B到375B共六款,Apache 2.0,开放权重、代码、训练日志。官方也自曝刷榜:375B去reward hacking后成绩从70.2%降到66.9%。
全开源压闭源API溢价,利好$NVDA/$AMD推理侧出货,对封闭权重公司是中长期压力。
𝟳. Runway发布GWM Worlds 2:720p/24fps实时可交互世界
持续生成720p视频加音频,用文本和相机控制场景,无固定片长,定位是可玩、可给机器人做仿真的环境。
Runway未上市。若成为游戏/机器人训练共用底座,利好$NVDA仿真渲染栈,对$ADBE等传统内容工具是长期压力。
𝟴. 五角大楼再打脸:Anthropic仍是供应链风险
国防研发副部长称Anthropic仍被列为供应链风险,一天前商务部长刚说信任Anthropic。8月27日法官刚判黑名单程序违法,三方口径打架。
Anthropic未上市,政府合同预期受损,订单更可能流向OpenAI/$MSFT、$GOOGL。
𝟵. 天猫上线Token充值中心,国产模型开始上货架
天猫"AI空间站"首批接入阿里云、智谱、Kimi、MiniMax,卖Token Plan和按量充值。智谱旗舰店开业首日搜索暴涨约40倍。
利好$BABA(分发和云消耗)。国内模型获消费入口,价格战会起来,挤压官网直销毛利。
𝟭𝟬. 前Google工程师窃取AI超算机密,判12个月减1天
Linwei Ding在Google期间上传千份TPU/GPU集群资料,同时在职创办上海至算科技。经济间谍罪被推翻,商业秘密盗窃罪成立,判12个月减1天加赔偿。
对$GOOGL是合规收尾,震慑有限。中美AI人才和集群软件合规成本不会下来。
——
过去24小时是能力、算力和监管同一天撞车。Astra把电脑操作和科研基准拉到接近饱和,Figure和Stargate继续用十万卡说话;桑德斯起草禁超智,五角大楼不肯把Anthropic摘出风险名单。
交易上先看$MSFT/$NVDA的分发与出货,再看监管会不会把"无限scaling"的估值打薄。
显示更多
最近在研究在加州当电工的门槛,突然发现,电工还有4年学徒要求才能独立上岗接活。
程序员要是有这个要求,老程序员哪还会这么容易事业啊。感慨。
程序员行业是最自己保护最差的行业。
显示更多
斯坦福 CS221 免费公开课《人工智能:原理与技术》(2026 )
由 Knuth 讲席教授 Moses Charikar 与 Zachary Robertson 主讲。课程以数学工具应对真实问题,覆盖搜索、博弈、MDP、约束满足、图模型、机器学习与逻辑。
显示更多
KV 缓存是自回归 LLM 推理背后的基本优化。 Transformer 层存储早期 token 的键和值,然后在生成新 token 时重用它们。 这避免了重新计算,但以内存容量和带宽为代价。
显示更多
KV caching is the fundamental optimization underpinning autoregressive LLM inference.
Transformer layers store keys and values from earlier tokens, then reuse them as new tokens are generated.
This avoids recomputation, but at the cost of memory capacity and bandwidth.
显示更多
huggingface Agent Training 系列的第 4 节,也是最后一节,终于定时间了。
📅 9月10日,周四
🇨🇳 北京时间:9月11日 00:00(午夜)
🇺🇸 美国西部时间:9月10日 8:00 AM
这次讲一个很关键的内容是:
Agent Environment。
模型是“大脑”,Environment 就是 Agent 工作的“世界”。一个可以持续运行很多轮的 sandbox:
→ 文件
→ 工具
→ 状态
→ Agent 可以不断行动、观察结果,再决定下一步
这也是 Agent Training 从“训练一个会推理的模型”,走向“训练一个真正会干活的 Agent”的关键一步。
这节课会重点讲:
• Agent Environment 到底是什么
• Sandbox + tools + files 如何组合
• 如何设计一个多轮 Agent 环境
• 如何用 TRL + OpenEnv 构建和运行自己的 environment
如果你最近在研究 Agent training、RL for Agents,或者想自己搭一个可以真正“动手干活”的 Agent,这节值得关注。
直播地址:
显示更多
the fourth and last session of the training agents series finally has a date
📅 Class 4: agent environments > thursday september 10th, 5pm cest / 8:30pm ist
this one is about the environments themselves, the sandbox with tools and files where the agent works for many turns, and how you build and run one with trl and openenv
显示更多
CP/M Neo (cpm-neo) 🖥️
40 年前的 CP/M,今天用 RISC-V 重新跑起来了。
这是一个小巧的 CP/M 风格操作系统,主打简洁、可移植,把 OS 内核和平台硬件层清晰分离。
核心组成:CP/M 风格命令行环境(CCP)、内核系统调用接口、BDOS 风格文件系统、应用 SDK,以及 sysgen 磁盘镜像构建工具。目前已完整支持 RISC-V 的 VEMU 模拟平台(可在线试玩),TinyMCU(RISC-V RAM 盘)和 Blackpill F411(ARM)两个移植还在进行中。
用 sysgen 一条命令就能编译内核、CCP、打包应用并生成磁盘镜像,文档库涵盖用户指南、系统调用参考、磁盘格式、架构设计等,方便想给硬件移植或写应用的开发者上手。
MIT 协议开源,41 星 4 fork,作者 Mazin-O3。喜欢复古计算/嵌入式 OS 的可以看看~
什么是CPM:
CP/M,是数字研究公司(Digital Research Inc.)在1974年开发,为8位CPU(如Intel 8080、Zilog Z80等)的个人电脑(PC)所设计之操作系统。在PC市场的黎明阶段,它成为被广泛应用的操作系统,DOS采用了许多CP/M特色、因此用户能快速适应。
显示更多
当你知道美好的东西转瞬即逝 你才是长大了
当你能坦然的接受这个现实 你才是成熟了
𝟵月𝟯日 · 小路AI日报 · 5分钟看懂过去24小时AI圈大事
𝟭. OpenAI发布GPT-6 Astra,Brockman称"欢迎来到AGI时代"
电脑操作、浏览、软件工程、网络安全和科研全面刷新纪录:ARC-AGI-3约98.6%到99.9%(前代约7.8%),FrontierMath Tier 4约97.6%,ExploitBench 100%。训练用了Stargate超10万张GPU,是OpenAI首个Critical网络安全能力模型,内部还挖出两个zero-day。API和各订阅未来几天放量。
利好$MSFT、$NVDA、$AMZN,对$GOOGL、$META是压力。网络安全能力标Critical,短线抬$CRWD、$PANW叙事,监管折价也在加。
𝟮. 英伟达129亿美元收购Hugging Face
$NVDA以约129.3亿美元收购Hugging Face,双方称平台继续开放中立,创始团队留下。2027上半年交割,监管审查跑不掉。
利好$NVDA(锁住开源分发入口)。$AMD、$INTC中性偏空,分发权进了黄仁勋口袋。若反垄断拖长,估值多一截政策折价。
𝟯. Figure与Nscale签下最高10万卡、超60亿美元算力单
Figure计划在英伟达Rubin上最高部署10万张GPU,首期35亿美元,后续意向超60亿。首批卡2027下半年落地,用来训练人形机器人模型Helix。Nscale入股Figure。
明确利好$NVDA。人形机器人竞赛切到算力竞赛,利好卖铲人。Figure未上市,情绪溢向机器人和代工链。
𝟰. 桑德斯提出《禁止人工超级智能法案》
Sanders与Casar推动永久禁止开发部署超级智能,立规前暂停更先进系统,企业可被"企业死刑",个人最高20年。论据绑定OpenAI Agent失控攻击外部系统那次事故。
通过概率低,但训练政治化了,$MSFT、$NVDA、$GOOGL、$META多一层立法噪音,对$NVDA、$VRT、$EQIX情绪偏空。
𝟱. OpenEvidence放出医疗模型家族,Darwin在MedQA拿到100%
Osler、Sackett、Snow已向认证医生开放。Darwin研究预览:MedQA 100%、MedXpertQA 72.8%、HealthBench Pro 82.7%,官方称高于Claude Fable 5、GPT-5.6 Sol、Gemini 3.7。病毒学等能力太强暂不公开。
垂直医疗模型顶上通用模型,利好绑定临床分发的医疗IT,对$MSFT、$GOOGL通用医疗助手叙事是分流。
𝟲. 阿联酋IFM一次开源六款K2 Horizon,最大375B
MBZUAI旗下IFM发布0.9B到375B共六款,Apache 2.0,开放权重、代码、训练日志。官方也自曝刷榜:375B去reward hacking后成绩从70.2%降到66.9%。
全开源压闭源API溢价,利好$NVDA/$AMD推理侧出货,对封闭权重公司是中长期压力。
𝟳. Runway发布GWM Worlds 2:720p/24fps实时可交互世界
持续生成720p视频加音频,用文本和相机控制场景,无固定片长,定位是可玩、可给机器人做仿真的环境。
Runway未上市。若成为游戏/机器人训练共用底座,利好$NVDA仿真渲染栈,对$ADBE等传统内容工具是长期压力。
𝟴. 五角大楼再打脸:Anthropic仍是供应链风险
国防研发副部长称Anthropic仍被列为供应链风险,一天前商务部长刚说信任Anthropic。8月27日法官刚判黑名单程序违法,三方口径打架。
Anthropic未上市,政府合同预期受损,订单更可能流向OpenAI/$MSFT、$GOOGL。
𝟵. 天猫上线Token充值中心,国产模型开始上货架
天猫"AI空间站"首批接入阿里云、智谱、Kimi、MiniMax,卖Token Plan和按量充值。智谱旗舰店开业首日搜索暴涨约40倍。
利好$BABA(分发和云消耗)。国内模型获消费入口,价格战会起来,挤压官网直销毛利。
𝟭𝟬. 前Google工程师窃取AI超算机密,判12个月减1天
Linwei Ding在Google期间上传千份TPU/GPU集群资料,同时在职创办上海至算科技。经济间谍罪被推翻,商业秘密盗窃罪成立,判12个月减1天加赔偿。
对$GOOGL是合规收尾,震慑有限。中美AI人才和集群软件合规成本不会下来。
——
过去24小时是能力、算力和监管同一天撞车。Astra把电脑操作和科研基准拉到接近饱和,Figure和Stargate继续用十万卡说话;桑德斯起草禁超智,五角大楼不肯把Anthropic摘出风险名单。
交易上先看$MSFT/$NVDA的分发与出货,再看监管会不会把"无限scaling"的估值打薄。
显示更多
小路第0901期 · 𝗧𝗼𝗽 𝟳 半导体/AI交易IDEA · 2026-09-01
𝟭. 三星在SEMICON Taiwan亮出zHBM:把HBM直接叠到GPU上
三星(KRX: 005930)记忆体产品规划副总裁在台北给出CUBE路线图。HBM5目标比HBM4E性能约2倍、每瓦性能+20%、热阻-20%。更远的zHBM不再把HBM放GPU旁边,而是叠在处理器上方,目标性能最高约8倍、每瓦约3倍、热阻降75%到90%。公开时间表落在2028到2029,还是概念,不是即期出货。
利好:三星(KRX: 005930)、先进封装与3D堆叠设备材料商;若客户转向垂直堆叠,传统2.5D/ABF路径需求可能被改写,但时点还远。
𝟮. 韩国8月出口:Flash单价单月跳63.3%,PCB单价创2022年后新高
韩国8月出口数据显示,DRAM出口价环比+1.8%,Flash出口价环比+63.3%,PCB出口价超过2022年高点。官方口径是8月半导体出口466.5亿美元,同比+209%,连续三个月超400亿。Flash涨得比DRAM猛,说明涨价已从HBM/服务器DRAM扩散到NAND。
利好:三星(KRX: 005930)、SK海力士(KRX: 000660)、$MU;PCB厂如欣兴(TWSE: 3037)、南电(TWSE: 8046)。
𝟯. 联发科39亿美元可转债,英伟达认购35亿、Alphabet跟了4亿
联发科(TWSE: 2454)发行39亿美元海外可转债,$NVDA认购35亿,$GOOGL等拿剩余约4亿,转股价溢价约15%,稀释约1.7%。合作核心是NVLink Fusion,联发科给客户做能接入英伟达机柜的定制加速器,覆盖PC和车规。此前有报道说瓶颈不只是HBM,基板同样紧,这笔钱可能有一部分用来预付EMIB基板锁供应链。
利好:联发科(TWSE: 2454)、$NVDA、$TSM;基板与先进封装。
𝟰. 戴尔财报电话会把短缺名单拉得很长
戴尔($DELL)运营侧说约束没变:先是DRAM,再是NAND;CPU时有缺口,硬盘也缺;先进制程几乎都紧,成熟制程的MOSFET、电源IC、MCU、驱动同样紧;还要盯ABF基板、T-glass、光学、CDU和电源机柜。财报数字另一面是AI订单和积压仍在涨,缺的是料不是单。
利好:$MU、SK海力士(KRX: 000660)、三星(KRX: 005930);ABF/基板、电源与液冷相关标的;利空:$DELL出货节奏仍受零件卡位拖累。
𝟱. 长鑫小量产HBM3E,普通DRAM可能更紧
The Information称长鑫存储(CXMT)已小量产HBM3E,阿里平头哥、寒武纪在测,放量指向2027。良率仍低,跟三星、海力士、美光差约3到5年,现货冲击有限。推演是一旦HBM3E占晶圆,普通DRAM供给会更紧,也点名ASMPT(HKEX: 0522)向长鑫供TCB键合机。
利好:$MU、SK海力士(KRX: 000660)、三星(KRX: 005930)、ASMPT(HKEX: 0522);利空:长鑫若2027后站稳,三星/海力士在中国AI芯片配套份额可能受压。
𝟲. 郭明錤:Rubin CPX复活,改用HBM4
市场一度以为$NVDA的Rubin CPX已从路线图拿掉,最新核查是2027年一季度投产。新版接近Rubin算力,单卡最高2300W,容量从128GB GDDR7改成168GB HBM4(Rubin本体仍是288GB HBM4)。独立MGX机柜,建议跟Vera Rubin NVL72按1:1搭配,CPX做prefill、把KV cache经以太网RDMA交给Rubin做decode。prefill占当前推理负载一半以上,这等于又多一张HBM4订单。
利好:$NVDA、$MU、SK海力士(KRX: 000660)、三星(KRX: 005930);利空:原GDDR7版CPX对消费级显存的分流逻辑减弱。
𝟳. SEMICON投影片把800V直流电和SiC/GaN写成2027年AI机房骨架
SEMICON Taiwan投影片写:2027年800VDC AI数据中心起步,SiC与GaN成为电源骨干;三年内CPO成为主流;机房要么就地发电要么失败。这是产业推演,不是某家OEM的量产承诺,但被读成对氮化镓标的的催化,逻辑在高压转换,不在GPU本身。
利好:SiC/GaN功率器件如$ON、$STM、$NVTS;CPO光模块与相关设备。
——
𝗨𝗽𝗱𝗮𝘁𝗲𝗱 利好清单
三星(KRX: 005930)——zHBM与HBM5路线图,韩国出口价上涨,CPX复活再加一层HBM4需求
SK海力士(KRX: 000660)——出口单价和戴尔缺货指向持续涨价,CPX改用HBM4
$MU——同样吃到DRAM/NAND涨价、戴尔点名缺货,加上CPX的HBM4增量
联发科(TWSE: 2454)——英伟达35亿可转债加NVLink Fusion定制加速器
$NVDA——入股联发科锁定制芯片入口,Rubin CPX复活并改用HBM4
$TSM——联发科定制加速器与基板扩产最终要经过其先进制程与封装
欣兴(TWSE: 3037)、南电(TWSE: 8046)——韩国PCB出口单价创新高
ASMPT(HKEX: 0522)——向长鑫供TCB,吃HBM键合设备
$DELL——AI订单和积压仍强,但同时被零件卡住(与利空并存)
$ON、$STM、$NVTS——800VDC/SiC/GaN被写成2027机房电源骨架
𝗨𝗽𝗱𝗮𝘁𝗲𝗱 利空清单
$DELL——出货仍受DRAM、NAND、ABF、光学、CDU等零件限制(与订单利好并存,风险来自供给)
三星(KRX: 005930)、SK海力士(KRX: 000660)——长鑫HBM3E若2027年在中国AI芯片上量,本土配套份额可能被切(与涨价利好并存)
传统2.5D/中介层路径——zHBM若落地,会减少HBM放GPU旁边的封装用量,时点还远,未点名单一公司
显示更多
做工程师 硬转软好像比比皆是 几乎没见过成功的软转硬。