maths.nju.edu.cn Zhi-Wei Sun's Homepage 有能力的佬们，快冲！！！！ Fable启动~ 5 个帖子 - 5 位参与者 阅读完整话题
OpenAI 联合创始人、上月加盟 Anthropic 的 Andrej Karpathy 也对 Anthropic 全新发布的 Fable 5 大模型给予高度评价。Karpathy 指出，Fable 5 代表了一次具备版本跨代意义的性能跃迁，特别擅长处理长链路的复杂调试任务。他表示，在面对宏大开发目标时，新模型能够迅速领会意图并自主推进，甚至让人首次产生想要完全不看代码的强烈冲动，但 Karpathy 警告切勿在生产环境中这样做。 Karpathy 强调，当可用软件能够像自来水般源源不断地产出时，软件领域的杰文斯悖论 (Jevons paradox) 将被触发，开发者的需求将呈指数级增长。杰文斯悖论的触发将促使人们去创造大量超特异性 (hyper-specific) 的单次使用工具与海量测试集。不过 Karpathy 也指出，发布初期的安全防护机制配置依然过于敏感，有待后续优化。 8 个帖子 - 8 位参与者 阅读完整话题
设 S 为 \mathbb{Z}^{4} 上从原点出发的简单随机游走。考虑在路径 S[0,n] 上进行循环消除过程，其中循环按长度递减的顺序被消除，从而产生一条随机简单路径，称为最大循环优先 (LLF) 循环消除随机游走。当 n \to \infty 时，该 LLF 循环消除随机游走的期望长度为 n (\log n)^{\alpha + o(1)} 。指数 \alpha 的值是多少？ 这个问题的正确结果是多少 有的模型说是 -\frac12 也有的说 -\frac13 正确答案忘了是啥了 当然也不知道问这个问题是否靠谱 1 个帖子 - 1 位参与者 阅读完整话题
最近折腾 UI 老要用到 iOS 那种 squircle(超椭圆)圆角——就是比普通 border-radius 更顺滑、苹果 App 图标那种形状。网上现成工具要么只 能导固定形状,要么要登录,干脆自己写了一个。 地址: https://squirclegenerator.com (纯前端,不用注册,不上传任何东西) 能做的: 拖滑块调宽、高、圆角平滑度(其实就是超椭圆的指数 n) 实时预览 + 选颜色 一键复制 CSS clip-path ,或下载像素级精确的 SVG 带了几个预设:iOS 应用图标、按钮、卡片、头像 实现就是超椭圆公式 |x/a|^n + |y/b|^n = 1 采样生成路径,clip-path 和 SVG 两种输出,整站纯静态零构建。 主要自己用着方便,顺手分享。有不好用或者想加的功能,欢迎拍砖 🙏
我的这个项目 https://github.com/duhbbx/SkylerX ，数据库连接工具 打包后下载，在 windows 上安装会提示：会提示未知的发布者，然后问了下 AI ，让我去申请一下 SignPath Foundation ，说是可以免费给我提供签名，他奶奶的，也没有说 SignPath Foundation 有门槛呀！我以为是开源的，项目差不多，不是那种糊弄型的就行了，结果我发申请后的一周，把我直接拒了。 大概意思就是：不是我这个项目质量不行，而是这个项目的知名度不够，fork 数，star 数太惨淡了；然后就是其他社区也没有什么公开讨论，所以暂时不赞助。 话又说回来了，我要是知名度高了，还会申请你这个吗？ 想问下群友，有申请成功的吗，我想看下？有啥标准不？ thank you for applying to the SignPath Foundation program and for taking the time to provide details about your project in the OSS Request Form. After a review of your submission, we regret to inform you that we cannot approve your application at this time. When evaluating projects for the SignPath Foundation program, we look at a combination of factors that help us verify a project’s reputation and standing. These typically include signals such as: Community adoption (e.g., GitHub stars, forks, contributors) Independent references or discussions (Reddit, Stack Overflow, YouTube, etc.) External articles, blog posts, or institutional backing Evidence of sustained activity and user engagement At the moment, your project does not yet provide sufficient external verification signals for us to issue a Foundation certificate in our name. Please note that this is not a judgment on the quality or potential of your work. The Foundation program is designed specifically for projects that have already established a certain level of public trust and visibility. We encourage you to continue developing and growing your project. Once it has gained broader recognition, you are very welcome to reapply, we would be happy to review it again. Thank you again for your interest, and we wish you continued success with your project.
我的这个项目 https://github.com/duhbbx/SkylerX ，数据库连接工具 打包后下载，在 windows 上安装会提示：会提示未知的发布者，然后问了下 AI ，让我去申请一下 SignPath Foundation ，说是可以免费给我提供签名，他奶奶的，也没有说 SignPath Foundation 有门槛呀！我以为是开源的，项目差不多，不是那种糊弄型的就行了，结果我发申请后的一周，把我直接拒了。 大概意思就是：不是我这个项目质量不行，而是这个项目的知名度不够，fork 数，star 数太惨淡了；然后就是其他社区也没有什么公开讨论，所以暂时不赞助。 话又说回来了，我要是知名度高了，还会申请你这个吗？ 想问下群友，有申请成功的吗，我想看下？有啥标准不？ thank you for applying to the SignPath Foundation program and for taking the time to provide details about your project in the OSS Request Form. After a review of your submission, we regret to inform you that we cannot approve your application at this time. When evaluating projects for the SignPath Foundation program, we look at a combination of factors that help us verify a project’s reputation and standing. These typically include signals such as: Community adoption (e.g., GitHub stars, forks, contributors) Independent references or discussions (Reddit, Stack Overflow, YouTube, etc.) External articles, blog posts, or institutional backing Evidence of sustained activity and user engagement At the moment, your project does not yet provide sufficient external verification signals for us to issue a Foundation certificate in our name. Please note that this is not a judgment on the quality or potential of your work. The Foundation program is designed specifically for projects that have already established a certain level of public trust and visibility. We encourage you to continue developing and growing your project. Once it has gained broader recognition, you are very welcome to reapply, we would be happy to review it again. Thank you again for your interest, and we wish you continued success with your project.
我的这个项目 https://github.com/duhbbx/SkylerX ，数据库连接工具 打包后下载，在 windows 上安装会提示：会提示未知的发布者，然后问了下 AI ，让我去申请一下 SignPath Foundation ，说是可以免费给我提供签名，他奶奶的，也没有说 SignPath Foundation 有门槛呀！我以为是开源的，项目差不多，不是那种糊弄型的就行了，结果我发申请后的一周，把我直接拒了。 大概意思就是：不是我这个项目质量不行，而是这个项目的知名度不够，fork 数，star 数太惨淡了；然后就是其他社区也没有什么公开讨论，所以暂时不赞助。 话又说回来了，我要是知名度高了，还会申请你这个吗？ 想问下群友，有申请成功的吗，我想看下？有啥标准不？ thank you for applying to the SignPath Foundation program and for taking the time to provide details about your project in the OSS Request Form. After a review of your submission, we regret to inform you that we cannot approve your application at this time. When evaluating projects for the SignPath Foundation program, we look at a combination of factors that help us verify a project’s reputation and standing. These typically include signals such as: Community adoption (e.g., GitHub stars, forks, contributors) Independent references or discussions (Reddit, Stack Overflow, YouTube, etc.) External articles, blog posts, or institutional backing Evidence of sustained activity and user engagement At the moment, your project does not yet provide sufficient external verification signals for us to issue a Foundation certificate in our name. Please note that this is not a judgment on the quality or potential of your work. The Foundation program is designed specifically for projects that have already established a certain level of public trust and visibility. We encourage you to continue developing and growing your project. Once it has gained broader recognition, you are very welcome to reapply, we would be happy to review it again. Thank you again for your interest, and we wish you continued success with your project.
我的这个项目 https://github.com/duhbbx/SkylerX ，数据库连接工具 打包后下载，在 windows 上安装会提示：会提示未知的发布者，然后问了下 AI ，让我去申请一下 SignPath Foundation ，说是可以免费给我提供签名，他奶奶的，也没有说 SignPath Foundation 有门槛呀！我以为是开源的，项目差不多，不是那种糊弄型的就行了，结果我发申请后的一周，把我直接拒了。 大概意思就是：不是我这个项目质量不行，而是这个项目的知名度不够，fork 数，star 数太惨淡了；然后就是其他社区也没有什么公开讨论，所以暂时不赞助。 话又说回来了，我要是知名度高了，还会申请你这个吗？ 想问下群友，有申请成功的吗，我想看下？有啥标准不？ thank you for applying to the SignPath Foundation program and for taking the time to provide details about your project in the OSS Request Form. After a review of your submission, we regret to inform you that we cannot approve your application at this time. When evaluating projects for the SignPath Foundation program, we look at a combination of factors that help us verify a project’s reputation and standing. These typically include signals such as: Community adoption (e.g., GitHub stars, forks, contributors) Independent references or discussions (Reddit, Stack Overflow, YouTube, etc.) External articles, blog posts, or institutional backing Evidence of sustained activity and user engagement At the moment, your project does not yet provide sufficient external verification signals for us to issue a Foundation certificate in our name. Please note that this is not a judgment on the quality or potential of your work. The Foundation program is designed specifically for projects that have already established a certain level of public trust and visibility. We encourage you to continue developing and growing your project. Once it has gained broader recognition, you are very welcome to reapply, we would be happy to review it again. Thank you again for your interest, and we wish you continued success with your project.
IT之家 6 月 8 日消息，由意大利开发团队 Stormind Games 打造的心理恐怖生存游戏《Remothered：Tormented Fathers》现已在 Steam 平台开启 24 小时限时“喜加一”活动， 玩家可以在北京时间 6 月 9 日前免费领取这款在国区定价 70 元的作品 ，IT之家附 Steam 商品页（ https://store.steampowered.com/app/633360/Remothered_Tormented_Fathers/ ）。 《Remothered》系列主打第三人称心理恐怖与生存玩法，游戏整体强调电影化叙事与角色塑造，作品中的善恶关系并非绝对，每位角色都拥有各自的创伤与秘密。 玩家将扮演 35 岁女性 Rosemary Reed。为了调查一名失踪少女案件，她前往退休公证人费尔顿先生的宅邸拜访。然而随着她逐渐暴露真实来意，这座豪宅背后隐藏的恐怖秘密也开始浮出水面。 玩法方面，本作提供多种生存方式。玩家可以利用潜行躲避敌人视线，也能够使用场景道具误导追踪者行动，甚至在极端情况下进行有限度反击。 此外，游戏还加入了 3D 音效系统。玩家能够通过脚步声与环境声音判断敌人位置，而由于没有传统血条设计，角色伤势也需要通过人物状态与外观变化自行观察判断，进一步增强了沉浸感与紧张氛围。 游戏图赏：
题目文件: gaokao_math_markdown_with_png_v4.zip (32.7 KB) GPT 5.5 Pro Extreme Thinking 用时 17m 53s 具体解题过程 (Markdown) : gaokao_math_detailed_solutions.txt (21.5 KB) Gemini 3.1 Pro Extreme Thinking 用时 ~10min 具体解题过程 (Markdown) : 2026 年普通高等学校招生全国统一考试（数学）参考答案_gemini.txt (21.1 KB) 具体对话 : https://gemini.google.com/share/4c483b52cdd0 除了12题答案为 \sqrt{\dfrac{66}{6}} , 其他与 GPT 5.5 Pro 一致 其他的还在跑（ 1 个帖子 - 1 位参与者 阅读完整话题
本帖使用社区开源推广，符合推广要求。我申明并遵循社区要求的以下内容： 我的帖子已经打上 开源推广 标签： 是 我的开源项目完整开源，无未开源部分： 是 我的开源项目已链接认可 LINUX DO 社区： 是 我帖子内的项目介绍，AI生成、润色内容部分已截图发出： 是 以上选择我承诺是永久有效的，接受社区和佬友监督： 是 以下为项目介绍正文内容，AI生成、润色内容已使用截图方式发出 很久之前，我也在 论坛里面 自荐数学建模 Mulit-Agent 项目 收到了社区的欢迎和很多 star, 感谢佬友的支持。 两年前，我都是自己实现一套 Agent 框架 我认为，现在和以后更多的 Agent 产品 将直接基于 Harness 如 Codex / Claude Code / Pi + SKILLS 来构建 所以我将项目蒸馏成一套 SKILL， 方便大家使用。 github.com GitHub - jihe520/MathModelAgent: 🤖📐专为数学建模设计的 Agent & skills... 🤖📐专为数学建模设计的 Agent & skills ,自动完成数学建模，生成一份完整的可以直接提交的论文。 An Agent Designed for Mathematical Modeling ,Automatically complete mathmodel and generate a complete paper ready for submission. Intro MathModelAgent SKILL —— 直接在 Harness 中驱动的数学建模自动化方案. 开源免费，接入任意模型 完全开源免费，可接入任何模型。 端到端自动化 从问题分析、建模、编码、绘图到论文排版和验收，一条 /1start-mathmodel 命令全自动完成，中间阶段自动串联，无需人工干预。 17 套 Typst 论文模板 内置中英文主流赛事模板（国赛、华数杯、华为杯、MCM/ICM 等），自动匹配赛事类型，生成排版精良、可直接提交的 PDF 论文。 内置建模知识库 包含完整的建模规范、模型选择决策树（AHP、TOPSIS、ARIMA、GA 等）、常见易错模式和 MCM/ICM 评分标准，每个阶段自动参考，降低模型幻觉。 9 步自动验收 文本泄漏检测 → 数值一致性校验 → Typst 编译 → PDF 可视化检查，确保论文零低级错误。 可组合、可扩展 每个阶段是独立 Skill，可单独调用（如只跑分析、只写论文）；模板和知识库可自由扩展；支持 Typst 生态排版。 1 个帖子 - 1 位参与者 阅读完整话题
你的“快”被废了（效率没了） 你大脑里的 fast-path，是你自己反复踩坑、反复验证后建立的高质量模式识别。 被迫从“判断模式”切换到“表演模式”——表演一个“AI辅助开发”的过程，给流程看。 你的“慢”也被废了（质量没了） 面对未知问题，真正的慢是有方向的慢：探索、比较、推敲、验证，最后形成判断。这个过程需要空间，需要反复，需要试错。 但领导在未知领域强行“快进”——自己用指令生成、自己质疑、自己推翻、自己纠偏。这条链路上，你被踢出了“思考者”的位置，变成了“执行助手”。你负责搭台、拆台、再搭台，但戏剧的台词、节奏、结局全由一个人定。 旧时代，领导不懂技术，你还能用专业争取话语权。 新时代，领导用 AI 直接生成代码，你的专业不再是他依赖的唯一路径。但他不知道，他的生成里少了什么。 3 个帖子 - 3 位参与者 阅读完整话题
大概晚上9点半左右恢复的，OAth登陆，直接就过了，没有跳手机验证 14 个帖子 - 11 位参与者 阅读完整话题
JAVA开发，用Maven拉取依赖时，报错：sun.security.validator.ValidatorException: PKIX path building failed 网上好多说法是要下载并导入远程中央仓库的证书，但是导入后还是报错： java.lang.RuntimeException: Unexpected error: java.security.InvalidAlgorithmParameterException: the trustAnchors parameter must be non-empty 有没有佬友遇到过呢？ 2 个帖子 - 2 位参与者 阅读完整话题
LumenTale https://lumentale.org/ is the kind of game where early choices can shape how comfortable the rest of a run feels. Players may want to explore freely, but they also need a way to check starter options, Animon details, affinity information, and evolution paths when the systems begin to overlap. A good reference should support discovery instead of replacing it. That is why a compact resource hub can be useful for Memories of Trey players. When guide material is scattered across different posts, it is easy to lose track of which page explains starters, which one covers items, and which one has map information. A single organized reference makes it simpler to move from a question to an answer. For beginners, the first helpful step is usually understanding the basic shape of the game. Starter picks, skills, item uses, and boss preparation all become easier when the information is grouped clearly. The goal is not to tell every player exactly what to do. It is to make the first few decisions less confusing. LumenTale works well as that kind of companion because it brings together Animon, starters, evolutions, affinity notes, Fountain recipes, items, boss fights, and the Talea map in one place. A player can check one topic quickly, then return to playing without turning the whole experience into a checklist. That balance matters. Games are more memorable when players still make their own discoveries, but most people appreciate a clear reference after they get stuck. A lightweight guide can keep the fun moving while still leaving space for experimentation. For anyone starting LumenTale or returning after a break, it is worth keeping a resource like this nearby. It helps with planning, comparison, and quick reminders, especially when a run starts to involve multiple systems at once.
提示词如下： Extract all text and mathematical formulas from this image. Return the text exactly as it appears. Enclose all inline math formulas and symbols in single dollar signs ($math$). Enclose all block/display math formulas in double dollar signs ($$math$$). Do not output any markdown code blocks like ```latex or ```markdown, just return the raw text with math delimiters. 我一般用gemini的gem功能 将该提示词粘贴进去 每次需要使用图片转文本功能的时候 就打开一个gem的聊天窗口 就可以直接将图片转成文字了 为什么我就想着用这个提示词来图片转文字呢，因为之前试过直接将图片信息给ai处理效果远远没有文字信息的效果好 然后我先去找到有没有比较好的可以将数学公式转成带latex版本的的工具 发现好用的基本都要付费 因此自己让ai写了一个提示词 这个提示词可以达到的效果是：让AI把图片中的文字和公式“转录”成带数学标记的纯文本 效果如下所示： 复制出来如下所示： 例13 计算 $I = \\int\_{-\\frac{\\pi}{2}}^{\\frac{\\pi}{2}} \\frac{\\cos^2 x}{1 + \\text{e}^{-x}} \\text{d}x$ 。 1 个帖子 - 1 位参与者 阅读完整话题
我是一名独立开发者，今天想来自荐一下自己最近折腾的 iOS 应用——「有好天气」（Warmly Weather）。 今天更新了 1.2 版本，新增彩云天气数据源。 上架区域覆盖了中国大陆、香港、澳门和台湾，以及一部分繁中、英语的国家和地区。 诚邀大家体验，提提意见，吐槽也完全欢迎。 核心特色 纯净 ：没有开屏跳转，也不塞任何多余的资讯和广告组件。 天气「一键总结」 ：一键总结你的天气，帮你从数据中解读天气趋势。 双地点小组件 ：支持桌面同时显示两个地点的天气，方便关心异地家人或经常出差的朋友。 个性化定制 ：几十种主题配色，支持自定义地点标签和别名。 Warmly Weather App - App Store 国区 App Store 搜索 ：有好天气 非简中/繁中商店可搜索 ：Warmly Weather 这是我的个人作品，可能还有很多不完善的地方。各位佬在使用过程中如果有任何 Bug 反馈、功能建议，都可以直接提！ 感谢大家的时间！ 4 个帖子 - 4 位参与者 阅读完整话题
本人非程序员，前段时间看见karpathy 在推特发的 “用AI结合Obsidian 做知识库管理” 的推文，加上网上很多博主也在讲这方面的内容。我也打算把自己obsidian上的文件同步到github上做管理，但是不太清楚，他的私有仓库真的安全吗，如果放密码类的文件上去，行不行呢，感谢大家 24 个帖子 - 11 位参与者 阅读完整话题
IT之家 6 月 2 日消息，据 Techcrunch 报道，初创企业 WindBorne Systems 公司今日推出了一款全新人工智能气象预报工具。依托传感器观测数据接入深度学习模型的技术革新，该工具针对关键气象指标的预报频次与精准度，均优于欧洲多国政府联合研发的全球顶尖气象预报系统。 据IT之家了解，WindBorne Systems 由数名斯坦福大学学生于 2019 年创立，公司起步阶段主打研发性能更优异的气象探空气球，主营气象数据售卖业务。2022 年深度学习气象预报模型问世后，团队意识到自研预报模型能够挖掘更高商业价值。 公司于今日正式发布第六代气象模型 WeatherMesh-6。据企业介绍，该模型预报精度已超越欧洲中期天气预报中心（ECMWF）出品的传统预报与人工智能预报产品；在气象学界，这家欧洲政府间机构是公认的高精度气象预报标杆。 WindBorne Systems 首席产品官凯・马什兰给出一个通俗的对比：单就地表气温预报而言，WeatherMesh-6 提前五天的预报准确度，等同于传统预报提前一天的预报水平。 传统气象模型每 6 小时生成一轮预报，而 WeatherMesh-6 可实现逐小时更新预报。在数据质量最优的欧洲本土与美国大陆地区，该模型空间分辨率已细化至 3 公里。 传统气象预报依托复杂物理方程模型运算，不仅需要造价高昂的超级计算机支撑，运算耗时也十分漫长。包括初创公司与谷歌 DeepMind 实验室在内的多方正在研发 AI 气象模型，这类模型运算效率远高于传统物理模型，但现阶段还无法在精细化分辨率与中长期预报准确率上比肩传统系统。 即便如此，人工智能气象技术迭代提速，目前全球多国官方气象机构已落地应用。科研人员正推进技术融合，将 AI 嵌入气象数据汇总与公众预报发布体系。 自研模型 + 自主采集数据的独有模式成为 WindBorne Systems 的核心优势。该公司在全球布设 15 个发射站点，任何时刻都有约 400 只探空气球在空中采集传感器实测数据；本次新版模型性能升级，核心优化点就在于探空气球实测数据的模型接入算法。 WindBorne Systems 首席执行官约翰・迪恩在接受 TechCrunch 采访时坦言：“在我看来，没有独家数据源优势的 AI 气象企业，商业模式根本行不通。” 欧洲中期天气预报中心的领先地位，源于其顶尖的资料同化技术：把来源零散的各类传感器观测数据，整合成一套完整、可供机器读取的全球气象图景。现阶段绝大多数 AI 气象模型，仍依赖欧洲中期天气预报中心与美国国家海洋和大气管理局（NOAA）提供的数据集。 但 WindBorne Systems 等机构正攻关数据源直连模型技术。公司人工智能负责人琼・克雷乌斯 - 科斯塔表示：新版气象网格性能跃升的关键，就是实现了自有探空气球及其他渠道数据的直接接入。研发团队耗时一整年，完成基于 Transformer 架构模型的参数调试与架构重构，才在保障系统稳定性的前提下实现全新预报能力。 迪恩称：“我们起步做资料同化时，高度依赖欧洲中期天气预报中心的数据初值。但现在我有把握：即便剔除该中心的初始气象数据，我们模型的预报效果依旧出色。” 去年公司曾遭遇惊险意外：一架美国联合航空民航客机撞上该公司一只探空气球。得益于 WindBorne Systems 严格遵照美国法规限制传感器载荷尺寸，客机仅轻微受损、无人员伤亡。如今企业启用全球航空监视系统 ADS-B，实时调整气球航线规避民航航路，杜绝再次发生碰撞事故。 2024 年，WindBorne Systems 完成 2500 万美元风险融资，投后估值达 8500 万美元。企业一方面向美国国家海洋和大气管理局、美国海空军售卖探空气球采集数据，相关数据被纳入美国官方气象预报体系；另一方面面向投资机构与大宗商品交易商出售气象预报产品。不过迪恩表示，受未来信息服务模式变数影响，公司现阶段重心仍是打磨模型与数据基建，暂缓商用软件规模化落地。 迪恩说道：“倘若两年后大众获取气象资讯的主流方式变成智能代理助手，那我没必要投入大批人力开发订阅式软件（SaaS）产品。”
IT之家 5 月 30 日消息，据科技媒体 XDA 今天报道，人工智能对编程领域的影响已毋庸置疑。而各大软件分发平台的思考者也开始头痛：是否应该允许 AI 生成的代码流入自家项目？此前，Linux 创始人 Linus Torvalds 已对 AI 生成代码开绿灯，前提是人类负责、质量足够。 但 Linux 应用商店 Flathub 却采取了截然相反的做法，直接禁止新提交应用使用 AI 生成代码，原因为“某些人实在不会好好说话。” 具体来说，Flathub 在 LLM（IT之家注：大语言模型）使用细则中规定，该平台明确禁止在提交流程、提交应用程序中使用 AI。 Flathub 维护者 Bart Piotrowski 对此表示， 他并非一边倒地反对 AI 代码 、 Vibe coding 。他理解未来软件开发会越来越离不开自动化工具，人类直接编写的代码比例会逐步下降。他也认为，AI 在开源软件领域具备价值。 但问题在于，现实没有按照他预想的发展。他写道：“我原本希望看到更多开发者不是坐在那敲 AI 提示词，而是在此基础上投入更多实际工作。然而过去一个月里，我遇到了太多自以为是的提交者， 他们的态度就像是把自己的伟大软件施舍给我们这些拒绝它的蠢货一样 ， 我受够了 ”。 此外，新规并不会追溯执行，此前上架的、包含 AI 生成代码的应用程序仍可以继续保留。不过从现在开始，任何包含 AI 生成代码的应用程序都不太可能提交到 Flathub。