🌍 V2EX
[Visual Studio Code] Copilot 插件和 VSCode 更新后不显示 IntelliSense 解决方案
正常情况( IntelliSense 和 Copilot 提示同时出现) 更新后情况(只有 Copilot 提示) 解决办法,添加如下配置 "editor.quickSuggestions": { "other": true, "comments": false, "strings": false } https://www.reddit.com/r/vscode/comments/1tn6pxd/copilot_is_breaking_the_intellisense_so_annoying/ 虽说现在都是 AI 写代码了,但是公司里一些古老屎山还是需要人工干预写一点,一觉起来点个更新后写代码怎么写怎么难受
🌍 V2EX
[Codex] 今天更新后为啥跑任务为啥一直弹审批
目前 codex 是这个版本 26.602.30954 • 发布于 Jun 5, 2026
之前一直在跑 goal 模式,已经跑了一天多了,今天更新后发现执行任务时一直弹出需要批准各种命令。但是实际上我一直给的是完全访问的权限。有一样的么。。太奇怪了之前都好好的
🌍 V2EX
[Claude Code] 用 opencode 的 deepseek 划算,还是直接用 deepseek 划算?
用 opencode 的 deepseek 划算,还是直接用 deepseek 划算?有人比较过没? opencode 的 deepseek 下午速度怎么样?
🌍 V2EX
[分享创造] Lean4.js
最近在尝试把 Lean4 跑到浏览器里, 于是做了 Lean4.js ,欢迎需要的朋友使用和建议
github: https://github.com/timqian/lean4.js
playground: https://timqian.com/lean4.js/
discussion: https://leanprover.zulipchat.com/#narrow/channel/113488-general/topic/what.20is.20lean.2Ejs
🌍 V2EX
[职场话题] 35 岁,开发转国企运维岗,可以去吗?
之前基本都是做开发或者全干,现在有个国企运维岗的机会,不知道能不能去。
当前是在事业单位,正式合同工(无编制)做开发,钱不多,但是通勤比较恐怖,单程 40KM ,国企这个公司离家 4.5 公里。
稳定的话不知道哪个稳定,目前还没谈薪水,薪水应该会平移或者小幅上涨。
各位大佬怎么看?
🌍 V2EX
[分享发现] 有用 codex 的人吗,每次让他改代码前都要手动检查和提交 git 才能用回滚功能?
有用 codex 的人吗,是不是每次让他改代码前都要手动检查和提交 git 才能用回滚功能吗? 这样不会忘了吗?万一灵感来了,急着写想法,忘了手动执行 add 和 commit ,想回滚代码,那不就死翘翘了。。 我第一次,感觉这设计很弱智,是我理解错了吗?
🌍 V2EX
[分享创造] AI 对话平台的记忆逻辑: 教 AI 记事,最难的一课居然是「学会忘」
使用 claude 帮我整理了文章.
跟某个 AI 聊得正起劲,它突然把你十分钟前说的话忘了。或者反过来,你随口提过一句、早不在意的小事,它一直惦记着,时不时拿出来念叨。
这两件事看着相反,毛病是同一个:它分不清什么该记、什么该忘。
我们在 CZL AI 的对话平台上做记忆系统,折腾了很多轮。一开始想得很简单,把用户说的话存下来、下次带上不就行了。后来被现实反复教育,才认清一件事:给 AI 装记忆,难的不是怎么记住,是怎么忘得恰到好处。
这篇聊聊我们最后磨出来的这套记忆系统,以及每一层背后那些自以为想明白了、转头被打脸的经历。不讲代码,只讲思路。
为什么非做不可,又抄了谁
先说为什么。其实理由很简单,头部的对话 AI 全在做这件事。ChatGPT 有跨会话的 Memory ,Claude 和 Gemini 也都在往「记得住用户」走。道理也不难想,一个每次都把你当陌生人、聊完就失忆的助手,用起来总有种情感上的断层。你今天说了不吃辣,明天还得再说一遍,到第三次你就懒得开口了。所以记忆对我们不是花哨功能,是对话产品能不能让人一直用下去的分水岭。
具体怎么做,我...
🌍 V2EX
[OpenAI] 看很多人用 codex 被封号的,想统计一下原因
我先说的的情况,目前正常使用,没有要求用手机号接验证码验证。
最早一批美国苹果手机 id 注册的,美国手机号,礼品卡在苹果官网 visa 卡买的激活然后充值的,20 刀一个月 plus ,ip 在日本区域乱跳,只用官方 codex app 和 codex cli
🌍 V2EX
[程序员] 为什么大家避而不谈被 OpenAI 封号? OpenAI 目前只适合被注册机和号池用!
前几天注册 GPT Free 要用 codex 还有二次手机号验证,短效接码和虚拟号码直接用不了,封号之后一个号码无法改绑,比如去买张 GiffGaff 实体卡,一年养着,就为了这一个号,10 英镑为了注册一个 OpenAI 号,一个月封几次?都是白花花的银子。最怕充值几百块的 GPT Pro 跳手机号二验,只能看支付通道是不是支持使用该理由争议退款。
换账号有时候导致 Codex 里的对话记录损坏,项目上下文全部加载失败,对话记录清零。
对比下来,注册机和号池成本要低太多,短效直接拿到登录凭证,几分钱一个账号成本,用一天不亏用两天血赚,还能卖钱,奥特曼为了刷客户数据太疯狂了,封了的号也是注册用户是吧。
不如 antigravity ,注册都不需要手机号,Gemini 3.5Flash high 哪怕模型性能差点,几个 Google 账号换着来,免费额度根本用不完。
当然,最棒的是开发者可以在 Google 开发者社区批评 antigravity 而不被隐藏帖子或者捂嘴,这是在 OpenAI 社区 做不到的,antigravity Free 计划就有 Google 自部...
🌍 V2EX
[程序员] macOS Codex App 签名问题导致持续 CPU 占用/任何应用安装包损坏/所有软件无法打开
可能会出现的现象
1. 打开 Codex App 后,可以看到进程 syspolicyd 占用飙升,一段时间后持续在后台占用一小部分性能
2. computer use is damaged
3. 其他应用的安装包无法打开
4. 所有第三方 App 无法打开
缓解
sudo killall -9 syspolicyd trustd
杀掉之后可以正常安装/打开其他 App ,但再次打开 Codex 后仍可能会回到原地
找到相关的 ISSUES
https://github.com/openai/codex/issues/25243
https://github.com/openai/codex/issues/25719
https://github.com/openai/codex/issues/25882
🌍 V2EX
[OpenAI] 封号和 VPN、IP 真没多大关系
从我的情况来看,不论是 Claude 还是 ChatGPT ,封号基本都不怎么看 IP ,更多是查支付渠道 本人一直用的万人机场,良心云 6 块钱一个月 1000G 流量那种。IP 肯定不纯,都是很多人共享的机房 IP 。 ChatGPT: 2 个 Gmail 注册的账号,注册时没有手机验证; 都订阅了 Plus ; Bitget U 卡支付; Mac 端几乎天天使用 ChatGPT Desktop ,高强度使用 Codex ,两个账号换着使用(一个账号额度用完,马上切换另一个账号登录继续用); 用的 FlClash 挂 VPN ,基本都选择台湾、日本、新加坡的节点(不固定,晚上万人机场不稳定,会经常切换节点); 从没遇到过手机验证,没有遇到封号; 现在一直用的好好的。 之前用 Claude 也是,美区礼品卡通过 AppStore 订阅,同样的万人机场,用了一阵好好的,后面换成 Bitget U 卡订阅,订阅后秒封。然后转战 Codex ,彻底抛弃 Claude Code 。
🌍 V2EX
[分享创造] Vibe Coding 了一个摸鱼看小说的软件将小说内容伪装成 AI 输出, 目前已经 vscode 插件版和 mac win 客户端
上两天突然奇想大家每天都在 vibe coding 中途等待 AI 输出的时候玩手机, 在工位偶尔玩玩还行, 但是天天玩影响也不好, 所有做了这这个产品, 目前客户端是模仿豆包的主题,vscode 是 cc 风格的
https://github.com/wuuhw/fish-reader-vscode
https://github.com/wuuhw/fish-reader-client
后续计划支持网页识别, 客户端因为是 rust 的直接 webview 爬取输出的网址 ,vscode 的话计算装一个 puppeteer 吧, 目前笔趣阁类型的网站用 Readability-lite 方式已经跑通了, 还要在做一个用户行为录制来解决一些 通用规则搞不定的网站。
🌍 V2EX
[OpenAI] Codex 突然被封号,不知道什么原因
半年前注册的账号,一直是美区礼品卡付款,而且是本机正常开发使用,除了在服务区上配置了小龙虾和 Hermes ,其他都是在我自己电脑上开发用,而且是我电脑是固定 IP ,不知道为啥突然不让用了
🌍 V2EX
[问与答] 你们 LLM 聊天框一般是用思考模式还是 flash 模式
感觉吧,如果开思考模式,有点慢。但如果用 flash ,又觉得亏了,字都打了,结果给个劣质回答,于是又继续用思考模式了
🌍 V2EX
[分享创造] 失业后第一次完整做完一个独立项目:用 AI 开发了一个《潜水员戴夫》规划工具站
最近离职后一直在思考未来是继续找工作,还是尝试做一些自己的项目。
之前一直是互联网测试工程师,虽然参与过很多项目,但从来没有完整负责过一个产品从需求调研、开发、上线到运营的全过程。
所以这次决定给自己定一个目标:
找一个细分需求,完整做出一个真实可用的网站。
最终选择了《潜水员戴夫( Dave the Diver )》。
原因很简单:
自己玩的时候发现网上攻略很多,但缺少一个可以帮助规划农场、鱼塘和菜谱生产链的工具。
于是利用 AI 辅助开发,做了一个小工具站:
https://diverplanner.com
目前功能:
菜谱规划
农场作物规划
鱼场需求规划
原材料计算
中英文界面(持续完善中)
整个过程大概经历了:
需求调研
数据整理
产品设计
前端开发
Cloudflare 部署
域名购买
SEO 配置
Bing / Google 收录
Clarity 用户行为分析
目前刚刚上线不久。
暂时不考虑商业化,只想验证两个问题:
这个需求是否真实存在
...
🌍 V2EX
[股票] SpaceX 要 IPO 了,买不了美股,买不了港股,还能买点有相关性的 A 股?
今天被 SPACEX 要 IPO 的消息轰炸了一波,琢磨着 A 股有没有含"马"量高的好股?🤣