Alias4ck 最近的时间轴更新 Alias4ck 最近的时间轴更新 |
Alias4ckV2EX 第 159995 号会员，加入于 2016-02-23 08:36:47 +08:00今日活跃度排名 6848 |
Alias4ck 最近回复了
2 小时 12 分钟前 回复了 superhxl 创建的主题 › Python › Neovim 的代码检查、补全问题 |
pylance /pyrefly/ty
虽然 ty/prefly 有很多功能没有支持
可以用 pylance 的 crack 版本 delance😄
虽然 ty/prefly 有很多功能没有支持
可以用 pylance 的 crack 版本 delance😄
2 天前 回复了 puremaker 创建的主题 › macOS › 真是对 Mac 祛魅了，买了快一年还是后悔了，发发牢骚 |
装个环境都能对系统不满
你要是用 Arch 的话不得骂死 Linux 呀
btw, I use arch
你要是用 Arch 的话不得骂死 Linux 呀
btw, I use arch
5 天前 回复了 swananan 创建的主题 › 程序员 › 突然发现，刚夸完 Codex，它就开始要求涨薪了 |
codex 20 刀我觉得挺划的来的比 API 好
7 天前 回复了 enrolls 创建的主题 › Python › 帮你选择最快的 pip 镜像，告别安装慢 |
pip 解决 conflict 也慢 建议 uv
7 天前 回复了 goodryb 创建的主题 › 程序员 › 一道三年级数学题把大模型难住了，不是说数学推理都很厉害吗 |
@shyangs 确实,现在小学生要学的太多了, 精英教育是这样的
8 天前 回复了 goodryb 创建的主题 › 程序员 › 一道三年级数学题把大模型难住了，不是说数学推理都很厉害吗 |
在我看来这不就是一个 DSL
你用符号语言描述可能一下就有答案了
毕竟数学家解释这类问题也是用符号语言的
而且这题背后是图论的哈密顿路径,3 年级学不到图论吧
你用符号语言描述可能一下就有答案了
毕竟数学家解释这类问题也是用符号语言的
而且这题背后是图论的哈密顿路径,3 年级学不到图论吧
10 天前 回复了 v2306 创建的主题 › 程序员 › 感觉现在用 AI 对自己的提升是越来越小了 |
用了 AI 之后,我会想很多方式来组合解决这个问题
总体来说就是实现的步骤少了, 思考设计的地方多了
总体来说就是实现的步骤少了, 思考设计的地方多了
10 天前 回复了 Danielhu229 创建的主题 › 程序员 › 一键指定镜像提供商启动 Claude Code |
@Danielhu229 (你说的这种,写一个 bash 命令也能解决
11 天前 回复了 YanSeven 创建的主题 › 程序员 › 体感感觉 Claude4.5 比 ChatGPT 在总结计算机知识上要更专业一点 |
claude 爱写文档和总结, 体感上是这样的
Select Language