- 主题:AI 写代码确实太爽了
好奇问一下，ai软件不会占有部分版权吧
--
FROM 36.112.185.*
低级程序员要失业了
【 在 GUAZHA 的大作中提到: 】
: 就是说，大部分人都是造轮子
: 现在把造轮子交给AI了
--
FROM 114.94.8.*
你用哪个AI工具写代码?claude?
【 在 hgoldfish 的大作中提到: 】
: 写几行需求给它。然后就刷刷刷生成一堆代码。和 Dr. lvsoft 不一样，我还会看一下它的源代码，理解理解。然后再给修改建议。AI 经常能够给出我一时半会想不到的方案出来。到这里虽然有提长，但总体提升其实一般般。
: 最爽的地方是 AI 给测试代码实在太方便了。改完代码单元测试跑一下，功能和性能都同时测清楚，上线代码再也不焦虑了！
: 直到 AI 出来，测试驱动开发这个软件工程模型才真正实用。以前都是扯蛋。
--
FROM 39.144.108.*
o3是chatgpt那个？
要付费么
国内的豆包 ds可以么
【 在 PaoloMaldini (solo con te) 的大作中提到: 】
: 我现在让O3写需求和设计方案，要是能顺手搭个框架就搭一个（比如目录啊依赖啊啥的）
: 然后让claude sonnet根据需求和设计方案写代码
: 最后再让O3做code review，看看：
: 1. 需求是不是该做的都做了；
--
FROM 223.104.42.*
大部分人不都是？
【 在 tower6 的大作中提到: 】
: 这只能说明AI是个比较称职的搬运工
--
FROM 106.38.62.*
为啥
rust啥特性
【 在 lvsoft (Lv(The Last Guardian)) 的大作中提到: 】
: 所以我已经强调了很多遍了，rust是ai时代最重要的语言，没有之一
: 比如我现在是基本不写测试代码的。
:
: 曾经我也是测试先行，用一堆测试去框住结果。
--
FROM 223.104.42.*
AI写的程序问题比较难找吧？
【 在 lvsoft 的大作中提到: 】
: 简单的说就是系统跑起来你要大致看看跑起来如何吧？我做的就是构造一个e2e测试把我最感兴趣的功能点跑下。gemini上限非 ...
--
FROM 114.254.3.*
推荐的好！简单看了下这篇文章，才理解lv总提倡的理念，其实单元测试也是防御性编程，ADT能有效降低这种开销。
【 在 beep 的大作中提到: 】
: 推荐读一下 Domain Modeling Made Functional: Tackle Software Complexity
: 就是在讲各种编译器保证业务逻辑的方法，只要语言有像样点儿的类型系统就可以
: 知乎上的 工业聚 也写过类似的系列文章
: ...................
--
FROM 124.16.189.*
我理解重点不是immutable，而是业务流水线上每一个不同的可区分的业务状态都用类型来区分。哪怕数据本身过了一个处理环节之后没发生变化，但所处环节位置变了，也是不同类型。如果修改数据只是变化了数据本身，并不改变其业务逻辑中的位置，那类型也不变。这两种情况也是常见的
但确实和immutable的表现有点相似，所以也可以理解为什么这是从functional社区里发展出来的做法。
【 在 gfkid 的大作中提到: 】
: 老实说 当看到你给出的解法的时候 我理解是 用类型实现immutable data的效果
: 所以是否要在每一次修改数据的时候，给出一个有意义的类型来约束呢，对程序员来说，这是一个负担
: 但是对AI来说是否就容易很多，也许只需要用恰当的prompt告诉AI，在每一次修改数据的时候绑定一个新的有业务含义的类型，以此增加鲁棒性
: ...................
--
FROM 123.120.171.*
可惜在我数值领域，给篇文章通常都不能给出完整的代码，这个问题啥时候解决了，我的工作真的就要飞起了
--
FROM 180.119.65.*