双鱼座达人-优快云博客

原创用SymPy自动求解三角形构造与全等条件验证

定”这个核心结论。这篇文章用 SymPy 把几何约束转化为代数方程，自动解出顶点坐标，让动画精准且高效。如果纯手动操作，我会这样写：# 手动指定顶点坐标 —— 怎么知道这三个坐标能满足边长条件？A = np.array([0, 0, 0]) # 固定 A 在原点B = np.array([4, 0, 0]) # 固定 B 在 (4,0)，这样 AB=4# C 的位置？需要同时满足 AC=5, BC=3# 只能手动解方程：x²+y²=25, (x-4)²+y²=9。

2026-07-10 14:15:52 232

原创微调LLM前你需要了解的一些概念1 -- 综述

预测下一个 token 时，模型取最后位置的 hidden state，通过线性输出层 W_out 映射到词表大小的 logits，再经过 softmax 得到每个 token 的概率分布。如果模型把“伦敦”预测得更高，loss 就大。这样下一步生成时，就不需要重新计算所有历史 token 的 K/V，只需要计算新 token 的 Q/K/V，并拿新 Q 去和缓存的 K 做注意力。每个 head 都有自己的 Q/K/V 投影，最后多个 head 的结果会拼接或合并，再经过一个输出投影矩阵 Wo。

2026-07-10 14:15:06 169

原创 React 如何实现跨平台

如果构建的是 react-native-renderer，同一个 createContainer 调用的是 Native 的 UIManager.createView。这种设计体现了 React 团队的一个工程判断：不支持的功能，不应该用"不导出"来表达，而应该用"导出但标记为不支持"来表达。这说明：同一份 reconciler 源码，被编译到了 react-dom 包里就变成了操作 DOM 的版本，被编译到了 react-native-renderer 包里就变成了操作 Native 视图的版本。

2026-07-09 13:58:11 193

原创一次盘口数据误读复盘：从 bids/asks 展示到信号候选的边界

卖一在那一瞬间被成交掉了，新的卖一上移了一个价位，原来压在买一附近的挂单被重新归类，看起来像是“买一突然多了一笔大单”。买一量突然增加，真实原因可能是原来的卖一被成交掉了，新的卖一价格更高，原来的买一价位的挂单被重新归类——供需关系没变，只是报价结构变了。买一卖一在几十毫秒内可能轮换多次，如果你的时间戳是接收时间，不同延迟的快照排在一起，你看到的时序可能和真实发生的时序完全相反。注意，是“候选”，不是“有效信号”。如果你的时间戳是接收时间，不同延迟的快照排在一起，你看到的时序可能和真实发生的时序完全相反。

2026-07-09 13:57:37 164

原创 Linux 网络管理器用法速查

在 Windows 系统中配置网卡的 IP 等参数非常的方便，但在 Linux 命令行界面下配置网卡参数却非常的困难。工具介绍：通过脚本解析配置文件的方式管理网卡，可以通过一个文件集中管理所有网卡的配置信息，也可以分割开来单独管理，灵活性较高。【注：可以将其看作是 ifcfg 的升级版，因为两者的区别仅仅在于配置文件参数格式的不同，启停网卡以及目录结构上都非常的相像。工具介绍：以服务的方式管理网卡，基于此服务还可配合多种工具去管理网卡，如配套的 nmcli、nmtui、或 netplan、或直接修改。

2026-07-08 14:12:53 63

原创什么是扩散模型diffusion models?

是阿里开源的完整版本、未经蒸馏的的 Transformer 文生图模型， 10.26B权重参数， 20.55GB GPU显存，专为高质量、强生成多样性、广泛的风格覆盖能力以及精准的提示词遵循而设计。这个一步步预测并减去噪声的循环，从方向上看是前向加噪的“反向”，从动作上看就是在“去噪”。循环往复：把上一步得到的、稍微清晰一点的图片作为新的输入，再次让模型预测并减去噪声。终点：重复几十步后，噪声被逐步移除干净，一张清晰的、符合你描述的图片就诞生了。果得到一张噪声少了一点点的、略微能看出模糊轮廓的图片。

2026-07-08 14:12:08 188

原创 AScript函数体系详解

脚本内定义函数，使得脚本配置更加灵活，不必依赖于硬编码增加函数。4 }// 86 ";// 84 ";

2026-07-07 14:32:39 209

原创 CogVideo与CogVideoX笔记

图中的 t=i、t=i+1、t=i+2 表示相邻的三帧，后边的帧可以看到的前帧的范围就只有不是灰色的部分，因为窗口有一定的大小，所以可以看到的前帧中 token 的范围比当前已经生成的更多。要注意，根据VQ-VAE的最邻近搜索的设计，我们应该期望��和z是很接近的（事实上编码表E的每个向量类似各个z的聚类中心出现），但事实上未必如此，即使‖�−��(�)‖22和‖�−��(��)‖22都很小，也不意味着��和z差别很小（即�(�1)=�(�2)不意味着�1=�2）。

2026-07-07 14:31:41 177

原创嵌入式系统 VHDL 入门笔记：从语法到状态机

传统意义上的编程语言——你写的 VHDL 最终会被综合工具（Synthesis Tool）映射为 FPGA/CPLD 中的逻辑门、触发器、连线，或在仿真器中按事件驱动方式执行。：右侧 10 个七段管示意图标注了 a~g 各段与 dp（小数点）的对应关系，绿色高亮段即为该数字需要点亮的部分，与。各输出占空比均为 50%，频率依次为 clk 的 1/2、1/4、1/8、1/16。：仅有时钟输入，每来一个上升沿状态循环 s0→s1→s2→s3→s0，RGB LED 依次变色。

2026-07-06 14:30:00 176

原创 Gliding Horse（流马）项目深度分析报告--来自智谱Agent模式

（1,147 行）实现了 10 种触发类型（TaskStart/PlanCompleted/ProgressAnomaly/CheckCompleted/TaskEnd/CycleTimeout/AgentBlocked/ResourceConflict/QualityDegradation/UserFeedback），含异常去重窗口、5W2H 约束检查（deadline/budget）、ISO8601 duration 解析、缓存淘汰（LRU+TTL）。gliding_horse（流马）是一个用。

2026-07-06 14:29:22 216

原创基于 SkiaSharp 的 WPF & AvaloniaUI 极简动图播放方案

性能表现：1、lottie动画。

2026-07-05 14:05:25 196

原创 AScript定制left/right join查询语法

本篇将在LINQ语法的基础上增加left join和right join语法，以提高脚本灵活性。

2026-07-05 14:04:43 179

原创 Python中绘制R的科研级可视化图

R 独有优势：分面时在每个子图上自动计算并标注相关系数、回归线，使用after_stat等先进统计变换，Python 的plotnine只能完成基础分面。import os# 生成模拟数据'group': ['线性A']*5 + ['线性B']*5 + ['线性C']*5})ro.r('''library(ggpmisc) # 提供 geom_text_npc 等标注函数) +labs(title = "分面自动标注回归方程和 R²")''')

2026-07-04 16:28:52 249

原创数字电路实验BLog

后续新增多路选择器、译码器等器件时，无需修改顶层调度核心代码，仅新建子类继承抽象基类并重写计算逻辑即可完成功能拓展，直观体现软件设计开闭原则，即对功能扩展开放、对原有核心代码修改关闭。队列中存储的数据类型统一为抽象父类引用，但程序运行阶段，虚拟机会自动识别引用指向的具体器件子类对象，执行对应器件独有的计算逻辑。采用 HashMap 管理全局器件，解决编号查询效率问题。（3）逐级传递信号：从队列取出器件执行电平计算，遍历其所有下游关联器件，将当前器件输出电平赋值给对应输入引脚，下游器件入度自减 1。

2026-07-04 16:28:19 177

原创 LangGraph 核心状态管理：一文读懂「覆盖式状态」的原理与实践

覆盖式状态是 LangGraph 默认提供的浅合并状态模式，也是最简单、最直观的状态管理方式。节点只需要返回需要更新的字段，未返回的字段会自动保留原有值；返回的字段会直接覆盖状态中的旧值。简单理解：状态就像一个全局的「数据账本」，每个执行节点只需要修改自己关心的那几项数据，不用关心其他数据，账本会自动帮你保留所有历史数据，只更新你指定的部分。使用 TypedDict 定义固定结构的状态，明确所有需要存储的字段（如用户输入、中间结果、执行步骤等），作为全流程的数据规范。✅开发极简。

2026-07-03 14:39:05 251

原创 Microsoft Agent Framework 创建智能体

可以看到Microsoft Agent Framework (MAF) 是一个强大的框架，用于创建基于大语言模型的智能代理。通过本笔记，方便后续的知识回顾。

2026-07-03 14:37:18 227

原创 ChatView：把 ChatGPT / Claude 对话保存、分享和发布成独立网页

ChatView 不是另一个 AI 聊天工具，也不是要替代 ChatGPT、Claude 或 Gemini。它解决的是 AI 对话生成之后的问题：所以 ChatView 的定位更接近于：它把 AI 对话从“聊天记录”转换成“独立页面”，用户可以根据需要设置公开访问、密码保护、过期时间，也可以导出为 PDF、JSON、CSV 等格式，用于分享、归档或二次加工。过去我们可能只把 ChatGPT 当成一个问答工具。但现在，AI 对话已经开始承载大量真实工作：这些内容并不是一次性回答。很多时候，真正有价值的是完整上

2026-07-02 15:42:55 236

原创从 Demo 到生产：AI Agent 的可靠性工程

模型生成的工具调用参数，和工具真实需要的 schema 之间，永远存在偏差：日期格式不对、把字符串当数字传、引用了一个上文里压根没出现过的 ID。Agent 的「记忆」不该全靠把文本堆在上下文里硬扛，而应该把结构化状态（已完成的子任务、关键中间结论、待办项）放到上下文之外的存储里，每一步只把当前真正需要的那部分喂给模型。生产级 Agent 的稳定性，往往就赢在这些不性感的工程细节上。：第 3 步拿到一个错误结果，模型基于它做了第 4 步的决策，越走越偏，最后给出一个看起来很笃定、实则全错的答案。

2026-07-02 15:42:13 183

原创 Linux 用户特殊目录：中文改英文完整指南

Locale 是 Linux 系统中定义语言和区域设置系统界面语言日期格式数字格式货币符号字符排序规则编码方式中文文件夹是在登录时自动"翻译"产生的。关闭翻译开关（），修改个人配置，重命名文件夹，就能恢复英文名称，同时不影响系统的中文功能。

2026-07-01 16:49:28 336

原创【精选】新电脑到手必装的四款软件

Poplayer是PC端最强视频播放器之一，支持全格式播放和实时字幕翻译，完全免费。还拥有非常强的解码能力。推荐使用Geek Uninstaller彻底清理软件残留，包括注册表和日志，轻松卸载流氓软件。新电脑安装软件需谨慎，避免通过第三方软件管家安装，以防弹窗广告、流氓捆绑和强制收费。Everything能秒级搜索全盘文件，无论文件多大或藏得多深，均免费且极速。推荐使用NDM作为最强免费下载工具，支持32线程加速和网页音视频嗅探。搜索速度极快，秒出结果，不受文件数量影响。界面简洁，操作直观，无需复杂设置。

2026-07-01 16:48:50 232

nB43g1jt5的博客