MindThink

形式化证明是 AI 时代软件工程的必要吗？

昨天 10.24 被调侃为最后一个程序员节日，难道我们要准备为程序员这个职业唱挽歌了吗？ 当年 Linus 的…

AI 时代下的软件工程，瓶颈不在开发，在需求澄清和测试验收。我们可以问几个问题： 当一天几百个 PR 的时候，…

AI 可以为你生成 PRD、代码，你可以借此外包你的思考，但是你的理解无法外包，交付物的质量、品味还取决于你。…

书名：《以交易为生（原书第2版）》 作者：亚历山大·埃尔德 读完：2026-10-04 · 微信读书 这本书把…

书名：《投资护城河：如何挑选绩优股》 作者：帕特·多尔西 读完：2026-07-12 这本书讲怎样判断一家公司…

书名：《重新定义公司：谷歌是如何运营的》 作者：埃里克·施密特 乔纳森·罗森伯格等 读完：2026-02-15…

书名：《澄明之境：青泽谈投资之道》 作者：青泽 读完：2025-10-22 · 微信读书 · 评价：好看 青泽…

书名：《十年一梦》 作者：青泽 读完：2025-10-14 · 微信读书 《十年一梦》是青泽记录自己期货投机经…

书名：《乱世华尔街》 作者：渔阳 读完：2025-04-13 · 微信读书 《乱世华尔街》是一位华尔街债券交易…