标题: 有佬知道怎么能玩上原神的体验服吗
作者: #yzr
板块: #搞七捻三
编号: 1239439
帖子: https://linux.do/t/topic/1239439
时间: 2025-11-30 20:06:36
摘要:

想玩6.3的月神

标题: Leetcode每日一题 —— 1590. 使数组和能被 P 整除
作者: #魔法师
板块: #开发调优
编号: 1239471
帖子: https://linux.do/t/topic/1239471
时间: 2025-11-30 20:19:42
摘要:

思路
第一反应是前缀和，但是不适用，大概率会超时。但可以通过余数来加速这个过程，先求出总和，减去需要减去的相应余数的最小子数组即可。举个例子示例一：总和10，10%6=4，我只要把前面队列中余数4的子数组去掉即可。
代码
    public int minSubarray(int[] nums, int p) {
        int[] idx = new int[p];
        Arrays.fill(idx, -1);
        int n = nums.length;
        long sum = 0;
        int ans = Integer.MAX_VALUE;
        for (int num : nums) {
            sum += num;
        }
        int add = (int) (sum % p);
        if (add == 0) return 0;
        long pre = 0;
        for (int i = 0; i < n; i++) {
            pre += nums[i];
            int mod = (int) (pre % p);
            idx[mod] = i;
            int l = idx[(mod + p - add) % p];
            if (pre == sum && l < 0 && ans == Integer.MAX_VALUE) return -1;
            if (mod == add || l >= 0) {
                ans = Math.min(ans, i - l);
            }
        }
        return ans;
    }

优化思路
没想到时间不知道有没有问题，但是内存居然超了！！！按理解这个不会吵的，把int改成HashMap试试看。
代码
    public int minSubarray(int[] nums, int p) {
        HashMap<Integer, Integer> idx = new HashMap<>();
        int n = nums.length;
        long sum = 0;
        int ans = Integer.MAX_VALUE;
        for (int num : nums) {
            sum += num;
        }
        int add = (int) (sum % p);
        if (add == 0) return 0;
        long pre = 0;
        for (int i = 0; i < n; i++) {
            pre += nums[i];
            int mod = (int) (pre % p);
            idx.put(mod, i);
            int l = idx.getOrDefault((mod + p - add) % p, -1);
            if (pre == sum && l < 0 && ans == Integer.MAX_VALUE) return -1;
            if (mod == add || l >= 0) {
                ans = Math.min(ans, i - l);
            }
        }
        return ans;
    }

后记
过了，速度还不错，不过还是对第一次提交内存超了这个事有点难以理解。

标题: 人类知识传承太低效了,同一个物种,有人在思考量子力学,有人还搞不懂因式分解
作者: #啊天
板块: #搞七捻三
编号: 1239479
帖子: https://linux.do/t/topic/1239479
时间: 2025-11-30 20:22:43
摘要:

看到站里面的年轻佬友还在沉迷于一些手机游戏有感
你会嫌弃小时候学不懂某个概念的自己吗

标题: 现代开发模式的思考
作者: #Pleasure1234
板块: #搞七捻三
编号: 1239480
帖子: https://linux.do/t/topic/1239480
时间: 2025-11-30 20:23:40
摘要:

现在前端SDK+后端服务高度封装的开发模式（比如 better-auth supabase etc.）在中小型项目中非常的受欢迎
对AI友好的同时也能让MVP启动和完工的速度变得异常迅速
但正是这种便捷总会给人产生一种 全栈也不是很难 成品分分钟就能搞定 的错觉
毕竟企业级项目后端还要考虑各种安全权限策略和敏感业务逻辑

标题: 苦涩的一课【个人观点分享】
作者: #叁月柒
板块: #搞七捻三
编号: 1239482
帖子: https://linux.do/t/topic/1239482
时间: 2025-11-30 20:23:59
摘要:

“苦涩的一课”(The Bitter Lesson)这个标题源自于加拿大计算机科学家理查德·S.萨顿(Richard S. Sutton)在2019年3月13日发表的一篇Blog上。萨顿一般被认为是现代计算机强化学习领域的奠基人，对强化学习领域有着莫大的贡献，包括时序差分学习和策略梯度算法等。在2014年，他与安德鲁·巴托共同获得图灵奖。
在2019年3月的这篇博客中，萨顿的核心思想是从长达70年的人工智能发展历史中，利用计算的通用方法是最有效的，在多个领域这一点都得到了证明。与此相对的是，很多的研究致力于将人类的思维逻辑提炼为机器逻辑，并强加在机器智能代理上。虽然这种方法可能在计算能力固定的短暂时间内能取得令人欣慰的效果，但从长远来看，唯一重要的仍是利用计算。一方面，摩尔定律的存在，使得算力的飞速提升存在着可能；另一方面，研究人员的精力和时间有限，投资于一种方法的时间势必会占据投资于另一种方法的时间。因此，本不冲突的两种解决方案产生的抵触，而且从历史经验来看，基于规则的方法在一定程度上阻碍了人工智能的发展。人的思维复杂到难以想象，试图于将其提炼为规则的集合并强加于代理身上的行为是不理智的，甚至可以说是错误。我们应该做的是在代理内内置能发现和捕捉这种任意复杂性的元方法。这篇博客的内容看似有些偏激，但其中的观点却在人工智能的历史中处处得到了印证，并且这种印证正在发生在我们每个人的身边。
1997年，基于大规模深度搜索的方法让计算机在国际象棋领域击败了世界冠军卡斯帕罗夫。这一结果让当时的大多数国际象棋研究人员都十分不解，因为他们一直在追求利用人类对国际象棋结构的特殊理解去训练代理。他们认为“蛮力搜索可能赢了这一次，但这并不是通用的方法，因为人类并不是这样下棋的”。在机器围棋领域，同样的情况再次出现，不过是在近二十年后的2016年，Google的AlphaGo以4:1的比分战胜了人类围棋冠军李世石，这一次人工智能的胜利依然是基于大规模的深度搜索，即蒙特卡洛树搜索。这些案例都证明，在利用人类知识或游戏的特殊结构来避免搜索方面，我们最初付出了巨大的努力，但一旦搜索大规模有效应用，所有过往的努力都被证明是徒劳无功。
萨顿在2019年写这篇博客时，举例子时尚需寻找一些特定领域。而站在2025年末的今天，我们回头看这几年AI的发展，基于计算的通用方法优于基于规则的传统方法似乎已经成为了不争的事实。2022年11月30日，本是年底平平无奇的一天，却因为一个名叫ChatGPT的聊天软件的横空出世而变得意义非凡。ChatGPT是什么，已经不用再过多介绍，因为经过短短三年，各种AI模型井喷式出现，Google、Amazon大厂纷纷入局，Anthropic等新锐企业也已经成长为行业巨头，国内的各种大模型也是数不胜数。文生文、文生图、文生视频等各种各样的大模型已经成为未来数十年的基础设施，走进每一个人的视野当中。从模型多样性来看，LLM、VLM、VLA一系列基于大量数据以Transformer为主的各类模型层出不穷；从模型应用领域来看，大模型早已不在局限于聊天，而是在代码生成、医学、传媒、城市规划等诸多领域遍地开花。这样前所未有的人工智能发展盛况，不仅是scaling-law法则的有力验证，更是对基于计算的通用方法有效性的最佳诠释。倘若萨顿这篇博客再晚几年发表，也就不用再大篇论述能证明自己观点的案例，因为这一苦涩的教训已经足够深入人心。
正如萨顿所说，虽然很多领域已经证明了错误，但我们仍然在继续犯着同样的错误，并没有吸取教训。我最近在进行具身智能方向的研究，尽管是一个刚刚兴起的方向，但其中好像又出现了错误重演的趋势。具身智能机器人是不是应该做成人形？乍一听这个问题似乎有些拗口，但这也正是问题的矛盾所在。在具身智能概念兴起之前，纯机器人界似乎就有着这一争辩，只是在机器人和人工智能深度融合之后，这一问题便可以和人工智能中规则与计算之争联系起来。支持机器人需要做成人形的可以看作是规则一派，那么支持机器人可以是任何形态，无需做成人形的就代表计算一派。前者试图将人类的构造、行为方式迁移到机器人代理身上，而后者则是不关注具体的结构，而是试图将一种可学习的通用学习框架赋予机器人，让它们能够变换成任意适应任务环境的形态，并使用同一种学习行为范式进行行动。
人形具身机器人的代表是一些传统机器人厂家的产品，例如宇树、波士顿动力，以及一些机械技术较为先进的独立公司，如小鹏、小米等。非人形阵营的代表有亚马逊、极智嘉、优傲等。当然也有些“骑墙派”，比如波士顿动力。当前市面上的现象是，人形机器人占据了90%的媒体头条，但非人形机器人赚走了90%的实际利润。这一现象深刻体现出两种流派核心思想的巨大差异，人形机器人本质是理想主义，非人形机器人则是实用主义。然而，人形机器人却获得了资本的热捧，让大众认为不是人形的机器人就不配叫智能。在我看来，这是萨顿提出的“规则”流派错误的一次复演，并且是一次耗费巨大资源、人力，影响非常之大的一次“重蹈覆辙”。
如果剥去科幻滤镜，从工程落地和商业发展的视角来看，强行把机器人做成人形，往往是在跟物理学和经济规律对着干。人形的具身机器人是一种对具身机器人的过度定义，要求机器人在极其受限的形态下完成任务。首先是从能效的角度分析，人类的身体是生物进化的奇迹，肌肉能量密度极高且代谢高效，而机器人只能用电机和电池进行拙劣的模仿。由于双足行走在物理上是“倒立摆”模型，因此机器人需要消耗大量能量来维持身体姿态，这导致其能量利用率极低，续航极短且载重自重比远低于轮式机器人的问题。从控制的角度看，人形机器人需要有40+个自由度，相比之下轮式机械臂机器人只有6-7个自由度。自由度的倍数增长带来的是简单如行走、抓取这样简单的任务也需要高效、低延迟的计算去协调全身的电机，带来了极大的算力浪费。从成本的角度，做成人形的机器人需要昂贵的谐波减速器、力矩电机和液压系统，成本高昂。此外，越复杂的结构意味着越脆弱，摔倒是人形机器人的常态，而每一次摔倒都可能意味着精密传感器的损坏和昂贵的维修费用。
非人形机器人放弃人形设计，意味着解开了物理束缚，也遵循了“形式追随功能”这一工业设计的黄金法则。当机器人将双腿替换为滚轮或履带的时候，它们便不需要复杂的算法来维持站立，断电也不会摔倒，为上层规划和感知释放大量算力的同时，还有着平地上无可比拟的能效比与运动能力。双手也可以替换为特定场景下的工具。例如简单的拧螺丝任务，机器人的双手替换为螺丝刀后，便不再需要模仿人类进行一系列复杂的抓握、对准、旋转任务，这样的精度和速度能够快上几个数量级。另一方面，当把机器人身上的部件替换成现有的工业产品后，不仅能够大幅降低成本，提升稳定性和可靠性，还能让机器人更多地突破人类的极限。例如，机器人并不需要固定为两只手，而是可以三只、四只甚至更多，能同时并行完成多个任务；摄像头也不是一定要装在头上，可以装在后面，也可以360°无死角观测。这些突破在很多场景下是人类所无法完成的。
由两种机器人的对比可见，非人形机器人拥有非常多的优势，但它们依然被很多人冠以“不够多能”的标签。相比之下，拥有大量通用组件的人形机器人却能得到90%的关注和大量的投资。我们抛却一些炫技和资本运作的成分去分析这一现象，那就是赤裸裸的“错误”，是我们前文中提到的苦涩的教训。不过人们并没有对这一错误避而不及，反倒是在具身智能领域展现出了一些趋之若鹜的意思。当然，在2025年，我们分析问题也不能绝对地从问题本身去看，一个行业的发展和兴起离不开资本的涌入、公众的关注和政府的站台。人形机器人天然满足了大众对机器人的“最终幻想”，为机器人领域的发展博得了大量资本，也获得了政府部门的认可，其存在在当下社会是有其合理性和必要性的。
在这篇文章中，我从萨顿“苦涩的一课”这篇博客出发，介绍了萨顿对人工智能“规则”与“计算”两个流派的看法，然后以近两年热火朝天的生成式大模型对“计算”流派的印证为出发点，引入我对当前具身智能领域“人形”与“非人形”之争的一些见解。分析该问题不是为了贬低谁，也并非为了批判与否定别人的研究成果，只是希望更多的人在这个信息洪流时代可以透过表象看一些问题，去做出更加理性的抉择。具身智能如此，人工智能如此，其他领域亦如此。

标题: 买笔记本内存有感
作者: #lulu
板块: #搞七捻三
编号: 1239516
帖子: https://linux.do/t/topic/1239516
时间: 2025-11-30 20:38:17
摘要:

因为急需内存，不得不在刷了几天的内存条
感受就是大家都在疯狂出手 然后价格波动很大
同样规格的笔记本8g内存，有人卖 200，有人卖 250，甚至有人狮子大开口卖 300 多 
还有一堆听都没听说过的国产杂牌也敢卖 200 多
同时还有一堆脚本在抢，好几个我手动刷新 1 秒前刚发布的 价格不错的我点进去就已经被拍下了，后来问了几个卖家也证实了是脚本抢的，据我观察脚本也挺智能的，你要是标题写了什么三星之类的他们就抢，要是什么杂牌的他们就不抢 （挺气的 因为看到好几个价格还可以的 都被秒抢了 ）
笔记本内存比台式内存贵一些 不过笔记本内存能转接到台式机上（买个转接卡
spoiler

标题: 也是終於被認可了
作者: #Dennis911
板块: #搞七捻三
编号: 1239520
帖子: https://linux.do/t/topic/1239520
时间: 2025-11-30 20:40:58
摘要:

已經到達來到L站200多天了
終於被認可了