黑科技资源分享

给大家带来小米 MiMo-v2.6-pro 的测试速报!
简单来讲, 这次不愧是直播RL带来的效果, AgenticCoding 能力提升明显, 之前的 MiMo-v2.5-Pro 在我的向量数据库测试中得分只有2505, 而这次直接翻了3倍, 得分来到了7810. 与 Claude Fable-5 分数接近了.
而且算法也进化为了单图HNSW分层近邻图(M=16/M0=28) + AVX-512精确距离 + 每线程visited stamp. 可以说只要再优化一下算法细节就是SOTA水平了.
而前端测试则是MiMo需要提升的重点了, 这次演示效果虽然有提升, 但是无奈横评的其他模型都太强大了, 而小米的加分项也是本身的算法Coding能力, 比如它是可以 one-shot 写出一个光追引擎的. 但是由于空间理解/物理模拟能力不到位, 小球没办法完成把墙壁撞破的演示.
另外本次还给大家测试了输出速度, MiMo-v2.6-pro-ultraspeed 版本可以达到464tps的速度, 着实恐怖. 而根据MiMo的技术报告, 峰值可以达到900tps,  常态化请求也可以稳定在500tps左右, 考虑到模型 1.02T 的总参数量, 以及高达 42B 的激活参数量, 再加上同等规模模型一般都在60-80tps的水平, 这个成绩相当亮眼.
当然也有值得注意的点, 比如这次测试我发现它还是有早停的问题的, 上面的向量数据库测试, 每轮最大迭代50次, 但是三次测试中, 有两次它迭代到30轮左右就没办法提升分数, 于是选择了直接交卷, 浪费了测试机会.
以及, 模型思考偏长, 而且暂时不支持调整思考强度, 加上普速接口现在异常火爆, 所以最好给大一些超时, 避免无法输出结果.
总结: MiMo-v2.6-Pro 适合搞后端AgenticCoding开发! 要算法有算法要质量有质量. 但是前端空间理解和美学还需要加强. 考虑到直播后训练的时候看到的67%的训练语料都是Coding, 这个结果丝毫不惊讶了. 希望下个版本前端能力也有提升!
#mimo #mimov26 #mimov26pro #x小米mimo

让 DeepSeek Harness 里的研究过程产出可检索的领域本体，每条结论由证据链和独立评审支撑，而不靠模型自己宣布完成。
https://github.com/Clearailhc/clearai-dsh
七段循环、结论带边界和证据链、矛盾自动摆出来，这套账本确实能管住 agent 随口宣布完工的毛病。

After a ten-minute discussion with Astra and a three-hour nap, I’ve finally fixed all the glitches, flashes, and blinks in libghostty-spm. A new version of iGhostVT has shipped, and it’s now stable—so we’ll tag version 1.0.0. 🤠

网友实拍长征八号甲运载火箭垂直转运，“钢铁巨龙”稳步前进，奔赴星辰大海！

Qwen 4 是不是要来了

安卓逆向的工具，一个skill

https://github.com/newliver666/apk-reverse

⚖️GPT-6法律专用版来袭！能打官司还是只能打杂？
基于GPT-6架构与专属法律检索，法律专用版可排查合同风险并拟草案。测试准确率达54%，远超普通版+搜索（38.7%）。目前仅限美法且向部分律所开放，定位仍是辅助搜集与拟稿，无法完全替代律师。
54%的准确率拿去打官司，这概率谁敢直接托付啊。律师暂时不用担心失业，倒是多了个干脏活的实习生。什么时候能出个中国法律版？排查合同风险真的很需要！

怎么一点不 AI Native ，一个控制台你拦我干嘛😷

感觉 opencode 的 cli 很尴尬，还不如用 pi，估计大部分用户都是用 api 的吧？

机器人界的《死神来了》

让 Obsidian 笔记里的待办直接同步到 Super Productivity 执行，省掉在两个应用之间手工搬运任务。
https://github.com/giba0/obisidan-flowtask-sp

终于知道 jev模型的核心用法了

Meta重磅推出Muse！AI迈入“帮干活”时代
Meta个人智能体Muse登顶美区iOS榜！它不光能聊天，更能在云端替你清邮件、排行程、比价下单。这波由Muse Spark驱动的“行动派”AI采用订阅制，带动Meta市值单日飙升近1900亿美元，标志着AI行业竞争正式从“回答问题”转向“代办任务”。
Grok bot 更像锐利、实时、少过滤的对话与编码搭档（强项是 X 实时信息和直率风格），Muse Spark 则更像嵌入 Meta 全家桶的实用生活智能体（强项是多模态、长上下文、购物/出行/办事等真实落地，但更产品化、也更受平台与安全策略约束）。以后再也不用跟AI唠废话，直接让它把杂活干完才是正道。能自动比价和填表，这不就是梦寐以求的打工替身吗？不过把个人隐私和账号全授权给它，心里还是得打个问号！

快速绘制图表和草图的终端ASCII编辑器
11 种注释样式、10 套 IDE 配色堆得满，网格有 lattice、checker、dots、off 四种样式。图稿以 .ld.json 存在 XDG 数据目录，改动 500ms 后自动保存。
https://github.com/mpospirit/lazydraw

想随手画个曼陀罗又不想装软件，这个网页画板把每一笔按你选的折数绕中心复制、折内再镜像，画完直接存成 PNG 或 SVG。
https://github.com/evoluteur/mandala-maker

从0-1讲透产品Launch Video，入门到精通（附提示词） https://x.com/i/article/2102041601610768384

茯苓种植过程