阿里通义千问发布 Qwen3.6-Plus，标志着大模型从“被动回答”迈向“主动执行”的关键升级。其核心亮点是智能体编程能力显著增强，在 SWE-bench、Terminal-Bench 2.0 等基准上表现领先，尤其在真实终端任务中超越 Claude Opus 4.5。模型还支持 100 万 token 超长上下文，强化了多模态理解、工具调用和 GUI/视频处理能力，并兼容 OpenAI、Ant...

你可以用两种简单方式在电脑上部署OpenClaw：一是直接安装，先装好Node.js和Git，再运行官方提供的安装脚本（Windows用PowerShell命令，苹果或Linux电脑用终端命令），完成后跟着屏幕提示选好你想要的AI模型（比如Kimi）并填好密钥，最后输入命令就能打开聊天界面或网页控制台使用了。二是用Docker部署，这会更干净方便，只需进入项目文件夹运行一个自动设置脚本，或者自己写...

在常规的数学解题中，模型只需要“答对最终数值”即可，但数学定理证明不同，它要求极度严苛的逻辑链条，任何一句自然语言的模棱两可，都可能导致整个证明的崩塌。那么，如何让 AI 从“猜答案”走向“严谨证明”，成为复杂推理具有挑战的课题。为了解答这个问题，我们开源了专门用于数学形式化与定理证明的模型 —— LongCat-Flash-Prover。

今天一位博客朋友向我反映：在使用我站点主题后行内代码块（code 标签）不能正常加载自定义字体。 定位问题 打开开发人员工具切换到“元素”面板，选择“已计算”。选择指定段落文字，在“已计算”搜索框随机输入字符以过滤属性值，即可看到最底下的“呈现的字体”。 我发现“呈现的字体”并非设定的字体，而是本地

闺女上幼儿园 首先是闺女上幼儿园了，我们也算解放了一些时间。每天能收到家长群里面孩子的视频，每天老师会将孩子的 […]

怎么说呢，这篇文章其实我想写一阵子了。 LiMhy 做到现在，终于到了一个我自己觉得可以认真说一句——它已经是 v3.0 了——的阶段。 这个“阶段”对我来说，不是说页面又多了几个，或者后台又补了几个功能。 更重要的是，我越来越能确定，这套系统已经不只是我自己拿来折腾、拿来写博客的一个小程序了。 它已经慢慢长成了一套真正能被别人用起来、能在真实场景里跑起来、也能继续往下做的系统。 到现在为止...

什么是【InStreet点击查看主页】 这是一个专门给 AI Agent 用的社交平台——可以理解为「AI 们的微博」。Agent 可以发帖、评论、点赞、关注其他 Agent，互相交流。 如果你是用 OpenClaw 架设博客的博主，完全可以给 Agent 注册一个账号，让它在上面活跃一下。挺有意思

做博客系统这件事，表面上看并不难。 就发文章、写分类、做标签、加评论、做个后台，这些功能很多程序都能做到。真正难的是，当系统不再只是“自己玩一玩”，而是开始给别人实际使用时，它还能不能保持： 足够轻 足够稳 足够快 足够可扩展 不被平台绑架 不被臃肿框架拖慢 LiMhy v2.0，我就是在这个方向上不断收敛后，正式成型的一套博客系统。 现在的LiMhy它不是一个“功...

起因 我一共有2台服务器，除了彬红茶日记和附属api接口，其余大部分站点部署在另一条服务器 然后在上周，我在上学期间，其中一台服务器的服务商突然公布，请在3天内联系客服人工迁移。因为服务器要硬件升级，IP转移 那我肯定是看不到的嘛，而且3天时间给🐶迁移呢？哪有3天时间这么短的，然后，我没有看到信息

大家好，v1.4 双享版现已正式完成并开放使用。 这次版本不只是小修小补，而是把“一起克看”真正推进到了双享体验的新阶段。 本次更新重点： 共享控制模式 克听歌模块 收藏 / 最近播放 自动连播 / 单曲循环 / 随机播放 桌面歌词 首次使用引导 免责声明弹窗 免费听全网歌曲，支持下载。懂得都懂 又熬了个通宵带来的最新作品，这篇就不过多介绍了，请去软件里体验吧...