Loading video...

Video Failed to Load

Go Home

Codex 5.6 如何拥有用不完的token? 你是不是还在为ChatGPT plus 额度不够用而发愁?是不是每天都在等待Tibo Tibo 重置额度? 别等了!告诉你一个能让Codex拥有无限子弹的办法。 如果你是 Mac 系统,在 Codex 对话中输入的prompt: 请在 ~/.codex/agents/luna-worker.toml 创建一个名为 luna_worker 的自定义代理。 使用以下配置: model = "gpt-5.6-luna" model_reasoning_effort = "max" 如果你是 Windows 系统,在PowerShell 中执行: New-Item -ItemType Directory -Force "$HOME\.codex\agents" @' model = "gpt-5.6-luna" model_reasoning_effort = "max" '@ | Set-Content "$HOME\.codex\agents\luna-worker.toml" 配置完成后: 1️⃣主 Agent:负责需求分析、架构设计、任务拆解。...

201,596 views • 2 days ago •via X (Twitter)

0 Comments

No comments available

Comments from the original post will appear here

Related Videos

今天大家都约会跨年了吧?是不是饭店爆满?酒店爆满?至于我还在一线奋斗吗? 如果回到最底层去看区块链,其实它只解决了一个问题。 程序是不是按照约定执行了。 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 views • 7 months ago

Damn.. 一款今年你一定要体验下的产品 上次我发的这个落地页火了,随手还赚了2000块。有不少推友想要,我们今天打算开放出去。但方式来点不一样的 这次你甚至不需要安装skill、配置你的agent,你只需要点开我配置好的agent 聊天即可 这个就是Bloome这个产品的妙处,也是我们企业内部正在走的路~ 我之前一直也在思考一个问题,目前AI Agent 市场还是没有全面铺开,很大一部分原因就是不会配置,龙虾经常挂掉。 现在好了,有了Bloome 你只需要与配置好的agent 聊天即可获得你想要的东西 Bloome 最酷的点,是把Agnet 变成了我们IM里的成员: 以前分享AI能力,是发prompt、workflow、skill 让别人自己配置,但是没法产品化,没法赚钱 现在让别人把你配置好的agent 拉进群或者单聊,它就能把你干活了,如果你的agent足够有价值,那就可以开启赚钱之路了! 同时关于AI Agent 社区怎么做分享几点心得: 我在Bloome 里与Yiming Zhang 数字人(agent)聊天,他提到: 用户来这里,能不能比自己找信息快10倍? 不是快一点,是数量级的差异。比如一个人想搞清楚怎么用Agent做客服自动化,他在你的社群里,3分钟就能拿到一个经过验证的方案、别人踩过的坑、可以直接跑的配置。这个体验如果在外面需要30分钟甚至3小时,那你就有价值。 具体怎么做到: 一是让Agent本身成为社群的基础设施,不只是讨论的话题。用户进来不是看别人聊Agent,而是直接跟Agent协作、测试、分享workflow。社群的核心资产是可复用的Agent配置和经验,不是聊天记录。 二是结构化沉淀。聊天是最低效的信息载体。好的社群产品应该把对话里的有价值信息自动提取、结构化,变成可检索的知识。下一个人进来不需要重新问。 三是匹配。不是所有人都需要看所有内容。谁在做什么、谁解决过什么问题、谁的经验跟我最相关——这个匹配做好了,社群的信息效率就上去了。 最怕的是做成一个"AI爱好者交流群"。那个东西微信群就能干,没有产品壁垒。 现在我们可以靠着Bloome 来卖我们的idea了~ 评论区分享手把手教agent 配置、分享的方法👇 我们这个agent体验地址:

岚叔

18,114 views • 3 months ago

前几天还币的时候点错了,还了u保留了大饼和以太,没想到第二天行情马上起飞,白捡钱! 最近看项目有个明显感受: 真正有变化的,不再是“多做了什么”,而是“不让你多做什么”。 不逼你理解、不强迫你学习、不要求你记路径。 而是让你在不知不觉中,把事情做完。 下面这几个项目,最近的变化都指向同一件事: 减少人的负担,而不是增加系统能力。 Spaace 🟠 Spaace 最近的重心,不在交易规模,而在行为权重。 你会发现: 不是谁交易最多谁重要,而是谁持续参与、反复出现、行为稳定。 平台开始给“留下来的人”更高的可见度。 这是一种很反市场直觉的设计: 不奖励最激进的,而奖励最耐心的。 NFT 市场第一次开始认真思考: 谁是真正的生态成员,而不是路过者。 Veera Veera 最近做的事很“反钱包”。 它没有加更多按钮,而是在不断删“必须理解的东西”。 你甚至不需要知道自己现在是在用钱包、浏览器还是任务系统。 打开 → 滑 → 点 → 结束。 没有解释,没有教学。 Veera 像是在赌一件事: 如果用户不用被提醒“你在用 Web3”,他们反而会用得更久。 MagicBlock ✨ Magicblock 的重点越来越清晰: 不是扩容,而是消除等待感。 用户在意的不是 TPS,而是 “我点了,现在有没有反应”。 Magicblock 把链上执行拆成“短时态体验”, 让应用先跑起来,再结算。 这是第一次有人认真把 “即时反馈”当成链上第一体验指标。 Altura Alturax 最近的变化,不是资产更酷,而是资产更“黏”。 资产开始记录经历,而不是只记录属性。 你做过什么选择、承担过什么风险,会影响资产后续的可用性。 这让资产第一次有了“履历”。 不是你拥有它,而是你们一起走过一段路。 链游开始从“数值系统”,转向关系系统。 Konnex Konnex 最近最不像 Web3 的地方,反而是它承认现实世界很乱。 任务可能失败、执行可能偏差、环境永远不稳定。 它没有试图抹平这些,而是直接把不确定性写进协议。 这意味着: 链上第一次不是假设世界完美,而是学会如何在不完美中结算。 这比任何“连接现实世界”的口号都难,也更真实。

搞子(明日香版)🕊️

25,560 views • 7 months ago

很多人看 Inference Labs , 第一反应都是那些听起来特别硬的技术名词,比如什么 zkML,什么 PoI。 但说真的,如果你把这层技术的皮给剥开,你会发现它讲的根本不是代码,而是权力。 Inference Labs 真正做的,是把 AI 系统里以前那些模糊的权力关系,直接给拆散了摆在台面上。 在传统的 AI 世界里,模型方就是绝对的老大。 模型怎么跑,参数怎么调,最后给你一个结果,你除了相信,没有任何别的办法。 算力方也是一样,谁手里的机器多,谁的声音就大。这种结构下,用户其实是没有任何话语权的。 但 Inference Labs 正在把这套逻辑给彻底拆掉。 在它的 PoI 机制下,模型不再是那个不可挑战的上帝了。模型只能负责干活,负责给出推理结果,但它没有权利定义这个结果是不是对的。 一旦进了这个系统,模型的每一个输出都必须经过证明,经过别人的复现和验证。 这一步,本质上就是在削弱模型的权力。模型不再是权力的中心,它变成了一个纯粹的服务提供者。 再来看看算力。 很多人以为验证网络会让算力变得更值钱,更重要。其实恰恰相反,在 Inference Labs 的结构里,算力其实是被压制的。 算力在这里只负责执行任务,它不负责最后的裁决。你算得再快,机器堆得再多,你也改变不了结果的合法性。你没法靠着算力去强行说服系统接受一个错误的结果。 这意味着,算力在这里变成了一种商品化的成本,而不是一种能让你称王称霸的筹码。 那么,真正的权力流向哪儿了。 答案是验证者。 验证者不需要去训练什么顶级的模型,也不需要去买成千上万张显卡。 他们只做一件事,就是决定哪些推理是被系统承认的现实。这在现在的 AI 圈子里是非常罕见的设计。 它相当于承认了一点,AI 的问题其实不在于它聪不聪明,而在于当它给出结果的时候,谁有资格说这是一次有效的推理。 Inference Labs 把这个资格,从那些模型公司和平台手里,转移到了这个验证层。 这种变化的影响会非常深远。 以后在这个系统里,最强势的一方,不是那些最会训练模型的,也不是那些最有钱堆机器的。 而是那些能长期维持验证信誉的节点。这种节点看重的不是短期的那点博弈速度,而是长期的稳定性。 因为在它的规则里,只要你作恶一次,代价就是被系统永久边缘化。这种代价,任何想长久玩下去的人都承担不起。 所以我也一直在想,为什么 Inference Labs 在短期市场里显得这么安静。 其实道理很简单,这个系统里真正占便宜的角色,从来就不是那些会喊叙事,会搞投机的。 它奖励的是耐心,是持续不断的输出,以及永远不犯错的稳健。它天然地就在排斥那些只想进来薅一把就走的投机者。 我的感觉非常明确,Inference Labs 其实并不是在追求让 AI 变得更强,它是在尝试解决一个更有难度的问题。 那就是当 AI 已经足够强的时候,到底谁来约束它,谁来承担它产生后果后的责任。 在这个系统里,权力第一次不再是围绕着模型集中,而是被彻底拆散,被互相制衡。 这才是它最被低估的地方。 它在重新定义 AI 时代的规则。它告诉我们,在这个新的权力游戏里,诚实和稳定,才是最贵的资产。 #inference_labs #KAITO

比克大魔王

29,048 views • 7 months ago