即使是成熟且经过大量测试的软件也存在缺陷，而大型语言模型（LLM）在发现这些漏洞方面也越来越熟练。Linux内核——目前测试最充分的软件之一，部署在全球数十亿台设备上——最近披露了超过1000个漏洞。随着前沿模型越来越能将看似无害的漏洞串联到关键漏洞利用中，我们需要能够在这些漏洞被实际利用之前检测并修复它们的技术。 
理想情况下，这些技术能够发现并修补所有漏洞，并提供证据证明已经没有更多漏洞存在。形式验证是一种实现这一点的方法。在形式验证中，开发者将代码转换为数学模型，然后尝试证明它始终遵循一套定义的安全规则。如果他们无法证明这一点，意味着代码中可能存在会违反规则的漏洞，而故障的性质也暗示了该漏洞可能是什么。重复这个过程（每次都消除故障原因后），最终会得到代码没有任何会违反规则的错误的证据。 
然而，正式的核实并不容易。证明可能比原始代码大很多倍，写证明需要大量精力和高度专业化的技能。...

我这边现在这款手机已经开始卡顿+亏电严重了，基本上出门都得配充电宝。想搞一台手机，个人原因排除IOS+鸿蒙体系。在android里面帮我挑一个。预算（我也不知道多少。现在才开始攒钱，一个月能攒个一千多（大四还没找到实习））攒到等开春回暖（4月份左右）不方便带充电宝就一定得买。（寒假期间没有生活费，但是有压岁钱其实也差不多一月一千。）

[image] 
 [image] 
今天打开反重力，给来了一个通知，说可以用gemini4了

怎么回事 
难道是我不会用吗 
尤其md格式, 卡的很 
还不如vscode流畅 
大家有什么技巧吗

一觉醒来py也炸了 
（指python） 
今年1024这么劲爆吗 
也算是和大家见证历史了 
明天刚好周末 天气好的话去天府绿道骑个102.4​😋 
佬们打算怎么过节呢 

PHP 刚补完 Java 又来，CVE-2026-91403 从 JDK 8 扫到 27，运维要哭了 


卡普空终于承认 CAPCOM ID 被非法访问，客户信息大规模泄露，收到假邮件别点 


最快本周五递表，史上最大 IPO，Anthropic 把自己的估值写进招股书了 


带着支票本在欧洲到处喊我给你钱，主权AI 这生意做得像发红包（ 


12月22日就停服了，侧边栏和 Little Arc 直接没了…Dia 见吧 


用户态已经能跑自制程序，盗版还不行，入口是日区 SmileBASIC，先下为敬（ 



以下内容可能包含NSFW，无底线地狱笑话和争议性内容 
工作时间谨慎阅览 
▶ 
meme

好啦以...

对于拟增列的人工智能技术，主要有哪些考虑？
答：当前，全球人工智能技术创新进入前所未有的活跃期，机遇与挑战并存。此次拟将人工智能大模型、智能体、算力集群、信息处理相关23项关键技术增列至《目录》，主要有以下考虑： 
一是确保人工智能技术安全可控。人工智能引发的各类内生和衍生风险已引起全球各国的高度关注。此次拟列管的人工智能自主驱动恶意代码生成与变异技术等，可被用于攻击国家关键信息基础设施、国防军工、核心政务等敏感系统，或用于绕过国家安全防御体系。若被非国家行为体或恶意实体获取，可能对国家安全和人类共同安全造成危害。中国政府对这类技术实施必要管理，目的是筑牢安全底线，防范滥用恶用，确保人工智能始终处于人类控制之下，推进人工智能国际治理。 
二是鼓励开源开放、合作共享。中国政府致力于让人工智能成为促进共同繁荣、维护共同安全的一个重要动力源。为支持构建人工智能开源创新生态体系，对人工智能类技术开...

有什么办法能让梯子只代理指定的文件目录的exe吗？？？买的梯子，开全局模式代理claude，流量嗷嗷用，受不了啊

现在大模型是不是对鹈鹕骑车做优化了？试了几个模型，鹈鹕骑车效果都很不错，但是换成小猫散步就各种抽象。想看看佬们的效果。

rt，想问一下这个订阅用量（主要用cpa反代Grok Build）能有多少，有没有用过的佬

[image] 
 [image] 

此前（2026/10/06） SemiAnalysis 测试过 A\ 与 OAI 订阅额度，未被测试的用户依旧可以参考下面这篇文章 


Source: @SemiAnalysis_

从上周开始，账号被风控，所有模型被路由到5.6 Luna ，鹈鹕测试题乱画，频繁出现切换模型的提示。今天早上一打开，终于放出我了。 🤪

昨天一只提交不了，今天借了个apikey提交成功了 
 [Screenshot_2026-10-23-07-43-54-871_com.server.auditor.ssh.client-edit]

[image] 
就是今天！先悄咪咪许个愿（说出来就不灵了bushi 
也提前祝佬友1024节日快乐，祝社区再创辉煌 
小福利：600LDC 30个手气红包 
我向你分享了一个LDC红包，打开 hb.unsnow.org ，输入口令 加油加油加油 领取

这个页面排版… Vibe 完好歹得检查下吧 🤣 
 [image]

19号订阅的，今天好像还没退钱。难道U卡退款会更慢一点？

[image] 
让它用GPT的pro模型辅助它工作，它不知道怎么拖文件工作，擅自决定不用网页端了，要用我的codex浪费我codex额度。 
之前也是，让它反代agy给我公益站用，它觉得agy反代分发不合规，莫名其妙把我openrouter的key接近去了，我都没注意，直到openrouter钱被花光了才注意。 
它完全不知道临时转变方向的代价吗，它不知道我的钱是钱吗？

claude轻松满月 
 [apple]

大家上L站是不是都是翻墙上的呀，现在不翻墙好像进不来

刚看grok bot上面切换到x的15倍新套餐有半年的40%优惠。但我现在是Cursor免费送的Pro+， 限额是3倍pro，还差40多天才到期，现在换的话，剩下这40多天的优惠就没了，也不知道等下个月再切过去还有没有优惠了… 
我自己主用grok和Claude max， 所以Cursor取消第三方模型用量对我没啥影响。本来我是打算等Cursor免费会员到期就取消了。但是现在这价格这么优惠，我突然想把Claude 取消了，主用grok。 
不知道佬们觉得新套餐怎么样？ 
 [IMG_9770]

[image] 
GPT-6.1-sol 开high一小会就用完5h额度。 
主要是文本类、大项目工作多，上下文开到了872K。不然默认它自己一直压缩（还会丢记忆）。 
咋办呢？有没有好的建议 :xhs_040: