Foobar 技术周刊#160：大模型让大规模形式化软件验证成为现实丨AI写C++代码之后会发生什么？丨我们真的需要alpha() 函数吗丨重试，有时会让故障更

掘金2026-11-05 11:510 views

互联网技术周刊 #160 精选40篇前沿技术内容。本期重点：重试策略引发系统过载的故障复盘、放弃串行隔离实现3倍吞吐；Claude解开ECDSA曲线起源之谜，Cloudflare将推理成本削减68%；

Nex Playground 是一台放在电视旁的游戏机，孩子无需手柄，对着摄像头挥手跳跃即可游玩。创始人曾创办 HomeCourt 篮球训练 App 并获苹果设计奖。2025年黑色星期五期间卖出超30万台。今天分享个好玩的游戏机，也想通过

（本文作者为胡说成理，钛媒体经授权发布）文 | 胡说成理就在这两天，ForgeKernel，一个无人参与的Agent在无需参考DeepSeek原始实现的情况下，当着全网的面，把DeepSeek最新的核心算子写快了9.8%！ Flash

近日，青年人才能力数字服务平台与北大青年AI+创新劳动实践平台发布暨AI+X青年人才实践发展论坛隆重举办。本次会议由中国技术交易所、北京大学信息科学技术学院联合主办，锚定AI时代青年人才培育、产教深度协同等创新方向，汇聚职上青云等共建伙伴、

截至2026年11月5日 11:30，AI人工智能ETF平安(512930)标的指数中证人工智能主题指数(930713)强势上涨1.25%，成分股润泽科技上涨11.44%，瑞芯微上涨9.62%，芯原股份上涨8.66%。

2026年11月5日早盘，光伏设备、电池、风电设备等板块涨幅居前，截至11:02，中证新能源指数强势上涨5.34%，成分股迈为股份20cm涨停，鹏辉能源上涨17.75%，捷佳伟创，天华新能等个股跟涨。

截至2026年11月5日 11:12，恒生科技ETF大成(159740)跟踪的恒生科技指数(HSTECH)强势上涨5.16%。

Related posts