资讯与观察
AI 行业动态、工程实践、产品方法和社区故事。
HN网友提问：有人用Common Lisp做过vibe coding吗？
Hacker News上有人发帖询问是否有人尝试用Common Lisp进行vibe coding（凭感觉/氛围编程），并质疑这种做法是否可行。讨论围绕在Common Lisp这类非主流语言中借助AI辅助编程的实际可能性展开。
消息称三星屏厂通知明年 OLED 面板价格将大幅上调，并非成本问题意在控价
三星屏厂已向所有合作伙伴通知，明年 OLED 面板供应价格将大幅上调10-20美元（约合66.6-133.2元人民币）。爆料称上调原因并非成本问题，而是三星认为目前 OLED 市场价格混乱，希望通过涨价重新管控价格。
1 分钟 · IT之家
开源浏览器游戏 OpenCoaster 发布，在网页端复刻过山车大亨
OpenCoaster 是一款开源、净室开发的主题公园经营游戏，灵感来自 1999 至 2004 年的过山车大亨系列，可直接在浏览器中运行。玩家可逐段铺设轨道建造过山车，并经营 19 项游乐设施和 13 个摊位，模拟数千名游客决定是否买票入园。游戏无需安装和账号，支持桌面与手机，加载后可离线运行。
12 分钟 · Hacker News 最新LATEST STORIES
最新内容
南佛罗里达一架Learjet飞机坠毁，致9人死亡精选导读
南佛罗里达发生一起Learjet飞机坠毁事故，造成9人死亡。当地官员确认了伤亡人数，事故原因尚未公布。
Tom7 发布可复现的 Nopert 形式化证明，完成 P/A/C 多面体分类精选导读
Tom7 公开了关于 Nopert（非 Rupert 多面体）的可复现形式化证明，据此完成对所有柏拉图、阿基米德和卡塔兰立体的分类。这些验证依赖大规模分类讨论和外部数据文件，证明以仅用 Lean 内核的形式陈述：若程序验证证书通过，则结论成立。
Aphex Twin 在 X 平台发布新专辑《Selected Ambient Works》精选导读
Aphex Twin 通过 X 平台发布了新专辑《Selected Ambient Works》。这张专辑延续了该系列的氛围音乐风格，具体曲目和发行细节尚未披露。
Amdahl与富士通合作推出兼容IBM的大型机470V精选导读
Amdahl 470V系列大型机于1974年9月发布，与IBM System/370兼容但性能更高、成本更低。首款V/6机型1975年6月在戈达德太空飞行中心安装，速度约为IBM 370/168的1.5倍，体积仅为其三分之一且采用风冷。该系列一直作为Amdahl主力产品延续到1980年代。
SenseTime open-sources 9-billion-parameter AI model that reuses layers for deeper processing精选导读
SenseTime has released SenseNova Loop-9B-Preview, an open-source multimodal model that uses repeated computation to extend its processing depth without duplicating the corresponding model weights. The release was announ…
Meituan launches LongCat-2.5 multimodal AI model for extended coding tasks精选导读
Meituan released LongCat-2.5 on November 2, adding stronger visual understanding and coding capabilities to its AI model lineup. The model has 1.6 trillion total parameters, with approximately 48 billion activated for e…
DeepSeek team open-sources proactive coding agent research prototype精选导读
DeepSeek’s Harness team has open-sourced dsh-superagent, a research prototype that receives development requests through GitHub and optionally Feishu, works on them in separate sessions, and returns results such as pull…
Tencent’s WeChat Pay puts AI sales robot to work in 7-Eleven store精选导读
腾讯微信支付在深圳总部园区的7-Eleven门店部署了一台AI零售机器人，于10月29日广东第2000家7-Eleven门店开业时首次亮相。该机器人由腾讯混元大模型驱动，可迎接顾客、推荐商品及促销组合，并通过对话协助下单，顾客随后扫码自行完成支付。系统还采用腾讯音频技术在嘈杂门店环境中识别语音，微信支付称其旨在分担部分常规顾客互动，让店员有更多时间补货、备餐和协助顾客。
Meta reportedly builds humanoid robot prototype with China’s Fourier精选导读
Meta 已与中国机器人公司傅利叶（Fourier）合作研发出人形机器人原型机，并已着手开发第二版。该原型机内部代号 Max，高约五英尺，胸部装有扬声器、面部可模仿人类表情、五指手能抓取小物件，双方据称在三个月内造出首台。该原型用于支撑未来消费级机器人研发，目前仅作研究用途，Meta 未设定上市时间。