智能助手网
标签聚合 使用

/tag/使用

linux.do · 2026-04-18 23:18:18+08:00 · tech

本帖使用社区开源推广,符合推广要求。我申明并遵循社区要求的以下内容: 我的帖子已经打上 开源推广 标签: 是 我的开源项目完整开源,无未开源部分: 是 我的开源项目已链接认可 LINUX DO 社区: 是 我帖子内的项目介绍,AI生成、润色内容部分已截图发出: 是 以上选择我承诺是永久有效的,接受社区和佬友监督: 是 以下为项目介绍正文内容,AI生成、润色内容已使用截图方式发出 话不多说,先上仓库 github.com GitHub - CloudWide851/veris: Veris is a verification-first, agent-oriented... Veris is a verification-first, agent-oriented language prototype. 这是一个什么语言呢?其实我也不太清楚,单纯是闲来无事写的东西,原本是我想着可以创造一个专门给LLM设计的语言,用来更好的执行Agent,后面在借鉴了各个语言之后就变成乱炖了 ( 人话:把各个语言特性抄了个遍 ) 目前的情况是可以勉强自举了,有很多开发扩展都是在二代的编译器上面了,现在测试也是使用的二代编译器,bug很多,但是也是不得不品的一环,真佩服当时手搓编译器的狠人了。有部分的问题在当前仓库还存在,我测试过后是不能正常使用的,然后在后面的版本我已经修复了,只不过还在本地未发布,因为还没完整的测试。 为了有想要学习的佬友( 你的Agent真的想学吗 ),我专门写了一个语法书,请各位佬友自行查看,后面我有时间的话会用这个新的语言重写我之前的easy-agent项目( 已经新建文件夹 ),详情可以看这一条 [开源项目] 0.3.4版本发布,但是没人告诉我测BFCLv4这么花钱啊... 如果有经验丰富的佬友,可以来私信一起探讨开发方向,目前就是我一个人,自娱自乐的属性比较多,如果有想要开发的标准库也可以来私信或者在本帖或者相关贴来说明。 求求别再说我设计的logo像某位落榜美术生了( 当时设计的时候真没这个想法 ) 最初设计长这个样子,后面被吐槽多了就改成红色了 6 个帖子 - 4 位参与者 阅读完整话题

linux.do · 2026-04-18 23:12:59+08:00 · tech

611. 有效三角形的个数 - 力扣(LeetCode) 思路 1.使用双指针的思想,利用单调性进行快速找到符合条件的三元组的个数 2.情况A:nums[left] + nums[right] > nums[i]这说明当前的 left 是满足条件的最小下限。既然最小的都能过,那么 left 右侧到 right-1 之间的所有元素作为第一条边都必然成立。动作: 计数并执行 right–。理由: 我们已经穷举了以当前 right 为第二条边的所有可能,下一步需要减小 right 来检测更小的边界。 3.情况B:nums[left] + nums[right] <= nums[i]这说明当前的 left 太小了,即便加上当前最大的 right 也够不到三角形的门槛。动作: 执行 left++。理由: 既然当前的 right 已经给出了最大支援还是失败,那么当前的 left 绝不可能出现在任何以 i 为最大边的组合中,必须舍弃。 代码 package doublepointer; import java.util.Arrays; //给定一个包含非负整数的数组 nums , //返回其中可以组成三角形三条边的三元组个数。 //输入: nums = [2,2,3,4] //输出: 3 //解释:有效的组合是: // 2,3,4 (使用第一个 2) // 2,3,4 (使用第二个 2) // 2,2,3 public class TriangleNumber { public int triangleNumber(int[] nums) { Arrays.sort(nums); int ret=0,n=nums.length; for (int i = n-1; i >=2 ; i--) { int left=0,right=i-1; while(left<right) { if (nums[left] + nums[right] > nums[i]) { ret += right - left; right--; } else { left++; } } } return ret; } public static void main(String[] args) { int[] nums={2,2,3,4}; TriangleNumber triangleNumber=new TriangleNumber(); System.out.println(triangleNumber.triangleNumber(nums)); } } 1 个帖子 - 1 位参与者 阅读完整话题

linux.do · 2026-04-18 23:02:11+08:00 · tech

几年前开始有头屑和油头困扰,开始使用去屑洗发水,将就着过了几年。 一年前开始头屑变得严重,用手挠头像下雪一样,一直挠头,头屑一直下个不停。当天洗完头,吹干后还是有头屑。上班被同事看到很尴尬,非常困扰,试了好多办法,终于找到一个相对彻底解决方法,现在基本一周两洗都还好。 分享下用过的产品,希望有一款对大家有帮助。 总结来看分三类,核心是看成分 1 二硫化硒成分 : 市面最主流去屑洗发水带的成分,不同品牌只是成分占比高低。 ①selsun : 澳洲的品牌,是我最开始用的去屑洗发水,黄瓶和紫瓶都买了。 黄瓶侧重去屑,效果要好一些,不过洗完比较毛燥,用梳子梳容易卡住; 紫瓶控油,日常主要关注头屑,没怎么注意控油情况,好像是有些效果。 这个品牌是用过最长时间的洗发水,不过最近一年,可能产生抗性,洗完没啥用,开始找替代 ②希尔生二硫化硒洗剂 : 头屑比较严重时期在药店买的,头两次确实有些效果,洗完同样头发比较毛躁。买过两次,这个算是药品,对皮肤有刺激,不敢频繁使用,不频繁使用好像效果又不好,后续就放弃使用了。 ③白云山二硫化硒 : 这个是我媳妇给买的,之前在B站也经常看到广告,不过买的时候是头屑最严重时期(头屑如下雪),洗完头发不毛躁,但是洗完还是有头屑,搞不定。 ④京东京造二硫化硒 : 这是看网友推荐比较多的,不过我还没用上,就用其他洗发水解决头屑了,以后可能会试用下。 2 中药配方 : 中药配方 :生侧柏叶 15g,苦参 9g,马齿苋 5g,马鞭草 5g,一共1块7贼便宜。 这个是头屑最严重时期,换了好多洗发水都没用,实在没招,去了个三甲中西医医院挂了老中医给开的,使用后确实立竿见影。原以为根治了,没想到一两个月后又开始复发了。这玩意是中药,洗的时候有味道,个人不喜欢,就没去医院续。 3 酮康唑成分 复方酮康唑 :头屑最严重时期,到处刷帖,刷到有网友推荐,原本没报太大期望,但是没其他好的选择,抱着试试心态jd次日达下单赶紧搞上,没想到确实好使,洗完后第2天基本没头屑。 2月份买的,到现在完全已经没有下雪般头屑,感觉应该基本解决了。这个也是有点刺激头皮,不太适合频繁用,现在是偶尔想起来就用酮康唑,大部分时间依旧用白云山和其他洗发水交替使用。 以上是个人头屑抗争经验,每个人发质皮肤情况不同,不确定哪个对大家有用,给大家一些参考,建议不同成分都可以试试,希望大家不再受头屑困扰! 以下是不同成分对比,仅供参考 19 个帖子 - 12 位参与者 阅读完整话题

linux.do · 2026-04-18 21:38:18+08:00 · tech

发现大模型尤其是openai家的模型给出的文稿里尤其喜欢使用否定型句式,几乎每一段都有形如「不是…而是…」这种的倾向于给出否定某个方面的句型。如果只是拿它来修代码还好,但如果用于润色文章的话读的真有点抓狂,想问各位佬友有没有什么比较好的解决办法,比如说用什么prompt规范文风什么的?有没有什么好用的提示词推荐? 12 个帖子 - 9 位参与者 阅读完整话题

linux.do · 2026-04-18 21:22:17+08:00 · tech

本帖使用社区开源推广,符合推广要求。我申明并遵循社区要求的以下内容: 我的帖子已经打上 开源推广 标签: 是 我的开源项目完整开源,无未开源部分: 是 我的开源项目已链接认可 LINUX DO 社区: 是 我帖子内的项目介绍,AI生成、润色内容部分已截图发出: 是 以上选择我承诺是永久有效的,接受社区和佬友监督: 是 以下为项目介绍正文内容,AI生成、润色内容已使用截图方式发出 github.com GitHub - aiporters/funclaude-deploy: Deployment assets for funclaude — docker-compose,... Deployment assets for funclaude — docker-compose, nginx, env templates claude.ai 镜像站,致敬 fuclaude 实在是等不到始皇更新了,我司的产品设计都要停摆了,只好自己出来搓了,花了我整整两天! 主要参考了这两个帖子: 【v0.5.1】闲来无事搓的一个小玩具 资源荟萃 [image] Q:这玩意是什么? A:不好说。 Q:这玩意有什么用? A:不好说。 Q:这玩意好使吗? A:不好说。 Q:这玩意有副作用吗? A:不好说。 Q:那有什么能说的? A:解压密码:linux.do 域名被抢注,已改名 fuclaude 我愿称之为 法克劳德 已发布 v0.0.2,新增 /login_token?session_key=sk-xxx,新增… 关于自建fuclaude 无法新建对话的最终调查 开发调优 2026年03月07日19 最新进展: 重新登陆了一下,又复现对话 not found问题了。 前情回顾: 自从发帖:自建fuclaude 无法新建对话。 之后有佬友反馈说可以,有些说不行。一通测试下来发现是这样的:如果用sk-来使用的话 是完全没问题的。但是 如果你使用共享帐号访问的话就出问题了! 使用OAuth2 登录的话 就会无法新建对话 。 所以这样就应对了为什么有些佬友说… 一个是之前始皇发布的 fuclaude的功能,另一个是 @SeptemberHX 提供的手搓的思路。 1.有报错可以提,但不保证修得好。 2.源代码就不开源,反正我也看不懂,而且始皇也没开源,跟始皇不会错。 3.始皇修复fuclaude,我就停更,用始皇的没错。 已发布 v0.1.0 多用户 / 会话隔离 通过 oauth 登录实现会话隔离(跟 fuclaude 一样)。 生成 oauth_token 时指定 unique_name : curl ‘ http://127.0.0.1:8282/manage-api/auth/oauth_token ’ \ -H ‘Content-Type: application/json’ \ -d ‘{ “session_key”: “sk-ant-sid01-xxx”, “unique_name”: “user1”, “expires_in”: 0 }’ 拿回的 login_url 发给用户。 1 个帖子 - 1 位参与者 阅读完整话题

linux.do · 2026-04-18 21:21:43+08:00 · tech

本帖使用社区开源推广,符合推广要求。我申明并遵循社区要求的以下内容: 我的帖子已经打上 开源推广 标签: 是 我的开源项目完整开源,无未开源部分: 是 我的开源项目已链接认可 LINUX DO 社区: 是 我帖子内的项目介绍,AI生成、润色内容部分已截图发出: 是 以上选择我承诺是永久有效的,接受社区和佬友监督: 是 以下全是我自己手搓,没有ai味(我用最真实、最不绕、最直接的方式跟你讲 hhhhh),放心品尝 很多人以为 Skill 迭代最难的是"怎么改"。 但我越来越强烈地觉得,真正难的其实不是改,而是: 你改完之后,根本不知道它到底有没有真的变好。 补描述、调 prompt、加例子、补边界、改结构。 Skill 看起来越来越完整,文档越来越像样,语气越来越专业。 但问题是: 看起来更完整,不等于真的更强。 skill的实际行为未必更稳定,边界未必更清晰,失败处理也未必更好。 所以很多 Skill 维护最别扭的地方,其实不是"不会写",而是你明明已经改了很多轮,却还是说不清: 上一次改动,到底有没有真正产生作用。 我后来专门跑了 100 个高下载 Skill,发现问题并不是"不能用" (是的,烧我自己的token)结果最有意思的地方,不是烂 Skill 特别多。恰恰相反,大多数 skill 其实都能用: 70 个通过 29 个在 caution 区间 1 个 fail 平均分 73.8 真正的问题不是:大多数 Skill 完全不能用。 而是 很多 Skill 停在一个很尴尬的状态:能用,但不容易被继续有效优化。 你一旦想认真往上修,就会发现问题不少,但很难判断到底该先修哪一块。 也就是说,难点不是"没法写",而是 没有诊断,所以不知道怎么有效地继续改。 更关键的是,这种"不对劲"还不是随机的。 我看到的弱点主要集中在几个地方: Trigger quality 平均 6.2 Functional quality 平均 6.6 大约 80% 缺少 not_for 边界 大约 60% 的 D4 弱项 Skill 缺少像样的 error recovery guidance 还有接近 40% 更像"写给人看的说明书",而不是"写给模型执行的操作说明" 这里翻译成人话就是: 很多 Skill 不是坏在"完全不能用",而是坏在几个特别重复的地方:不会划边界,不会处理失败,也没有把行为写得足够可执行。 所以我后来做了 SkillCompass 我想解决的,不是"怎么把 Skill 写得更长、更完整",而是另一件更关键的事: 在你动手优化之前,先看清问题到底在哪;在你改完之后,再验证这次修改有没有真的产生提升。 所以对我来说,SkillCompass 不是一个"给 Skill 打个分"的工具而已。 它更像一个给 Skill 迭代提供方向感的东西: 现在最弱的是哪一维 下一步该先修哪里 这轮修改有没有真的带来提升 有没有把别的地方一起改坏 【这里插一句compass 这个名字,指南针🧭,其实也是这个意思。不是替你做决定,而是先帮你定位方向。 】 所以它背后的设计原则也很简单: 本地优先 :所有数据都留在本机,除非你明确要求,否则不会主动发起网络请求 默认只读 :评估和报告默认不改文件,improve、merge、rollback 这类写入操作都要明确开启 被动追踪,主动决策 :Hooks 会收集使用数据,但系统只给建议,不会自动替你执行 双通道交互 :既支持键盘选择,也支持自然语言查询,两种方式始终都可用 同时我把评估分成了6个维度;把判定标准分成3档 它不是在帮你"多改一点",而是在帮你把迭代变成一个可验证的流程 与其盲目地"再多写一点",不如把 Skill 迭代拆成一个更清晰的 workflow。下面拿agile-product-owner作为一个例子展开讲讲: 1)先诊断 不要一上来就改。先看清楚最弱的是哪一维。 很多时候你以为问题在 wording,实际可能卡在 trigger、边界、失败处理,或者执行指令根本不够可操作。 先把最弱项找出来,后面的修改才不是瞎试。 接着它出一个初步的报告,包含维度1-3,后面会有一个完整的全方位维度1-6的测评报告(看下图): 2)再看单项到底在说什么 我觉得这一步特别重要。 因为很多人一看到分数,会下意识觉得"哦,这项低,那我去多写一点"。 但 SkillCompass 真正有价值的地方,不是只给分,而是会把某个维度为什么高、为什么不满分、它到底在判断什么,说得更清楚。 比如拿 D6 = Uniqueness(独特性 / 不容易被替代) 来说,它看的不是"你这段话写得顺不顺",而是在看: 这个 skill 是不是真的有独立价值 有没有明显重复品 跟相似 skill 重合度高不高 是不是一句普通 prompt 就能替代 它是不是很快就会过时 这里个skill的这一维最后给到 8 分,不是说它不好,而是说:它已经有明确领域专属性,也不太容易被普通 prompt 替代,但还没有强到"极其不可替代"的程度。 3)定点修复,而不是整份 Skill 重写 找到弱项之后,不是整份 skill 重写一遍。 而是只修最该修的那一块。所以我们把弱项加强,不好的修正,但不污染上下文 **这里要敲重点!!!**它做了那段分数解释,并且新版分更高的同时也没有把别的地方改坏,因为修改目标清楚,而且不会为了补一个问题,把别的地方一起搅乱。 此时,SkillCompass 已经完成这轮评估/优化结果的写入(提升了 D5),没有出现回归,然后把新的评估记录和最新扫描时间写进本地文件。 4)改完再验证,千万不要靠感觉收工 改完不能靠"看起来更完整了"就结束。要重新验证这次修改到底有没有带来真实提升。 分数有没有上去,解释有没有更扎实,别的维度有没有被改坏,这些都得重新看。 (((兄弟们,有效的优化才叫"迭代",不然就是屎上雕花。))) 5)再找下一个瓶颈 一个问题修完,不代表 skill 就完成了。 通常是这个瓶颈被拿掉之后,下一个瓶颈才会浮出来。 所以真正有效的迭代,不是一次性改到完美,而是持续地: 诊断问题 → 定向修复 → 验证提升 → 找到下一个瓶颈 这也是我现在更认同的一种 Skill 迭代方式:不是凭感觉打磨,而是把迭代变成一个更可验证的 workflow。 适合什么人,不适合什么人 适合: 任何在维护 agent skills,并且希望质量能够被量化的人 想要有明确改进方向的开发者—不是靠猜,而是清楚知道下一步该修哪个维度 需要质量门槛的团队—任何会改动 skill 的工具,都可以在改动后自动接受评估 安装了很多 skills、想看清哪些真的在用、哪些已经陈旧、哪些存在风险的用户 不适合: 通用代码审查或运行时调试 从零创建新 skill(这个更适合用 skill-creator) 评估非 skill 类型的文件 项目在这里: github.com GitHub - Evol-ai/SkillCompass: Evaluate agent skill quality. Find the weakest… 有兴趣的佬欢迎去 GitHub 点个 star 支持一下。 如果你手上也有自己的 SKILL.md,欢迎直接贴出来,我这边也可以顺手用 SkillCompass 帮你跑一遍测评。 有问题也欢迎一起聊,也可以 fork 回去自己改着玩 2 个帖子 - 2 位参与者 阅读完整话题

linux.do · 2026-04-18 21:08:34+08:00 · tech

本帖使用社区开源推广,符合推广要求。我申明并遵循社区要求的以下内容: 我的帖子已经打上 开源推广 标签: 是 我的开源项目完整开源,无未开源部分: 是 我的开源项目已链接认可 LINUX DO 社区: 是 我帖子内的项目介绍,AI生成、润色内容部分已截图发出: 是 以上选择我承诺是永久有效的,接受社区和佬友监督: 是 以下为项目介绍正文内容,AI生成、润色内容已使用截图方式发出 前言: 事情起因,我想给虚拟机显卡能力提升下,在网上找到个工具,可以给虚拟机分配显卡,还有硬件直通,因为没玩过这玩意,显卡直通直接给物理机弄黑屏了,绷。当时害怕是因为,以为这电脑没核显,那没救了。后面通过改bios混合模式才救回来。然后就对cc和codex一顿拷打,实现这个工具,可以让物理机和虚拟机同时使用显卡。 功能: 一键为 Hyper-V 虚拟机配置 GPU 半虚拟化(GPU-PV),自动完成 GPU 分配和驱动复制。 使用过程: 主界面 — 选择 GPU、虚拟机,输入显存大小 配置前 — VM 设备管理器,只有 Hyper-V 视频 配置成功 — GPU-PV 配置完成,驱动已复制 配置后 — VM 设备管理器,RTX 4060 已识别 GPU 跑分 — VM 内运行 FurMark,GPU 正常工作 要我说使用感受的话,我感觉也就是虚拟机可以看到显卡,具体划分多少性能过去了,咱也不懂。反正多少是能用了。 免责声明 本人电脑(物理机win11 iot ltsc,虚拟机win10 ltsc)使用没事,但涉及虚拟机及数据方面,我觉得还是要谨慎点 项目地址 github.com GitHub - sec1900/HyperV-GPUshare 通过在 GitHub 上创建帐户来为 sec1900/HyperV-GPUshare 开发做出贡献。 觉得有用的佬们给点点star 如果有其他更好的方式去实现,也希望能甩我几个关键词或者帖子看看 1 个帖子 - 1 位参与者 阅读完整话题

linux.do · 2026-04-18 21:02:53+08:00 · tech

抽奖主题:抽10个codex free json 账号,导入就可以使用 奖品详情: [奖品1]:[5个codex] [奖品2]:[5个codex] 活动时间: 开始时间: Sat, Apr 18, 2026 9:00 PM CST 截止时间: Sun, Apr 19, 2026 9:00 PM CST 参与方式: 在本贴下回复任意内容即可参与。 抽奖规则: 每位用户仅允许参与一次。 将使用 LINUX DO 抽奖工具 在所有回复中随机抽取中奖者。 注意事项: 本活动将在活动截止时间后关闭回帖,以确保公正性。 中奖者将在活动结束后在本帖公布,并通过论坛站内信由发起人通知领奖方式。 所有规则及抽奖结果由 @kexincolar 及论坛 管理团队 最终解释。 发起人承诺: 作为本次抽奖的发起人 @kexincolar ,我承诺本话题的抽奖活动严格遵守 LINUX DO 社区抽奖规则 。因违反上述规定引发的公平性争议或其他问题,均由我独立承担相应的道德与法律责任。 期待您的积极参与,祝您好运!如有任何疑问,欢迎随时联系 @kexincolar 或论坛 管理团队 。 42 个帖子 - 42 位参与者 阅读完整话题

linux.do · 2026-04-18 20:36:15+08:00 · tech

我的问题:我无法在我的vps上用我的claudecode与codex 昨天我的claude与codex都能用,今天又崩了 我尝试把本地的能用的关键配置文件上传到里面,还是失败不能动,我怀疑是网络问题 vps是无界面的linux 我目前有2个GPT 一个team一个plus(官方) 两个中转站 any与jobema (分别调用claude与glm5.1模型) 我的科学工具 1.clash for linux 2.shellcrash 我能不能ping通youtube? export http_proxy="127.0.0.1:7890" 后,依旧不能,但是之前不能,可是codex还是能动 我的尝试方法 1.npx zcf 2.ccr 3.cc-switch 我想要什么? 我想要有个通用万能简单上手的,直接配置ai的 baseurl key model 就能用的,cli下的一个工具 opencode? 目前打算:卸载目前npx zcf,重新安装,重新配置 1 个帖子 - 1 位参与者 阅读完整话题

linux.do · 2026-04-18 20:26:12+08:00 · tech

当前对话出现retry,重开另一个session却可以正常使用,切回原对话还是retry 。这是any轮询的问题吗?还是新版cluade code的原因 而且感觉any现在retrying明显变多了 个人感觉还和上下文有关,上下文一长retry出现概率更大 报错多为: API Error: 503 {“error”:{“message”:“Service Unavailable”,“type”:“error”},“type”:“error”} · check status.claude.com 明明前一周还能爽蹬 2 个帖子 - 2 位参与者 阅读完整话题

linux.do · 2026-04-18 19:51:40+08:00 · tech

model_provider = "cliproxyapi" model = "gpt-5.4" model_reasoning_effort = "xhigh" service_tier = "fast" 上面是我codex 模型配置,我看cpa日志,是不会用gmini和claude的供应商,有啥办法在codex会话里面切换或者让cpa自动切换吗 随便再问一下,cpa里面ai供应商的那个前缀配置怎么用啊 2 个帖子 - 2 位参与者 阅读完整话题