正在加载视频...

视频加载失败

这个网站在这编程界算是个大杀器了 将自然语言转换为程序代码,你只需要描述下你想干的事情,AI 就会帮你生成相应的代码 当然里面有错误,但是你如果有点基础,也就是稍微改改就能用了

65,478 次观看 • 2 年前 •via X (Twitter)

0 条评论

暂无评论

原始帖子的评论将显示在这里

相关视频

用 Codex 加 ChatCut,我终于能用自然语言丝滑剪辑我的视频了! 最近一直在研究这个 ChatCut 的 CodeX 插件 他们在自然语言视频作这个层面,绝对是第一梯队 最牛逼的几个点在于: 1. 全自然语言操控 可以用自然语言操作整个剪辑过程 你不需要去手动操作复杂的剪辑轨道,只需要把你的需求用大白话讲给它,它就会自动去调用工具进行剪辑 2. 剪辑与生成无缝集成 它把视频剪辑和生成功能全部集成到了同一个工具里 如果你在剪辑过程中需要某些素材,它会自动帮你去找,或者直接生成对应的素材 整个体验非常顺畅,效果挺屌的 3. 优秀的可视化交互 这是目前我见过交互体验最好的自然语言剪辑工具 安装好之后,左边是你跟 Codex 对话的区域,右边就是它的整个工作区 你可以实时、可视化地看到 Codex 是如何操作你的视频素材进行剪辑的 更爽的是,你还可以直接在右边的工作区里,对刚刚剪辑的视频进行精细化的微调和修改 这种交互方式真的已经非常接近我理想中自然语言剪辑了 不过他们目前也确实存在一些问题, 比如整体的处理速度还是比较慢,以及 Token 的消耗比较大 这也是现阶段的一个局限性,但我觉得未来一定会越来越好 如果对自然语言视频制作感兴趣的兄弟们,一定要去试一下这个插件! 官网链接如下:

来碗牛肉粉

17,728 次观看 • 1 个月前

现在很多仙人跳都是专门找长得帅的下手了。 其一是长得帅的不那么吃亏,其二是长得帅的没防备。 不像普通人还会想送上门的桃花是不是有问题,长得帅的东一个西一个天天泡妞。 认为女生倒贴也是正常,所以最后中招也是必然,这就像淹死的多是会水的一样。 在酒吧,有个长得挺漂亮的小姑娘来加你v,说你长得挺帅的挺喜欢的。 你想也是正常,毕竟你长得帅,经常有这种送上门的桃花,然后你们聊的也不 错,之后晚上顺其自然就到了酒店。 在酒店你俩正比武的过程中,她突然咬了你一口,把你咬伤了,你很生气推搡她一把,说你有病吧,你干嘛,凭什么咬我? 她说我刚才很兴奋就咬了你一口,然后她从地上爬起来,从兜里拿出一个小瓶子对着空气喷了几下。 你感觉有点刺鼻问这是什么,她说是调情用的,你没多想,接着她说她要下楼买点药,她脑袋有点痛,一会就回来。 于是你就在酒店等,过了一会有人敲门,你出来开门,你发现是几个帽子,帽子说你已经涉嫌qj,要去警局配合调查,你大吃一惊说都是两情相愿,但是帽子不会听你的叙述。 经过检查你身上有伤,同时她身上还有推搡的痕迹,而且她体内还有你的精华,空气中还有防狼喷雾,帽子说这些证据足以证明你qj的行为。

墨鱼(:◎)

40,699 次观看 • 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 次观看 • 7 个月前

极致的利己,才是利他 如果你对别人好的目的是为了让别人对你好,那你直接对自己好不就行了? 干嘛非要绕一圈?你要知道维系所有人与人之间的关系的基础不是情感,也不一定是利益,而是预期价值的博弈。 我很小的时候跟大多数人一样傻白甜,一个相信感情,相信人性本善,相信只要付出付出就有回报。 结果遭遇了现实一次又一次毒打,在经历一些事后,你最终会悟到:如果你一味的忍耐,那最后的结果就是忍无可忍;如果你一味的退让,最后结果注定是退无可退。 你被任何人抛弃都是因为在别人有选择的情况下不再对你的未来的价值抱有任何期待,你已经被人吸干了,看透了。 男女情感是这样,师徒关系是这样,被公司裁员是这样,找有钱的亲戚借钱被拒绝是这样,连子女长大后不再跟你联系也是这样。 只要认定了你今后不会再给我带来更大的利用价值或者情绪价值,你就注定被抛弃。 所以如果有一天你发现你跟某个人的关系突然变了,一点都不奇怪,就是因为你们彼此能提供的价值预期出现了偏差。 不是有那么一句话吗?别人瞧不起你的原因并不一定是你现在不行,而是赌你今后也不行。那这道题怎么解? • 第一,你必须要让自己一天比一天更好,创造被人期待的价值,这才是你命运的齿轮开始转动的象征。 你得把自己看成是一支股票,投资者最看重的不一定是你现在值多少钱,而是你未来值多少钱,这样的股票才能让收益最大化。所以你只要一天比一天更好,那你就对别人产生了预期价值,你的能量势能就像泡沫一样被放大很多倍。 凡事留一手,永远不要被人一眼看透,也不要做任何不计回报的付出,这些都是在降低别人对你的价值期待,让自己变得不值钱。 • 第二,你越是一文不值的时候,社交这件事对你的价值就更加一文不值。 而且你会发现往往在这个阶段所有的感情都会变成你内耗和痛苦的导火索,对你的影响全是负面的。在这个时候去社交,讲感情本质上跟自虐没有任何区别。 但你不去怪别人,因为人家什么都没做错,一切都只能怪自己太无能。 • 第三,人性无善恶,人性的本质是自私,最大的利己就是利他,最大的利他就是利己。所以我要干一件为了利己而利他的事。 很多人一辈子都想不明白这一点,开头我说到的直接对自己好并不是你想干什么就干什么,想买什么就买什么,而是我们时时刻刻都要把所有的注意力放在自己身上,来让自己成为那个拥有选择权的人,而不是一辈子都在被别人选择的那个人。 什么公平,什么正义,这只是社会的明规则,只有在利益博弈中失败的人才会去追求那些东西。 而在这个规则之下的潜规则就是一片充满博弈的残酷的黑暗森林,不是你吃了别人就是别人吃了你,你除了靠自己谁都靠不住。 当我对自己说完了这番话以后,只专注提升自己的价值,直到今天有资格瞧不起我的人,他们反而不会瞧不起我。 而那些没资格瞧不起我的人对我的攻击,我根本就不在乎,你害怕啥? 当来自外界的任何东西都伤害不了你的时候,你就天下无敌。

最爱吃兽奶

20,289 次观看 • 8 个月前