Video wird geladen...

Video konnte nicht geladen werden

Zur Startseite

AI 编程不会取代程序员，只会让程序员更强大。这玩意你让一个完全不会编程的人问 AI，打死也搞不出来。

dingyi's profile picture

Ding

155,677 subscribers

69,868 Aufrufe • vor 1 Jahr •via X (Twitter)

Wissenschaft & Technologie
LIVE

Anya Rossi• Live Now

Private livecam show

0 Kommentare

Keine Kommentare verfügbar

Kommentare vom Original-Post werden hier angezeigt

Ähnliche Videos

3月份 #anthropic 发布的报告说程序员最容易被AI取代，电工最难😅 为啥我预感有一大波程序员刚刚转行拿到电工证，就又会被机器人取代😂
0:15

3月份 #anthropic 发布的报告说程序员最容易被AI取代，电工最难😅 为啥我预感有一大波程序员刚刚转行拿到电工证，就又会被机器人取代😂

大漂亮| C Labs

27,356 Aufrufe • vor 2 Monaten

真正的程序员，不过很正常，我大学认识的几个学数学的人均二次元，数学和编程又是相通的，当你领略到数学世界的美，你也会爱上二次元（一种理想化的幻想），当然这样子很容易内在女性化，所以建议多学物理，数学和物理都好的一般不会这样子，内在也会偏男性化。
0:19

真正的程序员，不过很正常，我大学认识的几个学数学的人均二次元，数学和编程又是相通的，当你领略到数学世界的美，你也会爱上二次元（一种理想化的幻想），当然这样子很容易内在女性化，所以建议多学物理，数学和物理都好的一般不会这样子，内在也会偏男性化。

jike

253,075 Aufrufe • vor 7 Monaten

我直接瘫坐🤯 特别建议大家关注一下字节跳动旗下的 AI IDE 的官方知识库： 就拿这个 2026 年企业级 AI 编程实践手册来说 更多的是面向非程序员群体的 AI 编程 从 AgenticAI 原理到 skills 工程化编写 从 Spec 到 rules、MCP 都有涉及 甚至还有 figma 结合相关的模块！！ 看看：
0:13

我直接瘫坐🤯 特别建议大家关注一下字节跳动旗下的 AI IDE 的官方知识库： 就拿这个 2026 年企业级 AI 编程实践手册来说 更多的是面向非程序员群体的 AI 编程 从 AgenticAI 原理到 skills 工程化编写 从 Spec 到 rules、MCP 都有涉及 甚至还有 figma 结合相关的模块！！ 看看：

Jackywine

29,636 Aufrufe • vor 3 Monaten

那位猝死的 32 岁程序员，一生里或许从未真正拥有过这样的“慢”和“松弛”。不是不懂生活，而是从未允许自己停下来。 所以问题还是那个：你真的会生活吗？
0:14

那位猝死的 32 岁程序员，一生里或许从未真正拥有过这样的“慢”和“松弛”。不是不懂生活，而是从未允许自己停下来。 所以问题还是那个：你真的会生活吗？

BoraBora

43,578 Aufrufe • vor 7 Monaten

开始走程序了，一直认为爱笑的女人运气不会差
0:11

开始走程序了，一直认为爱笑的女人运气不会差

杨凡🇨🇳

38,254 Aufrufe • vor 2 Jahren

卧槽 !! 忍不住了，Manus 半遮面地唤不出来。 三月的第一个“卧槽” AI 软件就先给 flowith 吧，第一次感受到一句话就搞定一个小程序，爬取小宇宙播客指定栏目的音频（这特么也不算小程序了吧）： 声明：你注册，我拿 deepseek r1 credit
0:16

卧槽 !! 忍不住了，Manus 半遮面地唤不出来。 三月的第一个“卧槽” AI 软件就先给 flowith 吧，第一次感受到一句话就搞定一个小程序，爬取小宇宙播客指定栏目的音频（这特么也不算小程序了吧）： 声明：你注册，我拿 deepseek r1 credit

黄赟

132,324 Aufrufe • vor 1 Jahr

这个视频令人高度不适！饭后绝对不要点开，一定会让人反胃，勿谓言之不预！这他某的完全是没有完成进化过程啊！
0:19

Sensitive content

这个视频令人高度不适！饭后绝对不要点开，一定会让人反胃，勿谓言之不预！这他某的完全是没有完成进化过程啊！

风轻云淡

308,381 Aufrufe • vor 9 Monaten

今天大家都约会跨年了吧？是不是饭店爆满？酒店爆满？至于我还在一线奋斗吗？ 如果回到最底层去看区块链，其实它只解决了一个问题。 程序是不是按照约定执行了。 EVM 时代，这个问题的答案是，用全网重复执行来换确定性。 所有节点跑一遍同样的程序，用资源浪费换信任。 但这个模型一旦遇到复杂程序，就开始崩。 状态越复杂，成本越高。 逻辑越多，执行越慢。 ZK 的出现，并不是为了让链更快，而是为了换一种证明方式。 不是你跑过，而是你能证明你跑对了。 问题在于，大多数 ZK 系统，只解决了证明问题，没有解决编程问题。 开发者写的依然是“执行逻辑”，只是最后被翻译成电路。 而 Miden 真正不一样的地方，在于它一开始就假设。 程序不是给机器跑的，是给人验证的。 这就是为什么 Miden 要单独设计一套 VM。 不是因为 EVM 不够好，而是因为 EVM 从来不是为可证明性而生。 Miden VM 的核心不是 Gas，不是吞吐，而是可组合的证明语义。 每一段程序，在设计时就已经被拆解成可以被证明的最小单元。 你写代码的时候，不是在思考执行顺序。 你是在定义一条可被验证的状态转换路径。 这听起来抽象，但它会直接改变开发者的行为方式。 在 Miden 上，状态不是默认共享的。 状态是本地的、私有的、按需提交证明的。 这意味着什么。 意味着你不再被迫把所有中间状态暴露给链。 你只需要在关键节点，证明结果成立。 这对应用层的影响非常大。 比如钱包逻辑。 在传统模型里，账户状态是公共的。 余额、nonce、授权路径，全在链上。 在 Miden 的模型里，账户更像一个本地程序。 你控制状态。 链只验证结果。 这让很多过去“不可能”的设计，第一次变得合理。 比如复杂账户抽象。 比如多步条件执行。 比如带隐私的业务逻辑。 更重要的是，这套模型天然降低了应用复杂度对链的压力。 在 Miden 上，复杂性不会扩散。 你写复杂逻辑，只会增加你自己的证明成本，而不会拖慢全网。 这和 EVM 体系是反的。 EVM 的复杂性是外溢的。 一个复杂合约，会影响所有人。 Miden 的复杂性是内收的。 复杂度由使用者自己承担。 这背后其实是一种非常明确的价值取向。 让写复杂程序的人，为复杂性买单，而不是让整个系统为其兜底。 这也是为什么 Miden 更像一台操作系统，而不是一条普通公链。 它不是在堆功能，而是在重新划分责任边界。 链负责验证正确性。 程序负责证明自己。 当你站在这个角度看，就会明白 Miden 为什么不急着追 TPS。 也不急着推生态数量。 因为它赌的是一个长期趋势。 链上程序一定会越来越复杂。 而复杂程序，必须有更强的可验证结构。 如果你只用 Miden 来写简单合约，那你感受不到它的优势。 但一旦你开始尝试写有状态的、长期运行的、需要隐私的逻辑。 你会发现，传统模型根本撑不住。 所以 Miden 的真正目标用户，不是短期应用开发者。 而是那些想把“业务逻辑本身”搬到链上的团队。 当链不再只是结算层，而开始承载程序可信度。 Miden 这种设计，就会显得非常超前。 这也是我对 Miden 的核心判断。 它不是为当前周期服务的链。 而是在为下一代链上程序，提前搭好运行环境。 在 ZK 赛道里， 速度会被追平，成本会被压低。 真正拉开差距的，只会是编程模型本身。 而 Miden，走的是一条非常少有人敢走的路。 从源头重写规则，而不是在旧规则上修补。 Miden #Miden #KAITO
0:18

今天大家都约会跨年了吧？是不是饭店爆满？酒店爆满？至于我还在一线奋斗吗？ 如果回到最底层去看区块链，其实它只解决了一个问题。 程序是不是按照约定执行了。 EVM 时代，这个问题的答案是，用全网重复执行来换确定性。 所有节点跑一遍同样的程序，用资源浪费换信任。 但这个模型一旦遇到复杂程序，就开始崩。 状态越复杂，成本越高。 逻辑越多，执行越慢。 ZK 的出现，并不是为了让链更快，而是为了换一种证明方式。 不是你跑过，而是你能证明你跑对了。 问题在于，大多数 ZK 系统，只解决了证明问题，没有解决编程问题。 开发者写的依然是“执行逻辑”，只是最后被翻译成电路。 而 Miden 真正不一样的地方，在于它一开始就假设。 程序不是给机器跑的，是给人验证的。 这就是为什么 Miden 要单独设计一套 VM。 不是因为 EVM 不够好，而是因为 EVM 从来不是为可证明性而生。 Miden VM 的核心不是 Gas，不是吞吐，而是可组合的证明语义。 每一段程序，在设计时就已经被拆解成可以被证明的最小单元。 你写代码的时候，不是在思考执行顺序。 你是在定义一条可被验证的状态转换路径。 这听起来抽象，但它会直接改变开发者的行为方式。 在 Miden 上，状态不是默认共享的。 状态是本地的、私有的、按需提交证明的。 这意味着什么。 意味着你不再被迫把所有中间状态暴露给链。 你只需要在关键节点，证明结果成立。 这对应用层的影响非常大。 比如钱包逻辑。 在传统模型里，账户状态是公共的。 余额、nonce、授权路径，全在链上。 在 Miden 的模型里，账户更像一个本地程序。 你控制状态。 链只验证结果。 这让很多过去“不可能”的设计，第一次变得合理。 比如复杂账户抽象。 比如多步条件执行。 比如带隐私的业务逻辑。 更重要的是，这套模型天然降低了应用复杂度对链的压力。 在 Miden 上，复杂性不会扩散。 你写复杂逻辑，只会增加你自己的证明成本，而不会拖慢全网。 这和 EVM 体系是反的。 EVM 的复杂性是外溢的。 一个复杂合约，会影响所有人。 Miden 的复杂性是内收的。 复杂度由使用者自己承担。 这背后其实是一种非常明确的价值取向。 让写复杂程序的人，为复杂性买单，而不是让整个系统为其兜底。 这也是为什么 Miden 更像一台操作系统，而不是一条普通公链。 它不是在堆功能，而是在重新划分责任边界。 链负责验证正确性。 程序负责证明自己。 当你站在这个角度看，就会明白 Miden 为什么不急着追 TPS。 也不急着推生态数量。 因为它赌的是一个长期趋势。 链上程序一定会越来越复杂。 而复杂程序，必须有更强的可验证结构。 如果你只用 Miden 来写简单合约，那你感受不到它的优势。 但一旦你开始尝试写有状态的、长期运行的、需要隐私的逻辑。 你会发现，传统模型根本撑不住。 所以 Miden 的真正目标用户，不是短期应用开发者。 而是那些想把“业务逻辑本身”搬到链上的团队。 当链不再只是结算层，而开始承载程序可信度。 Miden 这种设计，就会显得非常超前。 这也是我对 Miden 的核心判断。 它不是为当前周期服务的链。 而是在为下一代链上程序，提前搭好运行环境。 在 ZK 赛道里， 速度会被追平，成本会被压低。 真正拉开差距的，只会是编程模型本身。 而 Miden，走的是一条非常少有人敢走的路。 从源头重写规则，而不是在旧规则上修补。 Miden #Miden #KAITO

比克大魔王

89,488 Aufrufe • vor 7 Monaten

卧槽，有个编程大神把自己的工程经验蒸馏成了一个开源项目 GitHub 热榜第一，Star数直接冲上了9万 + 作者是前 Vercel 工程师 Mat，参与过 Next.js 早期开发，以把复杂技术讲得通俗易懂著称。 他把日常和 Claude 协作的工程实践整理成 16 个 skill，一条命令安装，给 AI 注入几十年的软件工程经验。 最受好评的一个叫 Grim，让 AI 反过来拷问你，沿着决策树逐一确认需求，直到彻底搞清楚你想要什么再动手。 只有 3 句话 42 个词，被不少人评为"token 回报率最高的提示词"。 还有一个 skill 专门解决代码跑不起来的问题，强制 AI 先写一个会失败的测试，再写最少量的代码让它通过，最后重构，经典红绿循环，AI 想走捷径都难。 整套项目不只是教 AI 怎么做事，更是帮你和 AI 建立一套持续对齐的工作机制。
0:19

卧槽，有个编程大神把自己的工程经验蒸馏成了一个开源项目 GitHub 热榜第一，Star数直接冲上了9万 + 作者是前 Vercel 工程师 Mat，参与过 Next.js 早期开发，以把复杂技术讲得通俗易懂著称。 他把日常和 Claude 协作的工程实践整理成 16 个 skill，一条命令安装，给 AI 注入几十年的软件工程经验。 最受好评的一个叫 Grim，让 AI 反过来拷问你，沿着决策树逐一确认需求，直到彻底搞清楚你想要什么再动手。 只有 3 句话 42 个词，被不少人评为"token 回报率最高的提示词"。 还有一个 skill 专门解决代码跑不起来的问题，强制 AI 先写一个会失败的测试，再写最少量的代码让它通过，最后重构，经典红绿循环，AI 想走捷径都难。 整套项目不只是教 AI 怎么做事，更是帮你和 AI 建立一套持续对齐的工作机制。

阿西_出海

282,964 Aufrufe • vor 3 Monaten

开始实践了，应用形式为谷歌浏览器插件！ Vibe Coding 最让我感到愉悦的是：曾经创业兼职产品经理的时候面对的是两个油腻又肥胖的程序员，改需求总是拖拖拉拉，动不动就喊“这没法改、这需求没意义…” 而现在，我面前负责敲代码，做架构的是数个人类科技的结晶，各种大语言模型轮番上阵，毫无怨言！ 初级程序员、普通软件工程师这些职业看起来是注定要被淘汰了，高级程序员虽然目前无法被取代，但我觉得应该也快了，10年以内吧？
0:12

开始实践了，应用形式为谷歌浏览器插件！ Vibe Coding 最让我感到愉悦的是：曾经创业兼职产品经理的时候面对的是两个油腻又肥胖的程序员，改需求总是拖拖拉拉，动不动就喊“这没法改、这需求没意义…” 而现在，我面前负责敲代码，做架构的是数个人类科技的结晶，各种大语言模型轮番上阵，毫无怨言！ 初级程序员、普通软件工程师这些职业看起来是注定要被淘汰了，高级程序员虽然目前无法被取代，但我觉得应该也快了，10年以内吧？

Crypto_Painter

61,428 Aufrufe • vor 8 Monaten

太牛逼了！ 本来以为 AI 会让那些靠脑力劳动的人失业 看了这个感觉真人演员要先被淘汰了 这表演也太逼真了，要不是猫我真的看不出是AI生成的 AI 美女是真的完美啊！
0:16

太牛逼了！ 本来以为 AI 会让那些靠脑力劳动的人失业 看了这个感觉真人演员要先被淘汰了 这表演也太逼真了，要不是猫我真的看不出是AI生成的 AI 美女是真的完美啊！

比特币橙子Trader

83,219 Aufrufe • vor 4 Monaten

这是你不充会员也能看的～
0:18

这是你不充会员也能看的～

李宁宁

853,277 Aufrufe • vor 10 Monaten

很多人评估一条链，习惯看上行空间，但真正在真实场景里用系统的人，第一眼看的其实是失败成本。 系统一旦跑起来，最怕的不是性能不够，而是出问题之后代价太高： 数据丢不丢？流程能不能回滚？换一条链要不要重来？ 这些问题不解决，再好听的叙事也进不了核心流程。 从这个角度看 Vanar Chain，它更像是在压低“用错一次”的代价。 成本好算、行为可追溯、流程可控，意味着哪怕出问题，也有修复空间，而不是推倒重来。 这对 AI Agent 和企业用户来说很现实。 他们不追热点，也不赌运气，只会选择那种出事也扛得住的基础设施。 一旦系统跑顺，切换成本反而会变得越来越高。 这也是 $VANRY 的另一层逻辑。 不是靠一次爆发定输赢，而是随着系统稳定运行，被慢慢锁进真实流程里。 真正的护城河，往往不是你有多快， 而是别人不敢轻易换掉你。 Vanar #Vanar
0:17

很多人评估一条链，习惯看上行空间，但真正在真实场景里用系统的人，第一眼看的其实是失败成本。 系统一旦跑起来，最怕的不是性能不够，而是出问题之后代价太高： 数据丢不丢？流程能不能回滚？换一条链要不要重来？ 这些问题不解决，再好听的叙事也进不了核心流程。 从这个角度看 Vanar Chain，它更像是在压低“用错一次”的代价。 成本好算、行为可追溯、流程可控，意味着哪怕出问题，也有修复空间，而不是推倒重来。 这对 AI Agent 和企业用户来说很现实。 他们不追热点，也不赌运气，只会选择那种出事也扛得住的基础设施。 一旦系统跑顺，切换成本反而会变得越来越高。 这也是 $VANRY 的另一层逻辑。 不是靠一次爆发定输赢，而是随着系统稳定运行，被慢慢锁进真实流程里。 真正的护城河，往往不是你有多快， 而是别人不敢轻易换掉你。 Vanar #Vanar

DD

23,794 Aufrufe • vor 6 Monaten

不会吧不会吧 不会真的有人放着这么可爱的老婆不理 让老婆自己一个人跑去蹦迪玩儿吧？
0:04

Sensitive content

不会吧不会吧 不会真的有人放着这么可爱的老婆不理 让老婆自己一个人跑去蹦迪玩儿吧？

Ashley Mei

27,223 Aufrufe • vor 2 Jahren

其实我一直觉得程序员产出挺好看的 推荐大家去看嗯呢
0:18

其实我一直觉得程序员产出挺好看的 推荐大家去看嗯呢

又发生什么了

22,285 Aufrufe • vor 3 Monaten

像极了我用 AI 做的程序，虽有bug，但能运行就不要管它。
0:17

像极了我用 AI 做的程序，虽有bug，但能运行就不要管它。

Geek

2,225,592 Aufrufe • vor 3 Monaten

啊哈 !! 程序员怎能没有自己的升降桌 看我来 DIY 一个。 一套下来，用了 3年，稳如老狗，成本不到 1800，哈哈哈哈 不是某歌不好用，DIY 更有性价比呀 我这么去小红书发一套组装清单，会有人看么 #小红书创收
0:12

啊哈 !! 程序员怎能没有自己的升降桌 看我来 DIY 一个。 一套下来，用了 3年，稳如老狗，成本不到 1800，哈哈哈哈 不是某歌不好用，DIY 更有性价比呀 我这么去小红书发一套组装清单，会有人看么 #小红书创收

黄赟

63,532 Aufrufe • vor 2 Jahren

自从给 Claude 立了这 65 行规矩，AI 编程就像换了个大脑！ 基于Karpathy 总结的这套 CLAUDE.md 规则，直接让 AI 的编程质量和理解力大幅提升！ 全篇没有一行废话，全是降维打击的硬逻辑： · 先想清楚再动笔，绝不瞎猜 · 极简优先，拒绝过度设计 · 外科手术式改动，只碰该碰的代码 · 定义验证标准，迭代直到完美 下面视频展示了十几秒的安装教程，超级简单！ Cursor / Codex 也同样适用，只需要改一下对应的规则文件～ 地址：
0:12

自从给 Claude 立了这 65 行规矩，AI 编程就像换了个大脑！ 基于Karpathy 总结的这套 CLAUDE.md 规则，直接让 AI 的编程质量和理解力大幅提升！ 全篇没有一行废话，全是降维打击的硬逻辑： · 先想清楚再动笔，绝不瞎猜 · 极简优先，拒绝过度设计 · 外科手术式改动，只碰该碰的代码 · 定义验证标准，迭代直到完美 下面视频展示了十几秒的安装教程，超级简单！ Cursor / Codex 也同样适用，只需要改一下对应的规则文件～ 地址：

爱丽丝呀！

26,060 Aufrufe • vor 3 Monaten