资讯与观察
AI 行业动态、工程实践、产品方法和社区故事。
开发者质疑 AWS Bedrock 限制：有额度却无法调用 Anthropic、OpenAI 等模型
有开发者获得 AWS Credits，却发现因未公开政策，Anthropic、OpenAI、Kimi 和 ZLM 等模型在其账户上无法使用。其客户经理提交申请后，AWS 回复要求先使用现有资源才能申请提升权限，开发者认为这形成了无法自洽的循环。
大唐带来 3.5" 单板计算机 WCL-35，基于英特尔酷睿 3 处理器 304
大唐计算机推出 3.5" 单板计算机 WCL-35，基于英特尔酷睿 3 处理器 304，面向嵌入式环境。其尺寸为 146×102mm，提供 DDR5 SO-DIMM 插槽、M.2 2280 盘位、FPC 形式 SATA 接口及两个 M.2 插槽（分别支持无线网卡和蜂窝模块）。接口包括 2 个 HDMI 2.0、2 个 1GbE RJ-45、6 个 COM 串口等，支持宽幅 DC 输入，工作温度 -20~+60℃。
1 分钟 · IT之家
HN网友提问：有人用Common Lisp做过vibe coding吗？
Hacker News上有人发帖询问是否有人尝试用Common Lisp进行vibe coding（凭感觉/氛围编程），并质疑这种做法是否可行。讨论围绕在Common Lisp这类非主流语言中借助AI辅助编程的实际可能性展开。
1 分钟 · Hacker News 最新LATEST STORIES
最新内容
消息称三星屏厂通知明年 OLED 面板价格将大幅上调，并非成本问题意在控价精选导读
三星屏厂已向所有合作伙伴通知，明年 OLED 面板供应价格将大幅上调10-20美元（约合66.6-133.2元人民币）。爆料称上调原因并非成本问题，而是三星认为目前 OLED 市场价格混乱，希望通过涨价重新管控价格。
开源浏览器游戏 OpenCoaster 发布，在网页端复刻过山车大亨精选导读
OpenCoaster 是一款开源、净室开发的主题公园经营游戏，灵感来自 1999 至 2004 年的过山车大亨系列，可直接在浏览器中运行。玩家可逐段铺设轨道建造过山车，并经营 19 项游乐设施和 13 个摊位，模拟数千名游客决定是否买票入园。游戏无需安装和账号，支持桌面与手机，加载后可离线运行。
南佛罗里达一架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…