Karpathy每周阅读清单聚焦建筑、基础设施与工业技术领域新闻。纽约市485-x税收减免政策导致开发商将项目恰好控制在99套住宅以规避更高工资要求,全美最大住宅建筑商DR Horton与加拿大建筑自动化初创公司Promise Robotics签署协议,将AI驱动的机器人预制建造技术应用于1250套住宅;3D打印建筑公司Icon完成2亿美元D轮融资,估值14亿美元,较2022年约20亿美元属低估值融资。哈佛联合住房研究中心数据显示,2013至2024年间美国建筑业外国出生劳工数量大幅增长,而电工和管道工等持证职业的增量主要来自本土工人。GlobalFoundries将运营纽约两座新晶圆厂,由日本出资210亿美元,美国政府持4%股权。ASML表示无法满足2027和2028年的光刻机需求。中国五大太阳能制造商员工过去两年合计减少约四成。受AI数据中心建设导致内存短缺影响,智能手机出货量同比下降20%。
infinitum 资讯聚合
1985年10月17日,英特尔正式发布80386(亦称386或386DX)处理器,并于1986年6月开始量产。该芯片采用全32位设计,集成275,000个晶体管,主频12–25 MHz(后续推出33 MHz版本),最低售价299美元;相比286,386延长指令流水线、从16位扩展至32位并内置内存管理单元,支持实模式、虚拟8086模式和保护模式,最高可寻址4 GB内存,可运行Unix、OS/2等现代操作系统。由于IBM内部对386存在分歧,最终未要求英特尔开放第二供应商,英特尔因而未向AMD等厂商授权386;AMD虽在1991年推出Am386,但此时486已经发布。1986年康柏率先推出基于386的PC,迫使IBM在不到一年内跟进,386由此成为IBM失去PC生态主导权的第一步,此后Wintel联盟逐渐接管PC产业方向。
A few months ago, I went to see Dr Hutchinson record his stand-up comedy special for the BBC - it's about his experiences working in the NHS as a Black doctor. As the title of the book implies, some of the public can be a mite suspicious that anyone with even a hint of melanin can rise beyond being a porter or, at a push, a nurse. Much like Adam Kay's "This Is Going To Hurt", this is part…
Python潮流周刊第171期汇总本期精选内容:Python 3.15正式发布,带来惰性导入语言级语法、frozendict转正为内置等新特性;多篇文章涵盖3.15数据科学特性、3.14与3.15性能对比、PEP 849类型表达式、PyBytesWriter与PyUnicodeWriter优化、Python里每秒解析数十GB的JSON以及命令行工具冷启动从4秒降至0.4秒等技巧;开源项目包括LangWatch智能体可观测平台、rea智能体逆向工程工具、repowise本地代码索引、quicksand一次性沙箱、Sage有状态智能体运行时、orbi编码智能体、git-lrc AI代码审查等12个与AI智能体相关的项目;音视频有Python 3.15新特性逐项解读;讨论话题涉及PEP 848分代增量垃圾回收和为f-string增加!R转换。
本文介绍美国运通工程师 Thangavel Subramaniam 与 Saurabh Gupta 提出的研究原型 Context Inspector,旨在在 RAG 检索增强生成流程中,于上下文组装完成、调用 LLM 之前检测上下文质量。传统生成后评估无法发现上下文层面的失效,作者将"好上下文"形式化为六维向量:覆盖率 ρ、token 利用率 τ、来源饥饿率 δ、矛盾密度 κ、新鲜度 φ 与策略可接受性 π。文章给出各维度的数学定义、加权公式与示例数值,并以 Python 代码片段演示评分与阈值判断逻辑。最终上下文选择被建模为在 token 预算、覆盖、新鲜度与策略约束下最大化效用函数的优化问题,Context Inspector 提供可解释信号而非全局最优保证。文中所有数据均为说明工程模式的合成示例。
Google DeepMind 官宣 4 个基于 Gemini 4 Argon 的通用编码智能体在零人工分工的条件下,从零开局、用时 27 小时 14 分钟自主协作通关《我的世界》生存模式,击败末影龙。4 个 AI 通过共享聊天频道和笔记自行协商分工,使用 Mineflayer 库编写代码操控角色,全程共生成 2783 个程序、229 条聊天消息,期间累计死亡 605 次,每次均自主复盘重启。底层模型 Gemini 4 Argon 于 9 月 30 日发布,擅长长时程编码任务,DeepSWE v1.1.1.1 上得分 77.9%。DeepMind 通过禁用服务端命令、独立 Observer 智能体审查及人工抽样审计三层机制确认无作弊。论文标题《A team of Gemini 4 Argon agents beats Minecraft》于 10 月 15 日挂上 arXiv,研究人员强调全程零人类干预仅指未出手,监督一直在线。该成果被定位为多智能体系统从流水线协作向自主组队演进的关键一步。
腾讯研究院发布2026年10月12日至16日AI每周关键词Top50榜单,按模型、应用、科技、观点和事件五大类别梳理当周行业动态。模型层面涵盖微软Maia 300、谷歌Gemini 4 Carbon/H-JEPA、OpenAI GPT-6.1 Sol、Anthropic Claude Next、阿里千问QwenGyre等十余家公司的新模型或版本。应用层面聚焦逆向工程、智能体开发、企业微信、AI眼镜、云端API等方向,涉及华为、OpenAI、上海AI实验室、Hugging Face、苹果等主体。科技与观点部分汇集陶哲轩关于脑机接口、Karpthy关于具身临界点、Meta关于超级智能与AI鸿沟等行业讨论;事件部分则关注OpenAI的Sora重启与破产传闻及Character.AI宕机等动态。榜单整体提供当周AI领域的全局速览与索引。
荷兰狼自2015年从德国方向自行扩散回归,并非人为再引入,目前约有131只狼、约14个狼群。荷兰瓦赫宁根大学研究被置于欧盟《栖息地指令》框架下讨论,欧洲整体约需500个狼群以维持遗传稳定,荷兰被评估应贡献23至56个。报道指出野猪面对捕食压力聚成50至60只的大群、鹿群也恢复警戒,猎物行为迅速调整。争论焦点在于荷兰人口稠密、农牧业密集,狼回归的生态收益与牧民、马主和居民承担的羊损及安全风险由不同群体承担,围栏等防护措施效果有限且成本高昂,生态修复价值与荷兰高密度土地适用性之间存在持续争议。
StrokesPlus.net 作者因经济困难曾停掉服务器、暂停软件更新;近期复出并将 StrokesPlus 更名为 Input.Observer,从头重构为一款面向 Windows 的手势、热键与文本扩展应用。新版引擎不做任何网络连接,可导入原有 StrokesPlus.net 配置,曾捐赠、翻译或在论坛发帖的用户可免费获得 1.x 授权。产品支持按应用区分手势、C 类脚本或步骤编辑、热键与文本扩展、窗口管理、宏录制以及自定义手势轨迹样式,内置 132 种样式。个人许可证原价 12 美元、现价 8 美元,一次性付费含税。
本文围绕 Hacker News 对 Lingua Franca(LF)并发协调语言的讨论展开。LF 用 reactor、具名端口和逻辑时间来组织并发组件,其主页以石头剪刀布示例展示端口通信,引出与 Flow-Based Programming 中具名端口的关联。评论认可图式连接的表达力,但质疑其相对 Python 直接并发与 Erlang 消息传递的实质优势,并指出异步业务逻辑、细粒度端口路由、分布式协调等才是难点:示例中 1 秒最小延迟缺乏依据,环路结构难辨因果,建议改为双向提交以保证独立性。讨论焦点在于 LF 的抽象能否在定时、同步和分布式一致性上真正消除错误,而非仅美化拓扑。