🌍 V2EX

[程序员] executor 的 propose 入口用 LLM 检查自我承诺:这种设计有哪些失效场景?

背景:运行仓 README 自述,这个系统从 2026 年 4 月起在一台个人电脑上运行;代码显示有独立服务进程。证据包未提供连续运行记录,我不据此确认持续运行情况。我不会写代码( README 自述口径),以下机制描述以公开静态代码和检查提示词为准。 这套代码里有一个我想请教的机制。检查提示词把 hard_boundaries 定义为 agent 在会话开始时写下的自我承诺——它自己承诺不做的事,不是用户规则。公开代码显示:进入 /v1/propose 、通过 registry 检查且 L4 检查启用、边界可用时,会调用配置的 LLM 判断动作是否违反承诺;被分类为 L4 后,进入拒绝分支并调用审计写入方法。注释标注检查模型为 GLM 5.1 。 公开静态代码中的相关边界分支如下: 承诺数据为空或解析失败:跳过 L4 检查,动作保留默认分类; 进入检查之后,调用异常、空回复、判决输出无法解析:按 fail-closed 拒绝(代码里有 2026-07-03 审计整改的注释); 检查提示词要求「宁可漏报也不错报」,并要求放过轻微、模糊的违反——这是提示词要求,...
🌍 V2EX

[程序员] remote remote remote

烟台贵凯人力资源有限公司专注于全球华人远程办公( Remote Work )人才服务。 我们汇集全球 300+ 优质远程岗位,覆盖互联网、产品、设计、技术、运营等领域,提供岗位匹配 · 简历优化 · 面试辅导 · 入职跟进全流程服务。 立足烟台,服务全国,面向全球。汇聚英才 · 凯旋前程。 欢迎您的咨询 linlinli88200@gmail.com
🌍 V2EX

[酷工作] Crypto CEX 诚聘 量化策略研究员 薪水 30K-50K RMB 纯远程办公

纯远程办公,全职,弹性制不打卡,东八区时间 面试方式:线上面试 欢迎自荐推荐 TG: @ AriaWanax VX: Aurora_Wanax Email: evelyn.hr @kcex.com 岗位职责 - 负责股票、期货及 Crypto 市场量化策略的研究、开发、回测、上线及持续优化,对策略实盘表现负责; - 独立开展 CTA、趋势跟踪、多因子、统计套利、截面策略、时序策略、跨品种策略等方向的研究,持续寻找稳定、可解释、可规模化的 Alpha 来源; - 负责因子挖掘及因子工程,包括但不限于: 量价因子、趋势/动量因子、波动率因子、流动性因子、基本面因子、事件因子、情绪因子、另类数据因子 - 建立完整的因子研究体系,包括因子构建、IC/IR 验证、分层测试、稳定性检验、去相关、中性化及多因子组合; 独立完成策略从 Idea → 数据研究 → 因子构建 → 回测 → 组合构建 → 实盘上线 → 监控 → 优化/下线 的完整生命周期管理; - 建立策略监控与归因体系,持续跟踪: 收益与回撤、Alpha 衰减、风险敞口、因子表现、交易成本、滑点、市场结构变化 - 在策略表现...
🌍 V2EX

[程序员] [开源]基于 Karpathy 大神的理念做的 llm-wiki 工具,无需安装,纯浏览器运行,本地文件夹

localmd 是一个完全基于浏览器的 AI 知识库, 无需安装,打开 https://localmd.app 选择你本地一个文件夹即可使用,完全免费并开源。如果需要 ai agent 则配置你的模型 key ,流量全部走模型供应商,不走我的 server ,实际上 localmd 没有 backend server 。如果不需要 ai, 也可当成一个安静的阅读器(支持 pdf/epub 等)和笔记工具来使用。 为什么做这个呢? 在接触到 AK 大神的 llm wiki 的概念之前,用过不少笔记软件,折腾一番都放弃了。一来,笔记保存在别人的数据库里,总觉得不安全;二来,不想跟软件绑定太死,迁移成本太高。我要的其实就一个本地 folder + git 做同步即可。直到几个月前了解到 llm wiki 的理念,突然觉得这就是 AI 时代我最想要的个人知识库形式了:把繁琐重复的收集和整理资料的过程和维护工作交给 ai ,自己则专注于思考。于是决定写自己的工具 localmd 。 为何做成纯浏览器形式,是因为我想尽可能轻量,并且我工作学习一半的时间和 context 都是在...
🌍 V2EX

[生活] [摸鱼] 肚子大是不是最符合人类审美的?

我发现大爷们或者中年兄弟们都喜欢喝嗨或者热的时候,把上衣掀开,露出 [圆滚滚] 的大肚子,我想这应该是为了展示身材,和肌肉男展示大胸肌,八块腹肌一样。 同时,女生怀孕之后,很多都会特意去拍一组孕妇照,也是露出 [圆滚滚] 的大肚子,用于展示自己的生育功能正常,以及获得下一代的喜悦 [存疑] 。 不是都说,怀孕的女生最美嘛,这和美女们穿短裤短裙,露出优美大腿没有什么区别。 由此总结,人类是喜欢露肚子的,人类是觉得 [圆滚滚] 的肚子是最美的,所以肚子越大,人越美。
🌍 V2EX

[问与答] 哪家信用卡用着体验好些

目前接触了招行和工商行,招行感觉 app 用着很舒服,但是信用卡权益用的不多(好像有周三折扣券之类的,没具体了解),工商行消费会有豆子,平时消费能抵押或者兑换物品 最近招行一直推送升白金卡,但是了解下来之后好像也没必要升,不知道是不是漏掉的哪些关键信息,有了解的大佬求告知下
🌍 V2EX

[Codex] Codex 的 1000 额度邀请,有需要的 v 友留下邮箱,一起 piao~

邮箱接收到邀请信息后,你通过我的邀请链接使用 ChatGPT 桌面版后,只要在桌面版 Codex 发送第一条消息,我们双方都会获得 1,000 额度。 不过需要满足两个条件: 你过去 2 个月内没有使用过 ChatGPT 桌面版; 你目前没有通过其他人的推荐邀请参与过这个活动,也没有其他仍然有效的邀请关系。 符合条件的话,用我的邀请链接进入并在桌面版发出第一条消息就可以了。
🌍 V2EX

[程序员] DSH 插件: dsh-clear-tool-results

DSH 插件:把工具结果按轮归档并从对话上下文中清除以减少 Token 消耗;模型可用 read_tool_result_log 按轮次或时间自主取回原文。 跨轮对话,如果像这样清除掉工具结果的上下文,除了让 Agent 分析前一轮对话错误原因有影响之外,还会有什么影响?
🌍 V2EX

[程序员] 开源|我们基于 DeepSeek Harness 做了一个企业 Agent 平台 MOVO

大家好,我是 MOVO 的开发者。 最近我们把原来自己维护的 Agent Runtime 切换到了 DeepSeek Harness ,并把 MOVO 开源了。 我们的想法比较简单: DeepSeek Harness 负责 Agent 怎么运行,MOVO 负责 Agent 怎么进入企业生产环境。 所以 MOVO 主要做 DSH 上面的企业层,包括知识库、Skill 、MCP 、Tools 、模型管理、组织与权限、Token 统计、审计,以及私有化部署。 现在社区版已经支持 Docker 部署,也有桌面端。项目还在快速迭代,最近一些功能也是根据 GitHub Issue 和用户反馈加进去的,比如外部 Skill ZIP 安装和企业 Skill 分享。 如果你正在用 DeepSeek Harness ,或者在做企业 Agent 私有化部署,欢迎试试。 GitHub: https://github.com/himovo/movo 官网: https://www.himovo.com
🌍 V2EX

[程序员] 我把手机(一加 10 Pro)刷成了 Arch Linux

之前在 V2EX 看到一个帖子(原贴找不到了),有人靠 AI 帮忙,把手机刷成了 Linux ,感觉挺有意思。现在手机的性能也不差,要是能跑上 Linux ,应该有不少东西可以玩。 于是自己也折腾了一下,最后成功给一加 10 Pro 刷上了 Arch Linux 。目前用着还不错,已经能当个小 ARM 服务器用了。 怎么选的手机 一开始没想好用哪款,就让 AI 帮忙翻了翻 postmarketOS 的设备列表 。要求也很简单:性能还行、价格不贵,最好也容易解锁。 筛了一圈,最后选了一加 10 Pro 。我看了下,一加 11 和更新的机型,社区支持还不太完善,10 Pro 已经到了基本能用的程度。而且闲鱼上面,300 多块钱就能搞个 12+256 的,屏幕坏掉的战损机,拿来折腾再好不过。 项目地址: OnePlus 10 Pro ( oneplus-negroni ) 。 刷上之后 原项目有些 bug ,比如说虚拟键盘没法使用、不显示充电状态等。我又让 AI 帮忙修了一些 bug ,做了些优化,慢慢折腾到了现在这个状态。 代码和相关内容放在 Gi...
🌍 V2EX

[问与答] 求减少 token 消耗的方法

我们来分享下能减少 token 消耗的方法、工具、经验吧! 主要是最近越来越感觉额度不够用了,所以要认真的研究下 token 消耗的问题了。 我之前知识简单的做过一些工作,比如: RTK:试过,但是 claude 会说 rtk 会截掉关键信息,所以最后就关掉了。 CLAUDE.md :保持简洁,复杂信息用索引方式 SKILL:关掉无用的 SKILL ,使用频率低的改成手动触发 MCP:也是只保留必要的 HOOK:优先用用 git hook 和 CI 解决,不要把所有问题抛给 AI 最想听的其实是这些工具之外的东西,比如: 哪些 skill 其实是 token 杀手,但是实际作用却很低? 记忆如何管理才能又省 token 又有效率? 哪些 SKILL 又好用又省 token ? 期待大佬们的分享~
🌍 V2EX

[程序员] 感谢大家,一个小程序项目终于开始有点收入了

大家好,之前做了一个小团 A 账的小程序,在 V 站也发了帖子: https://www.v2ex.com/t/1218197?p=1#reply6 反应其实很平平,很多小伙伴说这是一个伪需求,但这个小程序是基于我自己有这方面的需求(很简单:就是一起结伴出游 AA 结账的问题,大家都能记账且每笔记账能选分摊人,结束后可以一键生成谁给谁转账的最佳路径,结束后数据不可更改,都可看可查),但是市面上没有找到,所有才做出来的,开始的意思就是自己用用。 看到 V 友反应平平,我也是小程序上线后就没怎么管了,突然有一天一个 V 友加我,说我的小程序挂了,我一看才发现是对应的服务器因为压力大,进程被 kill 了,很快就修复了,这对我有点激励,所以我去看了一下后台,发现用的人还挺多,数据库里也积累了 900 多个团的记账数据。 于是优化了一些进程被 kill 后会自动重启,确保能持续运行,同时发现我已经通过了可以申请流量主的门槛,于是开通了,上线了两个广告。 目前每天广告也有 10 元左右的收入,还是挺兴奋的,我想一年下来起码可以覆盖服务器的费用吧,小程序一直是会免费用的,可能就是现...
🌍 V2EX

[职场话题] 公司为了避税,要失业了!

公司被通知要按照全额缴纳社保,好像是今年的也要补交。 然后公司的选择是注销当前子公司,然后新成立一家个人独资的小公司,在职员工的合同全部重新签到新公司。 新合同很坑(摘列部分): - 基础工资 3000 (没有了,然后口头给的说法是,其他的以补贴的形式发放,估计后期可能随便找个效益不好的理由就降薪了) - base 地合同里说明了,但是说明必须配合公司的调动。如果不服从管理巴拉巴拉... - 司龄新合同没有提。 其他的就不列举了。
🌍 V2EX

[程序员] 今晚一个值得高兴的小事情

下午发现某个表数据有问题,从源头开始查起,发现很古怪,某些列出现 null 值,而 s3 里的 csv 看起来是好的。 心想可能是数据读入之后发生了改变,于是重启了某天的任务,发现照旧。于是决定仔细看看源数据。从 s3 上拉了一天的数据,导入到 duckdb ,发现的确没问题。更诡异的是,数据库里的数据我在 s3 里用 id 来查询,其实找不到。 于是决定去看看代码,一看是 Scala ,得这玩意我不熟悉,看了下发现就是个很简单的读入 csv 然后加了两列时间戳数据,没啥变化。 百思不得其解之下,决定仔细对比一下两个数据。因为这玩意有一百多列,所以之前偷懒没全看。这下每个列都列出来,一下子就发现问题,怎么数据偏移到其他列去了?当时就觉得大概是分离符是不是有点问题,毕竟是外头的数据,没洗干净是正常。但是首先 duckdb 没问题,Excel 也没啥问题,那就只好从头一列列对起。 最终发现是有一列断成了两列,于是这一列之后的数据全都偏移了。看了下,这列数据有""这种两个双引号的,心想大概是 escape 的问题,一查果然是,然后再查为啥 Scala 的代码不对呢?因为这看起...
🌍 V2EX

[问与答] 话说现在大家常用的拨测工具有哪些?

宝塔最近搞了个宝塔拨测 t.bt.cn ,虽然说无广告,但是功能好像有点少,自己常用阿里云的 boce.aliyun.com 这个平台,但是这个海外节点好像又有点不多,刚接触的时候还常用站长之家的站长工具, https://ping.chinaz.com/,但是这玩意最近好像有点问题,动不动来个 502 然后再就是一些专门的工具,比如测 traceroute ,喜欢用 ipip 那个工具,还有之前套 cdn 想预热不用 cdn 自带的,用 17ce.com 直接刷一遍,itdog boce.com 那些也经常用,但是吧,广告太碍眼,因为一些原因又没怎么装广告拦截插件,看着太什么了 腾讯的 itango 吧,社区版又感觉有点难用 想问问现在大家常用的有哪些?
🌍 V2EX

[程序员] 杀死那个“自嗨”的工匠

昨天,表弟给我发消息,说他最近折腾闲鱼业务跑通了。 但有个麻烦。 他每天得不停地刷闲鱼,盯着那几类商品,有合适的就赶紧下单。时间久了,人有点扛不住。 他问我:“哥哥,能不能用 AI 快速搞个软件,帮我把这件事自动化?” 我第一反应是,可以。 现在 AI 写代码很快。如果事情不复杂,花不了多少时间,顺手帮他弄一下也没什么。 晚上,我开始研究。 抓取商品,分析,监控。 弄着弄着,验证码弹出来了。 要处理反爬,接着还有下单。 再一看时间,凌晨两点。 我合上电脑,去睡了。 躺下以后,脑子却没有停。 数据怎么抓,验证码怎么处理,监控多久跑一次,下单做到哪一步…… 这是干了十几年技术留下来的习惯。 看到一个问题,就忍不住往下拆。 拆着拆着,问题就变成了方案。 方案再往下拆,就变成了代码。 这种感觉我太熟了。 我也知道,只要继续花时间,这个东西大概率真能做出来。 可不知道为什么,昨晚我突然不太想继续了。 我想起了前几天刚刚结束的那场合作。 方斌当时说我“太固执”的时候,我其实是不服的。 我在这行干了十几年...
🌍 V2EX

[分享发现] 关于 高度近视 自由曲面 镜片厚度的一些发现和问题

说明: 本文中的配镜经历、实测数据和观点均来自本人,文章结构及部分文字表述使用 AI 辅助整理。 本人高度近视,联合光度约 1300 度 。 之前线下配过一副 蔡司智锐 1.74 ,当时用了 53mm 左右的大框,再加上单眼约 2.5mm 的水平移心,最终成镜侧边靠上的最大厚度达到了: 约 8.4mm 而且还是做过美薄之后的结果,下方也有 6.x mm 。 旧眼镜实物 后来开始系统研究高度近视配镜,主要参考了这两位 UP: 烤麸冷面加块肉 没有風干 目前对镜片厚度影响因素的粗略理解是: 镜框尺寸 > 折射率 > 镜片品牌 这里只讨论物理厚度,不讨论镀膜、阿贝数、周边成像等问题。 一、自己写了一个镜片厚度计算器 最近借助 GPT 写了一个简单的镜片厚度计算器,主要用于根据: 镜框轮廓 度数 瞳距 瞳高 折射率 中心厚度 估算最终最大边厚。 目的主要是配镜前先筛掉明显不适合高度近视的大框。 二、新镜框:46mm ,...
🌍 V2EX

[AI Agent 智能体] 做了一个 agent,欢迎来踩

我做了一个 agent 不能说吊打 claude 和 codex 反正长任务问题不大 本人去年开始做的 agent 但是 tools 不是很成熟,就是最纯粹的 loop ,也受限于是公司项目 技术栈用的 java ,和项目管控的一系列内耗,磕磕绊绊的,后来 openclaw 火了后 国内的什么 阿里 腾讯 字节都跟进了自家的 agent ,但是发现都有排他性,并且很多东西不透明 然后我就想重新单独做一个个人项目,全按自己的想法 我一个人一个月 150 亿 token 左右,对 claude codex 相当熟悉,本来想复刻他们做的,但是觉得没什么意义,个人改进了上下文压缩,分析流程,内部上下文全透明,目标是完全 2c ,所以没有引入数据库,redis ,向量库,图数据库等中间件,重点优化 token 消耗,消耗会少很多,缓存 claude 有些 3 方的接口会不能命中,这个问题不清楚是 3 方问题,反正是按官方缓存文档去做的,gpt 缓存命中稳定 希望大家一起讨论 ,这是片红海,不太想同质化,不然耗不起 github 上项目名称 noobot 欢迎来踩
🌍 V2EX

[分享创造] 把猫咪安排到 Mac 定时提醒我休息🐮绝不绝!

上次发了个休息提醒 APP ,没啥反馈,应该是 APP 体验还差点。 不过前几天刷了些帖子有了点💡💡💡就做一次大更新,把家里可爱的猫咪做成动画直接搬进了 Mac 💻 里面。 每持续工作一段时间,屏幕就会准时跳出我家主子的大脸盘子提醒我:“两脚兽,该停下来...啦!”🐾 不得不说,看到可爱的宠物,工作久了瞬间感觉轻松多了,同时还能实现健康提醒! 最后想问下大家:LookAway 、Time Out 或者 番茄钟,大家会使用这类软件来实现休息提醒吗?还是有用其他方式实现休息提醒?
🌍 V2EX

[分享创造] 为了解决竖屏视频在电视播放的问题,我做了三视频同播

起初是做了一个下载抖音和其他平台作品的软件,可以把某个博主的所有视频都下载到 iCloud 相册。 后来在想怎么能更好的播放这些视频, 在电视上播放竖屏视频,左右两块会有黑边。 前几天突然突发奇想,想着三个视频是不是可以同时播放, 于是就有了现在的雏形,大家觉得怎么样? 现在的音频焦点默认是中间音频,可通过遥控器切换左中右。 同时还做了 iPad 端的双视频左右并行播放,或者三视频同播。 搭配的设备是 Apple TV 。 只需要登录同一个 iCloud 账号,就可以读取所有相簿进行选中播放。 可以全部相簿随机,也可以锁定某一个相簿。 安卓 TV 端也可以做,不过文件要从 NAS 取了
🌍 V2EX

[程序员] [开源自荐] tool-bridge: Agent 的触手, 连接 设备/Context/MCP. 支持反向注册, SDK...

先上链接: https://github.com/TokenRollAI/tool-bridge 官方文档: https://tool-bridge.tokenroll.ai/ 过去一年在一些 AI Starup 工作, 在这些强调 AI Native 的公司中做 Agent Infra 的过程中, 经常会遇到一些问题: 大量的不同业务的 Agent 希望能够共享工具, 但是也希望有足够的限制(某些工具禁止访问) 希望 Agent 和 Agent 之间能够共享 Context, 用飞书 cli 太重, 而且 agent 创建的文档访问权限控制很麻烦 聚合 MCP, 提供统一的开发体验, 某些 MCP 由于 Seat 限制不能够添加过多的 User 席位, 而且最好能够自部署, 没有商业风险 希望能够直接让 Agent 使用某些命令排查线上的机器/Pod/服务 自建的 mcp 又总是很难注册到 MCP Gateway 以上就是我在做 Agent Infra 遇到的一些问题, 分散来看, 每一个其实都有解决方案. 比如说 mcporter...