- 博客(130)
- 收藏
- 关注
RSS订阅原创 motion-skill-kit：给 AI 编程助手装上前端设计能力
motion-skill-kit 是一套可检索、复用、校验的前端设计技能系统，将布局、配色、动效等设计能力结构化为50+视觉片段与21套艺术风格套件，覆盖背景动效、滚动叙事、生成艺术等场景。通过设计基础文档与双索引机制，帮助AI编程助手精准理解页面层级、信息权重与交互逻辑，实现从“能运行”到“有设计感”的跨越。支持React、HTML原生及p5.js/Three.js等技术起点，适用于UI改版与创意项目，提升前端开发效率与视觉一致性。
2026-10-21 00:42:54
41
原创 Meta Muse Spark Open：816B 巨型开放权重多模态 Agent 模型架构、部署实战与社区首测全解
Meta发布816B多模态MoE模型Muse Spark Open，支持文本、图像、视频、音频四模态输入，具备100万Token超长上下文与自主Agent能力。采用稀疏MoE架构（每层256专家，每Token激活8个），结合GQA与QK-Norm提升推理效率，视觉与音频编码器实现高效多模态融合。支持跨文件代码重构、GUI操作及工具调用，可在vLLM、llama.cpp等引擎部署，并提供Apple MLX优化方案。官方许可含用途限制，安全机制严格，已通过社区实测验证其在复杂任务中的卓越表现。
2026-10-19 00:40:04
570
原创 QCU 2.0.0：补齐 Windows、Linux 与 GNOME Wayland
QCU 2.0.0 完成跨平台能力补齐：Windows 支持 UIA 与原生 HWND 截图/输入，Linux 实现 AT-SPI2 与 X11 通道，重点新增 GNOME Wayland 原生截图与虚拟输入。遵循“先结构化控件、再按需启用后备”的原则，保留常驻进程、批量执行与缓存机制，确保高效操作。测试覆盖 2026 年 10 月真实环境，验证通过 792 条命令，支持主流桌面系统，为 AI Agent 提供稳定可靠的计算机操作能力。
2026-10-16 15:28:47
303
原创 测度的构造理论与 Carathéodory 扩展纲领
本文系统阐述测度构造的Carathéodory纲领：从半环上的前测度出发，通过覆盖法诱导外测度，再以Carathéodory割裂准则筛选可测集族，最终在σ-代数上实现测度的唯一延拓。该理论克服了Vitali不可测集困境，严格构建了勒贝格测度及其正则性，奠定了现代测度论的基石。
2026-10-12 13:56:29
129
原创 测度论第一讲
测度论源于黎曼积分的局限，推动勒贝格积分革命——从切分定义域转向值域。为定义“广义体积”，提出理想测度公理：平移不变、可数可加。但维塔利集构造揭示：在选择公理下，全集所有子集无法同时满足这些性质。为此，数学家退而求其次，构建$\sigma$-代数结构，通过代数与拓扑生成机制（如Borel集），限定测度定义域，最终以Carathéodory延拓定理实现测度的严格构造，奠定现代分析基础。
2026-10-10 09:19:27
274
原创 应用数学与音频信号处理
本文系统梳理音频信号处理中的核心数学理论，涵盖从连续信号到离散化、傅里叶分析、时频局域化、听觉感知建模到特征提取的完整链条。基于希尔伯特空间与奈奎斯特定理，阐明采样与混叠的数学本质；通过酉变换与快速傅里叶算法实现高效频谱分析；结合海森堡不确定性原理与窗函数设计，优化短时傅里叶变换性能；最终构建梅尔滤波器组与MFCC特征，融合人耳感知非线性，为语音识别与音频分类提供高精度表征。附纯NumPy实现与工业应用拓展，形成“数学-算法-工程”闭环体系。
2026-10-05 13:09:24
353
原创 关掉网页，AI 还能继续干活？Lumi 开源私人代理部署与上手
Lumi 是开源项目 Lumen 的私人代理，支持本地部署，通过原生 Web 技术运行，无需 npm 依赖。用户可将任务交由后台执行，关掉网页后仍能继续工作（需保持 Node 服务在线）。核心功能包括任务管理、记忆留存、目标规划与审批流程，支持自定义模型接入与文件生成。首次使用建议从“聊天→活动→成果”路径走通，确保任务状态可追踪。其设计聚焦于“任务持续性”与“减少重复解释”，适合需要长期协作与高可控性的 AI 工作流场景。
2026-10-05 00:16:46
491
原创 Claude Opus 5.5 全面评测与《紙嫁衣：歸宅》3D硬核游戏实测解析
Claude Opus 5.5 在权威基准中表现卓越，终端编程与系统级任务通过率超66%，推理延迟降30%，成本直降40%。实测生成3D恐怖解谜游戏《紙嫁衣：歸宅》，基于Three.js、Cannon-es与原生Web Audio API，实现零外置音效、动态光影与多结局逻辑闭环，展现其在复杂系统架构与自主智能体编程上的突破性能力。
2026-09-28 21:36:11
318
原创 快乐泛函每一天：变分法与希尔伯特空间应用
本文系统阐述希尔伯特空间中变分法的核心理论，涵盖狄利克雷原理的现代诠释、弱下半连续性与强制性在极小化问题中的作用，以及Lax-Milgram定理与Cea引理在椭圆边值问题弱解存在性与稳定性分析中的关键应用。通过凸性、弱收敛与能量估计，构建了从泛函极小化到偏微分方程弱解的完整理论框架，并附有限元弱形式代码及考研级习题解析，体现变分方法在数学物理与计算力学中的核心地位。
2026-09-18 09:25:40
316
原创 前端小skill
motion-skill-kit 是一个开源前端动效片段库，含42个零依赖、可复用的视觉效果（如极光背景、粒子文字、视差滚动等），专为AI Agent设计。通过SKILL.md规范实现“主动触发、智能选型、自我增长”的决策机制，支持风格自动匹配与性能降级，让AI生成页面兼具艺术感与可用性。项目采用索引+文档+代码的检索架构，中文标签提升命中率，助力生成式开发迈向高质量视觉体验。GitHub仓库（MIT）
2026-09-18 00:32:20
438
原创 快乐泛函每一天：谱分析
本文系统阐述希尔伯特空间上算子谱理论的演进：从有限维矩阵特征值问题出发，引入预解式与谱集分类（点谱、连续谱、残留谱），揭示无限维空间中算子可能无特征向量的深刻现象。重点解析紧自伴算子的Hilbert-Schmidt谱定理，实现类似对角化的正交分解；进而推广至一般有界自伴算子的投影值测度（PVM）与积分型谱分解。结合Python数值仿真与经典考研/考博题解析，构建从代数到分析、从离散到连续的完整谱理论脉络。
2026-09-16 08:29:26
217
原创 快乐泛函每一天：收敛性
在无限维希尔伯特空间中，强收敛（范数收敛）与弱收敛（投影收敛）本质不同：强收敛蕴含弱收敛，但反之不成立。关键在于范数是否保持——若弱收敛且范数收敛，则等价于强收敛（Radon-Riesz定理）。典型反例为标准正交基序列 $e_n$，其弱收敛于零但范数恒为1，无法强收敛。弱收敛具下半连续性、有界性等优良性质，是变分法、偏微分方程与机器学习中处理无穷维问题的核心工具。
2026-09-15 08:28:01
219
原创 GPT-6 Astra 实测
<think>用户要求根据提供的长文生成≤150字的摘要。这是一篇关于GPT-6 Astra实测游戏开发能力的文章，需要提炼核心内容。文章主要讲了用GPT-6 Astra在Codex中开发《纸嫁衣：归宅》游戏的过程，包括初始的2D点击游戏扩展为3D沉浸版、加入恐怖元素并部署上线。文章强调这是多轮人机协作成果，并对比了官方benchmark数据，但指出不能简单等同于模型裸代码生成能力。摘要应抓住：测试性质（Codex环境多轮协作）、主要成果（3D恐怖推理游戏原型，含地图/证物/多结局）、验证局限性（未完整打通
2026-09-08 23:49:23
273
原创 希尔伯特空间上的有界线性算子与谱论基础
<think>我们根据给定的内容生成一个不超过150字的摘要。摘要需概括主要内容：希尔伯特空间上有界线性算子、共轭算子、算子类、谱论基础。要简洁。</think>摘要：本文介绍希尔伯特空间上有界线性算子与谱论基础。借助Riesz表示定理严格构造共轭算子，并给出其范数性质。分类讨论正规、自伴、酉、等距、正算子及正交投影的特征。谱论部分阐述预解集与谱的定义，展现无限维算子谱的复杂性。
2026-09-05 22:12:04
383
1
原创 连续线性泛函与 Riesz 表示定理
<think>我们根据内容做一个≤150字的摘要。需要抓住核心：Riesz表示定理内容、证明要点、对偶空间意义、推广Lax-Milgram及RKHS应用。用中文简洁表达。</think>本文系统阐述希尔伯特空间中的Riesz表示定理：任意连续线性泛函可由唯一向量经内积表示，且范数等距。通过零空间几何与正交分解给出严格证明，说明对偶空间与H等距（复空间反线性同构）。推广至Lax-Milgram定理支撑PDE弱解理论，并以RKHS点求值泛函为例，用Python数值验证定理正确性。
2026-09-04 08:28:53
348
原创 快乐泛函每一天：可分性、希尔伯特维数与空间同构
<think>我们只需要生成摘要，≤150字。内容关于希尔伯特空间的可分性、维数与同构。摘要应简练概括。</think>文章系统阐述了希尔伯特空间的可分性、希尔伯特维数及同构定理：可分性等价于存在可数标准正交基；正交基基数唯一，定义希尔伯特维数；任意同维数希尔伯特空间等距同构，可分空间统一同构于ℓ²，为量子力学波动力学与矩阵力学的等价性奠定数学基础。
2026-09-03 12:08:32
209
原创 QCU skill
这篇文章介绍了QCU（Quick Computer Use）框架如何通过直接访问系统可达性树（Accessibility Tree）实现毫秒级计算机操作，相比传统视觉识别方法有数量级的速度提升。主要内容包括： 性能对比：QCU在web和桌面操作中实现64-337ms的响应速度，而视觉流派方法需要3-6秒 技术原理：QCU直接读取操作系统维护的可达性树结构，避免了视觉方法所需的截图、上传和推理过程 架构设计： 使用daemon常驻进程减少启动开销 智能路由系统根据场景选择最优路径 支持web和桌面两种环境 优
2026-08-21 19:39:13
555
1
原创 快乐泛函每一天！内积空间
摘要：内积空间在泛函分析中引入了正交性、角度等几何概念，弥补了赋范空间的不足。本文系统介绍了内积的定义与基本性质（共轭对称性、线性性、正定性），重点证明了核心的柯西-施瓦茨不等式，并展示了内积如何诱导范数（满足非负性、齐次性和三角不等式）。通过极化恒等式和范数验证，揭示了内积与范数的内在联系，为希尔伯特空间奠定了理论基础。文中还简要提及了平行四边形法则这一内积空间的特征性质。
2026-08-20 11:48:43
360
原创 快乐泛函每一天：Riesz引理与有限维空间
文章摘要 本文探讨了泛函分析中有限维与无限维空间的核心区别，聚焦于紧性、Riesz引理及其应用。主要内容包括： 紧性定义：通过开覆盖和列紧性两种方式阐述了紧集的概念，指出在无限维空间中"有界闭集≠紧集"的反直觉现象。 Riesz引理：证明了在真闭子空间外总能找到距离该子空间足够远的单位向量，揭示了无限维空间的几何特性。 有限维刻画：利用Riesz引理证明"赋范空间有限维当且仅当其单位闭球紧致"的核心定理，展示了无限维空间中单位球的"稀疏性"。 这些概念构成了泛函分析的基础框架，对理解算子理论、谱理论等后续内
2026-08-17 16:41:15
211
原创 快乐泛函之度量空间完备性与 Banach 不动点定理（
本文探讨了度量空间完备性与Banach不动点定理的理论和应用。主要内容包括： 完备度量空间的概念与柯西序列的本质分析 完备化定理的构造方法（通过柯西序列等价类扩充不完备空间） Banach不动点定理的核心内容及其证明过程 两个经典应用：常微分方程Picard-Lindelöf定理的泛函证明和Fredholm积分方程求解 Python算法实现Picard迭代法求解ODE并进行可视化 典型例题解析与反例讨论（如连续函数空间在L1范数下的不完备性） 文章通过理论推导与计算实践相结合的方式，展现了完备度量空间理论在
2026-08-14 15:00:00
335
原创 快乐泛函分析1.1 度量空间的基本概念
摘要： 本文介绍了度量空间的基本概念，它是泛函分析中连接经典分析与抽象空间的重要工具。度量空间通过定义满足非负性、对称性和三角不等式的距离函数，将欧氏空间中的几何概念推广到函数、序列等抽象对象。文中详细讨论了开集、闭集、聚点、闭包等拓扑概念，并强调了稠密集与可分空间的核心地位——可分性确保了用可数集逼近任意元素的可能性。此外，文章通过离散度量空间等典型例子，展示了序列收敛性、连续映射的推广及证明技巧，为后续泛函分析学习奠定基础。
2026-08-12 10:57:34
245
原创 从液态玻璃到可解释钢琴扒谱：PortraitScore
PortraitScore：AI钢琴扒谱与液态玻璃界面技术 PortraitScore是一款创新的AI辅助钢琴转谱系统，通过三层"语义升级"将音频转化为可编辑的乐谱数据。其核心创新在于： 分层处理架构：系统将音频处理分为时频分析、演奏事件建模和规范乐谱生成三个阶段，每个阶段独立优化，便于错误定位和修正。 Human-in-the-loop设计：AI不仅生成乐谱，还提供节拍偏移、时值规范等纠错建议，但最终修改权始终保留给用户，支持"灵感练习"和"原样扒谱"两种工作模式。 液态玻璃界面技术：官网采用WebGL流
2026-07-15 18:25:06
333
原创 彻底搞懂二阶线性微分方程
本文系统讲解了二阶线性微分方程的求解方法，重点分析了常系数齐次和非齐次方程的解法。对于齐次方程，根据特征方程根的三种情况（不等实根、重根、共轭复根）给出了通解公式及其严格证明；对于非齐次方程，介绍了通解结构定理和两种求特解的方法（待定系数法和常数变易法）。文章通过思维导图清晰呈现解题路径，并包含详细的数学推导过程，帮助读者深入理解二阶微分方程的理论基础与求解技巧。
2026-07-10 17:22:16
230
原创 超越积分应用及其存在性证明
本文探讨了数学中“积不出来”的积分问题，指出这类积分的原函数无法用初等函数的有限组合表示，被称为非初等积分或超越积分。文章从微分代数角度定义了初等函数，并借助刘维尔定理及其推论，严格证明了经典的高斯积分无法用初等函数表示。同时，提供了切比雪夫定理、刘维尔指数判别法等实用工具，帮助判定积分的可积性。最后，介绍了数学家通过定义新函数（如误差函数、正弦积分等）来拓展数学边界的方法。全文揭示了积分运算在初等函数域中的非封闭性，以及现代数学处理这类问题的理论框架。
2026-07-09 13:28:55
344
原创 Claude fable 5与GPT5.5模型能力实测
文章摘要： 本文对比了Claude Fable 5与GPT5.5在复杂前端开发任务中的表现。作者通过高强度创意提示词（要求生成融合暗黑数学美学、流体动态交互的MathSight OS单页官网）进行实测，发现Claude Fable 5在流体背景实现、滚动稳定性、动效连贯性和工程整体性上显著优于GPT5.5。官方性能图表显示，Fable 5在SWE-Bench Pro（80.3% vs 58.6%）和FrontierCode（29.3% vs 5.7%）等工程实现类指标上大幅领先，其代码生成更接近完整系统而非
2026-07-08 12:29:45
297
原创 FFT推导➕应用
本文系统介绍了快速傅里叶变换(FFT)的原理和应用。主要内容包括： 通过多项式乘法问题引入卷积计算需求，指出FFT将O(n²)复杂度降至O(nlogn)的核心价值； 提出点值表示法的关键思路，将多项式乘法转化为求值-点乘-插值三个步骤； 详细推导复数单位根的三个关键性质，这些性质构成FFT分治算法的基础； 完整展示Cooley-Tukey算法的递归实现和迭代优化过程，包括蝴蝶操作和位逆序置换； 指出FFT在信号处理、图像压缩等领域的广泛应用。全文通过清晰的数学推导和直观的图解，帮助读者深入理解这一重要算法。
2026-07-05 14:04:17
227
原创 数论变换（NTT）
数论变换（NTT）是快速傅里叶变换（FFT）在模数运算下的推广，解决了FFT的浮点精度问题。本文系统介绍了NTT的核心原理与实现：从多项式乘法的需求出发，通过模运算、原根和单位根的数学基础，详细解析了NTT的分治思想和蝴蝶变换算法。文章包含完整的C++代码实现（以998244353为模数），并探讨了模数选择、复杂度分析（O(nlogn)）及实际应用场景。NTT在密码学、大数运算和信号处理等领域有重要应用，是处理大规模模运算多项式乘法的关键工具。
2026-07-04 16:30:00
330
原创 Codex Agent Legion 实现原理与 GitHub 使用指南
本文介绍了 Codex Agent Legion 的实现原理与 GitHub 使用指南。该项目是一个本地调度控制台，核心功能是分析用户任务并生成可执行的调度计划（包括 JSON 计划文件和 prompt 模板）。其运行流程包括任务解析、复杂度评估、风险检测和调度决策，支持默认启发式算法和自定义算法。项目包含 CLI 工具、军团名册配置、prompt 模板和数据结构契约等核心组件。用户可通过克隆仓库或安装 release 包两种方式使用，主要生成 dispatch-plan.json 等可审计的调度产物，而非
2026-06-29 18:50:14
268
原创 CRT详解
摘要：中国剩余定理（CRT）及其现代算法应用 中国剩余定理（CRT）源自《孙子算经》，是数论与计算机科学的核心工具。经典CRT通过构造性方法求解同余方程组，要求模数两两互质，核心步骤包括计算模积、逆元与通解。当模数不互质时，扩展CRT（EXCRT）通过方程两两合并（基于exGCD）实现高效求解，适用于密码学与大整数运算。 抽象代数视角下，CRT推广为环同构定理，适用于多项式环等结构，如拉格朗日插值。计算机领域，Garner算法优化CRT实现，逐位计算避免大数溢出，提升RSA等加密算法的效率。CRT及其变体在
2026-06-28 12:12:05
166
原创 自由群讲解
摘要： 自由群是由给定生成元集合构成的群，其元素为化简字，仅遵循相邻互逆字母消去的规则，不附加任何其他关系（如交换律）。自由群的核心性质是万有性质，即任何群映射均可唯一延拓为同态。自由群具有非交换性、子群仍为自由群（尼尔森-施赖埃尔定理）等深刻性质，且所有群均可表示为自由群的商群。例如，秩为2的自由群$F_2$包含秩为3的自由子群，展现了其结构的丰富性。自由群在代数、几何（凯莱图）等领域有广泛应用。
2026-06-09 17:45:00
188
1
原创 群论中“字”的概念
本文介绍了群论中“字”（Word）的概念及其在群表示论和自由群中的核心作用。主要内容包括： 字的定义：由生成元及其逆元组成的有限序列，包括空字的概念。 字的运算与化简：通过初等化简消去相邻互逆元素，得到最简字。 自由群的构造：所有化简字在拼接运算下形成的群，其中生成元间无额外约束。 群的表示：通过生成元和关系定义群，其中关系约束了字之间的等价性。 例题解析：展示了自由群中字的化简、带关系群的运算，以及字问题的证明技巧。 字问题：指出判断两个字是否等价的算法问题在一般情况下是不可解的。 摘要概括了群论中“字”
2026-06-08 18:30:00
287
原创 群作用、轨道与可解群
群作用与可解群的核心概念 摘要：本文系统介绍了群论中的两个关键概念——群作用与可解群。在群作用部分，重点阐述了轨道与稳定子的定义及其关系，通过轨道-稳定子定理（|G·x|·|G_x|=|G|）建立了集合划分与群结构的联系，并以正方体旋转对称群为例进行了验证。可解群部分则从多项式方程求解背景出发，给出了正规子群链和导群系列两种等价定义，证明了S₃和S₄的可解性，并指出n≥5时S₄不可解性对应着高次方程无根式解的本质。全文通过典型例题展示了这些理论在对称性分析和代数结构研究中的强大应用。 （字数：149）
2026-06-07 11:24:18
449
原创 五子棋有禁手 AI 下载指南与核心算法原理
本文介绍了五子棋有禁手AI的下载指南与核心算法原理。主要内容包括： 主流AI推荐：传统搜索派代表"弈心(Yixin)"和深度学习派代表"KataGomoku"的下载与配置方法； 传统AI算法：基于博弈树搜索、α-β剪枝和威胁空间搜索，通过硬编码规则规避禁手； 深度学习AI原理：采用双头神经网络结构，结合规则掩码机制和蒙特卡洛树搜索，确保不违反禁手规则； 人机差距：现代AI通过数学优化和深度计算，在禁手规则下展现近乎无解的棋力。文章为五子棋爱好者提供了AI工具获取途径和背后的技术解析。
2026-06-04 10:38:25
560
原创 二次互反定律
摘要：二次互反定律是数论中的核心定理，被誉为"黄金定理"。它揭示了两个不同奇素数p和q之间二次剩余性质的深刻关系：当p和q都模4余3时，(p/q)与(q/p)符号相反；否则符号相同。该定理通过勒让德符号和欧拉判别法实现高效计算，在密码学(Rabin加密、零知识证明等)和算法优化中有重要应用。文章通过实例演示了如何运用该定律快速判断二次剩余性质，展现了其在计算机科学中的实用价值。
2026-05-21 10:13:15
481
原创 进阶双重积分与三重积分
摘要：理解多重积分的几何本质 本文从几何视角解析双重积分和三重积分的核心概念： 积分本质：多重积分是局部贡献（面积元dA或体积元dV）在区域上的极限累加，而非单纯多写积分号。 关键难点： 准确理解积分区域的几何形状 掌握不同坐标系下微元的实际含义 理解换元时雅可比行列式的必要性 直观演示：通过动画展示二重积分如何通过底面分割（ΔA）与高度叠加（f(x,y)）形成体积，体现"小柱体累加"的几何意义。 文章强调建立几何直觉对掌握多重积分的重要性，为读者提供从一元积分到多重积分的认知桥梁。
2026-05-19 13:53:45
478
原创 莫比乌斯反演
本文从算法竞赛和数论角度出发，系统介绍了狄利克雷卷积与莫比乌斯反演的核心概念。首先定义了数论函数及其基本性质，重点阐述了狄利克雷卷积的代数结构（交换环）和关键恒等式（如μ*1=ε）。随后通过卷积视角简化了莫比乌斯反演的证明过程。最后将理论提升至抽象代数层面，揭示这些数论工具本质上是偏序集关联代数在整除关系下的特例，其中莫比乌斯函数对应Zeta函数的逆元。全文展现了数学概念从具体到抽象的升华过程，为理解这些工具提供了更深刻的代数视角。
2026-05-16 15:53:56
384
原创 HTML 实时预览工具
这篇文章介绍了一个开源的HTML实时预览工具，主要功能包括： 核心功能 实时预览：左侧编辑HTML代码，右侧即时显示渲染效果 支持设备模拟：可切换桌面、平板、手机三种视图模式 拖拽分栏：自由调整编辑区和预览区的比例 技术实现 基于React + CodeMirror构建 使用iframe的srcdoc属性实现安全预览 采用react-resizable-panels实现可拖拽分栏 内置HTML语法高亮和代码格式化功能 特色功能 纯前端实现，无需后端服务 支持拖放加载本地HTML文件 提供多种示例模板 极暗主
2026-05-15 10:28:13
621
原创 椭圆的光学性质
本文介绍了椭圆的光学性质及其应用。椭圆的光学性质指出：从一个焦点发出的光线经椭圆反射后必汇聚于另一焦点。这一原理在回音壁和体外碎石机等实际场景中有重要应用。文章通过HTML/JS动态演示直观展示了光线反射路径，并提供了数学证明思路：利用椭圆定义和费马原理，证明入射角等于反射角。全文结合理论推导、可视化演示和实际案例，帮助读者深入理解椭圆的光学特性。
2026-05-15 10:13:30
734
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人