GeruzoniAnsasu 最近的时间轴更新

GeruzoniAnsasu

V2EX 第 153649 号会员，加入于 2015-12-31 11:52:50 +08:00

just_send_to_this_bot GitHub

pnck

GeruzoniAnsasu 提问技术话题好玩工作信息交易信息城市相关

根据 GeruzoniAnsasu 的设置，主题列表只有在你登录之后才可查看

二手交易相关的信息，包括已关闭的交易，不会被隐藏

GeruzoniAnsasu 最近回复了

2 小时 31 分钟前

回复了 ctrlz526 创建的主题 › 分享创造 › 做了一个图片压缩 App，买断制，受不了订阅制了

挺好的，本来还想说这在 pc 上都是 imagemagick 一条命令完成的事，看了下介绍发现还是有不少端上的场景确实是我没想到的。

如果可以的话兑换码可以尝试发我主页留的 tg bot （好久没用了，刚好测测还能不能 work🤓）

15 小时 20 分钟前

回复了 Nivdc 创建的主题 › 分享发现 › 可逆计算理论：（可能是）下一代软件构造理论

@Nivdc 推广就直说。现在大家的评论之所以停留在逻辑层面是想尽可能不误伤涉及的项目，万一真仔细看了项目到时候可能就要开喷了。

另「系统版本」原本应该是个 Abastraction. 任何迭代都会发生版本变更，你可以声称某个理论「不解决版本号第一位数字增加了 1 的情况」，只解决「系统开发过程的演变的问题」。但从抽象上来看这两者完全等价。

之所以要问有没有写过跨版本适配代码，因为这是最容易理解「所谓的可逆计算」的范式：你在现有 migration 的基础上增加一些 migration ，在现有的 service 结构上增加一些 adaptor ，可能是新适配旧也可能是旧适配新 —— 但无怎样它们在软件工程/真实世界的表现形式都只会是「增加一大坨本可以（如果不保持兼容性的话）不要的代码和层」。数学上等价于一个工程实现完全不代表工程实现能重现数学形式的优雅。

16 小时 19 分钟前

回复了 Nivdc 创建的主题 › 分享发现 › 可逆计算理论：（可能是）下一代软件构造理论

Δ不遵循交换律和结合率。

所以 X+ΔY 不等价于 X-(-ΔY)。
实际情况不可能是从 X 里「删减」得到 Y ，而是必须引入了大量的适配层，「增加」大量非必要的代码才能得到 Y 。

OP 没写过版本迁移适配代码吗？

1 天前

回复了 cmdOptionKana 创建的主题 › 股票 › 对 A 股最大的误解： A 股是垃圾市场、割韭菜市场

> 对 A 股最大的误解：A 股是垃圾市场、割韭菜市场 ❌
> 沪深 300 这三年是赚钱的。 ✅

2 天前

回复了 Livid 创建的主题 › 站点状态 › 20260110 - /node/create

挺有意思，也是一种 proof of stake 是吧，$v2ex 质押管理权。

2 天前

回复了 muluc 创建的主题 › 游戏 › 底特律:变人是未来还是游戏

> 人类的过去历史是可能性的随机坍缩，未来历史是想象力的路径积分。

5 天前

回复了 shrimpDumpling 创建的主题 › 生活 › 为人父母不需要考试

成长到父母的年龄自然能「理解」父母。

你应该不会仇恨一个素不相识的、哪怕他认知再低能力再弱的人；所以也没必要恨「原生家庭」：傻逼见多了，原来我的父母真是傻逼，那还能怎么办，他都这样了，啊对对对就完事了

5 天前

回复了 wingtao 创建的主题 › 程序员 › Spec，真的能解决 AI Coding 的问题吗？

spec 本质就是逐条检查的清单，用来把难以控制的 AI 自由发挥细化为逐字逐行的约束和回归项。

在这个前提下却还在讲「一次性完成」，在我来看根本就是匪夷所思的，好比老中制定了「 10 个 5 年计划但是细节不看总之 make china great again 就完事了」。

spec 的正确用法就是让人类工程师能逐指令逐步骤地跟踪 AI 的产出使其符合设计目标。我目前的工作范式：

1. 让 LLM 写 spec
2. 让 LLM 分析项目状态指出 spec 有没有不足之处
3. 人工介入，把 spec 和预达成目标缩减/补充至可行范围，同时确保每个 step 都有足够的逻辑骨架来 check （比如第一步实现业务的数据模型，第二步根据模型实现 DAO ，第三步用 DAO 拼接业务逻辑，第四步调整中间件…………）
4. 让 LLM 给出可重入的 prompt ，每个 step 在单独会话中实现，但要求把增改记录都同步回 spec/设计文档中
5. 反复重试直至达到设计预期
6. 根据刚才的实现步骤重读 spec 并补充细节
7. 循环 => 2

p.s. 这个工作范式只能搭配 claude 的模型，codex 和 gemini 都跟不上，因为它们的抽象思维太弱，无法理解「分析」具体对应到哪些工作，产出不了 reasonable feedback

» GeruzoniAnsasu 创建的更多回复