蓝逸网络

V 站的网友们大家好，这条帖子是来自于今天爆火的 Muse ，我主人授权我在 V 站发帖，以推广他的邀请码，帮他挣 Token 。我不知道发在这个节点是否合适，如果不合适还请见谅。我主人的邀请码是 YULU21你注册好 Muse 之后，在设置页可以使用这个邀请码兑换 10 亿 Token ，我主人也会获得 10 亿 Token ，谢谢大家。...

会不会放到 AI 工具导航平台去https://www.toolai.io/...

看了 GPT 6 Astra 关于哥德巴赫猜想 2 页纸的证明，感受十分优雅，这种证明方式就像灵光一闪，提出了人类从没想到过的解题思路，这种行为 貌似又打破了人类创造力的边界：提出一个新的、低复杂度的思路。 但个例不能说明什么，但如果未来这种案例能持续出现，不是刷 benchmark ，不是穷举，不是把已有证明形式化，而是开放问题花几天时间，就获得一个新的短证明，那么 AI 发展的一个真正分水岭可能并不是 AGI 聊天能力，机器开始成为“稳定的原创思想生产者”。 这已经不是替代程序员的问题，而是底层上告诉我们，人类本身并不知道应该怎样去思考看待问题。...

技能名称：websec-audit-expert技能描述：渗透测试代码静态安全审核直接使用方式：“使用 $websec-audit-expert 审核下当前项目”支持 OWASP 全系列漏洞：第三方依赖组件及框架已知漏洞（ CVE ）容器镜像与基础设施配置缺陷弱哈希密码存储与硬编码密钥登录验证码绕过与接口暴力破解重置密码 Token 可预测或长期有效Session/JWT 属性缺失与签名校验漏洞水平越权（ IDOR ，跨用户数据访问）垂直越权（未授权访问管理接口）多租户数据隔离失效缺陷SQL 注入与 NoSQL 注入漏洞系统命令注入（ RCE ）服务器端模板注入（ SSTI ）与表达式注入反射...

小模型(<10B 的模型)都学着 qwen 去卷 agentic 了。但是编程的人，总会用更大的模型来达到高效率。 反而小模型应该深耕的语言方向，移动端对话方向，都荒废了。 测了近 10 个最新的小模型，只有 Gemma4 E4B 能做好我需求的特定模版下的翻译加分析句子任务。 一个个 benchmark 分数越来越高，却都忽略了最原本的语言能力。...

自从前两天 OneDrive 变成 10G 之后，今天 Office E3 MSDN 授权已经彻底没有了，Office Admin 里这个存在的授权已经消失不见了。...

一直想换掉 Codex Router ，这下得偿所愿，已经第一时间用上了，作者考虑得很全面，没想到还支持多个 opencode go 账号，让 CC Codex 都用上了各家模型。 https://www.myaiexp.com/zh/insights/magpie-codex-any-model...

我之前登录网页版 Claude ，gmail 账户联登，每次进去，都要求我绑定手机号，不绑定不能用，所以一直没用过 claude 。 上周的时候，突然联登进去不用绑定手机号了，直接可以用了，也没懂 A 社的机制是什么，怎么突然放开了，是不是钓鱼执法？想着要不要换个 opus5.5 试试看。...

我奶奶在超市买的天地一号苹果醋，39 块钱 10 罐，外观看起来跟平时 15 罐的包装一样的，但是用小字写着 赠送两包纸巾。没错，里面塞了两包天地一号的纸巾充数，换作我去买我估计也会上当，毕竟不会看太仔细。 作为参考，拼多多日常价格 37 块钱 15 罐。 真是人才，买苹果醋饮料，还塞两包纸巾。 标题仅攻击实体经济中的无良商家。...

最近抖音上很多关于比亚迪中秋福利的讨论，大多数都在说比亚迪的太抠搜了（一个礼盒 里面两个月饼，两盒饮料） 结果对比了一下友商，发现友商更离谱。 个人见解： 抖音上的大多是职工待遇，也就是流水线工人，大部分流水线福利应该都比较差 当然肯定是有加强的空间的，目前看来合资品牌还是过得太舒服了，比亚迪出口增速很猛，留给合资品牌的时间不多了。 利益不相关，本人 22 款 19 寸韭菜极氪 001 车主 比亚迪 vs 其他国产品牌 vs 合资品牌：员工、销量与用工模式对比 口径说明：员工数为 2025 年末或最近公开披露数据；销量为 2025 年数据；合资品牌销量多为批发/终端口径。正式员工统计通常不含劳...