GeruzoniAnsasu 最近的时间轴更新

GeruzoniAnsasu

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

今日活跃度排名 4845

just_send_to_this_bot GitHub

pnck

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

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

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

GeruzoniAnsasu 最近回复了

7 小时 26 分钟前

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

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

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

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

8 小时 25 分钟前

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

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

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

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

1 天前

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

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

1 天前

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

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

2 天前

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

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

4 天前

回复了 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

5 天前

回复了 tanszhe 创建的主题 › Faucet › 没有搞明白呢 $V2EX 和 SOL 有什么区别？

首先要了解一下 solana 的「万物皆 account 」的模型。

你的「钱包地址」本质上是一个被 system program 拥有，可由其修改余额的 account 。这个 account 里的余额以 lamports 为单位，将它乘以 10^9,就是 1sol.

你的 account 可以与若干个 associated account 相关联，假如一个 account 被「 token program 」拥有，同时记录了与你的 account 关联，那么你就「拥有了」这个 associated account ，这个 account 会记录它某种 mint （代币发行者）的余额，假如这个代币发行者地址是 9raUVuzeWUk53co63M4WXLWPWE4Xc6Lpn7RS9dnkpump ，那么 account 中的余额就代表你持有的 $v2ex 数量.

在 solana 网络上，可以按照 mint 的要求将对应比例的 solana 与 mint 余额相互兑换，「 system program 」会负责扣除你主 account 里的 solana ，然后「 token program 」会增加你拥有的 associated account 里的余额。这些变动由交易数据中封装的 instruction 完成，当你发起一个「兑换」，实际上等价于构建了一个交易事务，第一条 instruction 是扣款，第二条指令是给你的关联账户充值。假如你还没有关联账户，还会在 1 和 2 中间增加一条「开户」的指令，把你主账户余额抵押一部分出去创建一个新的关联账户。

无论是什么样的 instruction 都要消耗算力，算力的价值会评估为一定数量的 lamports/solana ，所以当你完成一次交易，意味着你成功执行了若干 instructions ，这些 instructions 对应价值的 solana 也会从你的余额中扣除，也就是 gas fee 了。

v 站原本的「货币系统」，如你所见是凭空生产的，不可能参与到 $v2ex 的「发行」流程中，因此逻辑上来讲它们就不可能互转，除非$v2ex 的持有者愿意提供这样的虚拟交易或抵押

» GeruzoniAnsasu 创建的更多回复