cellsyx

现在用的两套配置:
vscode + vscode neovim 插件 + codex/Gemini code assist
antigravity + vscode neovim 插件

IDE 和 vim/Neovim 又不冲突, 我之前用了好几年的 neovim 配置文件就直接迁移到 vscode 里了, neovim 的一些插件(比如 flash.nvim) 也可以在 vscode/antigravity 里用.

1 天前

回复了 cellsyx 创建的主题 › 程序员 › 目前 AI 辅助生成学习笔记的最佳实践探讨

@SuperDaniel313 我的意思是, 我已经确定了要学的知识范围, 也已经把课件/教材/视频内容都传到 NotebookLM 里面了. 我目前需要的是让他替我执行*整理初版笔记*这个偏向体力劳动的过程, 而不是简单的问答. 但 NotebookLM 面对长视频场景做不到这点, 所以我才想要找其他的方案, 或者自己写一个项目来完成这个任务.
这样在之后对照视频的学习过程中可以尽量减少截图-调整笔记这个步骤的耗时, 更专注在理解和思考上面.

1 天前

回复了 cellsyx 创建的主题 › 程序员 › 目前 AI 辅助生成学习笔记的最佳实践探讨

@SuperDaniel313 感谢回复.
我用过 NotebookLM, 它没有解决我的主要问题: 提取长视频中的内容信息.
比如视频里在讲解 maxflow-mincut 算法, 课程材料中可能只有一张结论的图, 但视频里有一步一步的推导过程. 如果是我手动记录笔记, 我会把每一步推导都截图下来并附上自己的理解. 但是 NotebookLM 显然做不到这点.

1 天前

回复了 jsiwa 创建的主题 › 程序员 › 谷歌的 Antigravity 反重力编辑器的 agent 一直在 loading 有人遇到过吗，怎么解决的

试试用 v2rayn tun 模式开全局代理，选个美国节点

1 天前

回复了 archliinux 创建的主题 › 程序员 › 开发者怒批华为云 C++ SDK 质量：文档失效、基础代码错误频出

主业务 toG 的公司干出这些活不奇怪，对开发者不重视又不是一天两天了，之前 gitcode 事件不就是 CSDN 和华为云一起搞得嘛。
我更想知道的是华为在大模型业务的真实水平。现在国内第一梯队的开源模型有 qwen ，deepseek ，kimi ，glm 。反而是华为大模型宣发都过了好久，到现在也没拿出来什么实在的东西。

1 天前

回复了 lowsell 创建的主题 › 程序员 › 用户经常输错邮箱，有什么办法优化下？

前端验证+自动补全

2 天前

回复了 inyfee 创建的主题 › 程序员 › 从之前的反重力账号不能用了之后，我试用了一个星期的 kimi k2.5，评价是不好用

国产大模型的推广力度都快赶上手机圈数码宝贝了. 如果说手机这种产品在现阶段还能凑合用, 辅助编程的模型真是差一点都有明显感知. 因为模型输出质量会直接影响工作效率, 低质量输出造成的额外无意义 debug 环节会造成工时成倍的浪费. 因此用惯好的模型是不可能将就的. 目前门槛也就是 Gemini 3 pro/flash, 要是一个功能实现之后有错误, 让他连续两次 debug 都不过就直接回退换 claude opus 4.5. 除非是做大模型评测, 不然没必要给自己找不自在.
当然国产模型也有优点, 比如那些开源的模型用在一些本地执行的轻量级任务就很不错, 国产模型对于中文的识别也会好一点.

3 天前

回复了 yang0327519 创建的主题 › 教育 › AI 都那么强了，传统的学校教育价值是不是大打折扣？

@levelworm 我的意思不是让 AI 代替思考过程, 而是让 AI 尽可能降低获取高质量课程的成本. 我反对的不是磨练大脑, 而是传统的低质量课程. 那些课程内容本来就是混子凑数, 费尽心力学完结果发现走的都是弯路.

以计算机课程为例.普通人有资格获取的最先进且学习体验最友好的课程基本都是国外名牌大学的公开课.

如果你是一个刚高考完的小镇青年, 要开始学习这些高质量课程, 你会碰到以下问题:
1. 全英文授课, 全英文资料. 你可以把它作为练习英语的机会,但是起步过程是非常痛苦的.
2. 开发环境配置, 一些课程可能已经归档, 之前的开发环境适合当下的系统和开发软件技术栈吗?
3. 遇到很难理解的概念, 自己思考无法得出结论怎么办? 没有校内的 PA 或者习题课来帮助你理解, 没有同学可以即时交流.
4. 自己做出了习题, 做出了 lab, 但完成质量如何? 没有人给你分析或者打分, 某些课程的 auto grader 是很粗略或者根本不提供测试用例的.

AI 给了你抛弃低质量课程的权利, 给了你从全世界选择优秀公开课的权利. 但有了 AI 辅助并不意味着你可以不思考. AI 可以帮你最大程度上减少语言障碍, 减少开发环境配置障碍, 或是辅助你解决一个长时间思考之后都无法解决的 bug. AI 只是在起步阶段为你解决学习无关的障碍, 在你无助的时候帮一把手, 真正的学习过程(例如学习具体的算法)还是要靠自己理解. 而且在完成课后作业或者 lab 的时候我是肯定不会开 AI 辅助的, 这时候的 AI 提示反而会打断思路.

4 天前

回复了 yang0327519 创建的主题 › 教育 › AI 都那么强了，传统的学校教育价值是不是大打折扣？

好学校已经开始引入 AI 辅助教学了，王牌课程是与时俱进的。比如经典的 The Missing Semester 也引入了 Agentic Coding 。
那些还守着祖传的过时课本和教案的学校，其教育价值必然大幅下滑。别的不敢说，至少计算机本科教育，目前的顶级 AI 已经可以代替 90% 的 211 学校的课程了，更不用说还可以辅助 debug 和即时回答问题。可以说现在的学习门槛连英语这个硬性要求都不再存在，只需要你有个合适的梯子和接受新鲜事物的观念。
究其原因，国内的很多课本在编写之初根本就不是为了“更好地教育学生”，而是单纯为了教师评职称的产物，让手下学生东抄西抄滥竽充数拼凑出来的货色。教学质量也根本不是高校教师升迁的关键指标，所以烂教材和过时课件就一直流传下来。目前传统学校教育价值也就两点：社交环境和毕业证书。

» cellsyx 创建的更多回复