polygon出题教程

博主头像 1.polygon介绍 网站:https://polygon.codeforces.com/ Polygon 是一个支持多人协作的出题平台,功能非常完善。官网描述为Polygon 的使命是为创建编程竞赛题目提供平台。 在 Codeforces (CF) 出题必须使用 Polygon。在其它地方出题, ...

Manim物理模拟:别自己写欧拉了!

博主头像 做物理模拟动画时,我遇到过一个坑。 当时想做一个弹簧振子的 Manim 动画:一个小球连接在弹簧上,在平衡位置附近往复振动。 我一开始的思路是——手动写欧拉法迭代。 # 当时写的“玩具级”数值积分代码 x = 1.0 # 初始位移 v = 0.0 # 初始速度 dt = 0.02 # 时间步长 k ...

AI 学习笔记:Agent 的应用演示

博主头像 title: Agent 的应用演示 author: 凌杰 date: 2026-05-20 tags: opencode, openclaw categories: 软件配置与使用 [!NOTE] 笔记说明 这篇文章是 Agent 系列笔记的最后一篇,其中记录了我在使用 Agent 过程中所累积的 ...

分享一个CAN报文编辑器软件

博主头像 分享一款超好用的 CAN 报文编辑器 / DBC 开发工具(替代 CANoe 繁琐操作) 做汽车电子、嵌入式 CAN 开发的小伙伴,日常肯定绕不开 DBC 文件编辑、报文解析、信号整理、代码生成。 但目前开发现状非常痛苦: CANoe / CANdb++ 操作复杂 手动编辑 DBC 极易出错,ID ...

用 FRP 打通云服务器与本地 Ubuntu,让 Codex 远程调试本地硬件

最近在做一个结合强化学习、嵌入式部署和机器人控制的项目,目标是把训练得到的控制策略部署到 STM32H747I-DISCO,并进一步控制 Petoi 机器狗。 项目开发过程中,我遇到一个很现实的问题:我的 Codex 工作环境主要运行在云服务器上,但硬件设备却连接在我本地的一台 Ubuntu 服务器 ...

软考 - 架构设计师 知识点总结

博主头像 软件架构概述 架构是为完成某个特定任务所提供的软件规范,属于系统的顶层设计。 架构的分类 按软件层划分 网络架构 系统架构 数据架构 业务架构 应用架构 平台架构 按解决的问题领域划分 电商架构 支付架构 搜索架构 安全架构 性能架构 游戏架构 多媒体架构 等 按工作深度划分 集成架构 业务架构 模 ...

聊一聊 MES系统如何实现多种标签打印并支持不同打印机

在实际生产过程中,同一道工序往往需要打印多种规格的标签,例如彩盒标签与卡通标签。这些标签的格式和纸张规格通常不同,而纸张规格的差异也意味着需要使用不同的打印机。为此,MES 系统通过全局监听打印任务,并支持针对不同打印任务灵活配置对应的打印机,从而实现高度可配置的打印管理。所有打印数据均来源于服务端 ...

断尺问题:戴德金分割现实悖论

博主头像 先从现实中一个简单的数学问题说起吧: 假设现在你手中有一把尺子,刻度0~10,你沿着刻度4左边缘的位置把它切断(请注意,我这里并不是暗示数学死了),让右侧的断尺最小的刻度刚好是4,不多也不少,然后你摸了摸左侧那截断尺断点的位置,有个疑问涌上了你的脑海:“这一点的值是多少呢?” 如果你想用数学来解决这 ...

给句子做个“语义审计”:从词向量到句子向量的方法论

博主头像 给句子做个“语义审计”:从词向量到句子向量的方法论 目录给句子做个“语义审计”:从词向量到句子向量的方法论1. 从“证件照”到“公司全貌”2. 方法一:把所有照片叠在一起取平均3. 方法二:给重要的人更高权重(TF-IDF)4. 方法三:剔除“行业共性”,只看个性(SIF)⭐ 推荐5. 方法四:按时 ...

当AI“卡壳”在生产环境:MCP Server 如何帮我们破局

博主头像 生产环境里的那次“意外” 上个月,我们团队在上线一个智能客服 Agent 项目时,遇到了棘手的问题。 系统在测试环境表现完美:用户提问后,AI 能快速调用知识库、查询订单、甚至发起退款操作。可一到生产环境,问题就来了。 高峰期时,用户咨询“我的订单为什么还没发货”,AI 却反复回答“正在查询中”,最 ...

有了AI测试工具,还需要掌握Playwright、Pytest、Selenium这些框架吗?

博主头像 最近后台收到很多测试同学的提问:“现在AI测试工具这么火,一键生成用例、自动执行、甚至能定位bug,是不是以后就不用学Playwright、Pytest、Selenium这些框架了?” 说实话,这个问题我也纠结过。前阵子上手了几款热门AI测试工具,体验确实惊艳——不用写一行代码,输入需求就能生成测试 ...

组织转型实录——我把传统研发团队改成AI驱动,踩了无数坑

博主头像 最近在Agent特区做了一次组织转型的分享,讲了我这几个月把一个传统研发团队改成AI Native团队的完整路径。下面是分享的核心内容,后面附了大家讨论比较集中的几个问题。 起点:职能式分工的死穴 我们是一家做标准化产品加定制化交付的ToB公司,我是技术一号位。原来的组织是很传统的职能式分工:销售部 ...

上周热点回顾(5.18-5.24)

博主头像 热点随笔: · OpenCode狗都不用 (锅总的程序人生) · 工良吐槽篇:万字长文细说 AI 落地之笑谈 (痴者工良) · Codex CLI 完全使用手册:从入门到精通 (knqiufan) · .NET 10 桌面 UI 框架的范式演进:Jalium.UI 与 MewUI 架构深度对比 (张 ...

[对比学习LangChain和MAF-04]针对消息的设计

博主头像 基于对话的Chat Agent是目前最主流的Agent类型,它采用的**基于角色的消息**是一种结构化对话机制,它通过将对话内容划分为不同的预设身份(Roles)来引导模型理解其职责和当前上下文。LangChain和MAF针对基于角色的消息设计了一个完整的消息体系,但是它们的设计思路和实现方式却有所... ...

<1···111213···100>