V2EX › aloxaf 的所有回复 › 第 6 页 / 共 30 页

V2EX = way to explore

V2EX 是一个关于分享和探索的地方

现在注册

已注册用户请登录

1 ... 2 3 4 5 6 7 8 9 10 11 ... 30

❮

❯

263 天前

回复了 Hooooooey 创建的主题 › 程序员 › MoonBit 在模式匹配的安全性和易用性上又迈进了一步

@riceball #9 你这堆语言里恰好没有 c++，不然肯定不会觉得用 constant 含义更准确。

rust 明确区分「编译期常量」和「不可变变量」，如果用 const 代表不可变，那编译期常量就难办了。
就算要换掉 let ，final 这种明显也比 const 更合适，当然按照 rust 惜字如金的关键字风格，选 let 也在意料之中。

263 天前

回复了 Hooooooey 创建的主题 › 程序员 › MoonBit 在模式匹配的安全性和易用性上又迈进了一步

@riceball #1 把 let 当常量不是 lisp 最先这么干的吗，而且也影响了不少后续函数式语言，怎么就只有被 rust 训过的才能适应了

264 天前

回复了 tool3d 创建的主题 › Claude › 感觉一些人对 claude 3.7 sonnet 有误解，以为是编程领域最强的模型。

还有一点，claude 系列的 agent 能力真的特别强，这点似乎还没有哪类排行榜可以体现，但是这个对于大项目来说是必须的。

上周在一个不熟悉项目的遇到一个小 bug ，试了下直接让 AI 分析，o3-mini 和 claude 3.7 sonnet 的表现大致如下：
o3-mini：只看我给的上下文，然后思考半天作答，结果自然是完全不对。
claude 3.7 sonnet：看完我给的上下文后，顺着调用链不断阅读代码……竟然真的准确定位到了问题，问它这整个调用流程是啥样的也能答上来。

anthropic 别的不说，在编程这方面绝对是最务实的公司，很清楚在编程方面真正需要的能力是什么。

264 天前

回复了 tool3d 创建的主题 › Claude › 感觉一些人对 claude 3.7 sonnet 有误解，以为是编程领域最强的模型。

编程排名目前只认 https://aider.chat/docs/leaderboards/

Exercism Hard 题 + 多语言综合测试，得出来的结果可以说是最接近实际情况的，有效防止小模型刷榜。

267 天前

回复了 bronyakaka 创建的主题 › 程序员 › web 框架性能排名 techempower 发布 2025 最新结果

Rust 前面那一堆框架只有 axum 算有些代表性，话说以前的跑分王 actix 怎么缺席了。

268 天前

回复了 2067 创建的主题 › 程序员 › 难道只有我中招了 cursor 的 2 刀一次的 GPT4.5 吗

Cursor 非常讨厌的一点就是，很多模型的计费规则总是藏着，在设置中的模型选择那里加一栏计费规则很难么

270 天前

回复了 iflint 创建的主题 › 程序员 › 求问某宝上面的 Claude 3.7 中转 api 靠谱吗？

不靠谱，可能存在包括但不限于以下问题：
1. 掺水
2. 偷偷限制了上下文和输出长度
3. 无法控制参数（一些逆向的 API ）
4. 无法进行函数调用
5. 多账号负载均衡导致缓存失效
6. 也可能根本不支持缓存
……

276 天前

回复了 zhengfan2016 创建的主题 › JavaScript › 为什么中小公司的前端面试官爱问 array 和 object 有多少种方法

让面试官说 950 个自己认识的字，说不出来就是文盲。

283 天前

回复了 Arguments 创建的主题 › 程序员 › Claude3.7 发布，这次我是真有点慌了

3.7 对视觉效果的把控真的强了非常多，在其他论坛还看到有人让它用 svg 格式做 PPT 、做海报的。

不过也不用这么悲观，大工程比起上下文更重要的是真正的记忆能力，RAG 和真正的记忆差太远了，这点上好像还没看到哪家有开始发力。

而且谁也不知道未来会是怎么样的，说不定 AI 的流行会导致程序员自身的编码水平普遍下降，前 AI 时代的程序员反而优势更大，打破年龄焦虑（现在是，幻想时刻）

287 天前

回复了 shebaoting 创建的主题 › 程序员 › AI 似乎很难生成 100 个相同类型的名字？

拿 deepseek v3 复现了下，默认参数下确实重复非常多，presence_penalty 调到 1.2 就只有 1 个重复了。

287 天前

回复了 Hypixel 创建的主题 › Android › 淘宝疑似歧视并频繁封禁类原生 Android 用户

淘宝是这样，我 Linux Firefox 用户，网页版一次打开的页面多了就开始弹滑动验证码，而且一旦开始弹就停不下来。

288 天前

回复了 sn0wdr1am 创建的主题 › GitHub Copilot › GitHub Copilot 免费使用是什么意思？

@aloxaf https://docs.github.com/en/copilot/managing-copilot/managing-copilot-as-an-individual-subscriber/managing-your-github-copilot-pro-subscription/getting-free-access-to-copilot-pro-as-a-student-teacher-or-maintainer#about-free-github-copilot-pro-access

288 天前

回复了 sn0wdr1am 创建的主题 › GitHub Copilot › GitHub Copilot 免费使用是什么意思？

如果没用学生包的话，那概率就是 GitHub 认定的「流行」开源项目的维护者（我也不知道流行的标准是什么，反正 GitHub 文档是这么说的）
有这个身份就可以一直白嫖 GitHub Copilot ，你看看你的邮箱，GitHub 应该每月会给你发「 Your GitHub Copilot access has been renewed 」的邮件

288 天前

回复了 rihkddd 创建的主题 › 程序员 › 推荐一个面试算法题

我印象最深的是编程随想的关于打印前 N 个质数的题目，很有启发性：任何人都能做出来，但是又有足够的优化空间来考察水平。

289 天前

回复了 jlak 创建的主题 › 程序员 › 感觉编程辅助工具都在卷 Agent 而不是补全

因为 Agent 实现起来简单啊。

补全这个确实要点技术水平的，Copilot 的 Next Edit 预测试了几天，比 Cursor 差太远了——
1. 响应速度比 Cursor 慢
2. 很多时候我认为应该给出建议的场景它一动不动
3. 完成一批编辑后，Cursor 没啥活干了一般会给个无伤大雅的光标位置建议，Copilot 这个时候就会开始发癫，要么建议一些莫名其妙的函数，或者建议我做出一些迷惑修改（比如删掉我的 export ）

Zed 前段时间放出了一个开源的编辑预测模型 Zeta ，有了开源样板之后，后面大家应该也要卷起来了。

289 天前

回复了 oldManNewThought 创建的主题 › 程序员 › 求大佬指点， ai 加知识库的内部原理

@moyufjm123

> 那要是知识库很大，上下文很多，token 岂不是消耗很快？

理论上是的，但是一般来讲，只有被匹配到的一段文本（和它们的上下文）会被发送给 LLM ，而且很多工具只会发送匹配度最高的 N 段文本，当然代价就是准确性降低。

> 涉及多次问答会不会重复发送上下文？

会，但有的模型是支持缓存的，比如 OpenAI 和 DeepSeek 连续对话时会自动缓存上下文，命中缓存就有折扣。不过也有模型比如 Claude 和 Gemini 得手动触发缓存，很多工具压根就没有适配……

289 天前

回复了 oldManNewThought 创建的主题 › 程序员 › 求大佬指点， ai 加知识库的内部原理

嵌入模型是用来把文字转成向量的，这样就可以把文字的相似度匹配转成向量的相似度匹配，这样一来更快，二来还能匹配语义上相似但实际不同的句子。

292 天前

回复了 fengxuejianshi 创建的主题 › 程序员 › 输入法来回切换很麻烦，请问 windows 下有啥好用的自动切换工具吗

@Zenon #53 我用的是 fcitx5 ，将全局选项里的「激活输入法」和「取消激活输入法」分别设置为右 Shift 和左 Shift 即可。

296 天前

回复了 fengxuejianshi 创建的主题 › 程序员 › 输入法来回切换很麻烦，请问 windows 下有啥好用的自动切换工具吗

@iX8NEGGn 我在 linux 下用的就是方法 2 ，左 shift 始终是英文（考量到游戏和快捷键一般用左 shift ），右 shift 始终是中文。

1 ... 2 3 4 5 6 7 8 9 10 11 ... 30

❮

❯