客户案例 中国领先体育用品集团×燕千云，“三步走”蓝图打造全球化IT服务台
本次战略合作标志着该集团在构建全球化数字服务能力上迈出了坚实的一步。燕千云平台将为用户提供一个稳定、高效、面向全球的数字化服务底座，有效支撑其全球化和标准化战略，实现服务体验与运维效率的双重提升。 ...
彩虹多标签远程桌面管理
功能概述 彩虹多标签远程桌面管理器是一款免费工具，通过多标签页功能简化了远程桌面连接管理，可以轻松地同时操作多个远程会话。 主要功能区域说明 连接管理区 一、分组 操作：可以通过右键分组菜单操作 新建分组：添加一个新的分组来对服务器进行分类管理。 编辑分组：修改已保存的分组名称。 删除分组：该操作将 ...
读工业软件简史09几何内核
1. 天才工程师 1.1. 数学家奠定的塔基 1.1.1. 作为工业主流的数字化设计与制造，都需要用到CAD软件 1.1.2. CAD软件的基础底层支撑，则是通用几何造型平台，也可以称为几何内核 1.1.3. 工业软件的世界就是数学家的天下 1.2. 几何造型平台是CAD软件最核心的基础部分，通常称 ...
[随想] Typst 将何去何从
Typst 写小文章十分好用，除了连着字母需要空格略微反人类，各位可以体会一下。 #let ve(A, B) = $accent(#A #B, ->)$ #question[ 某平面图形 $A B C D$ 的斜二测画法为矩形 $A' B' C' D'$，若 $abs(A' B')=1$， $ve( ...
C++ Web 框架Paozhu 1.10.0发布
经过一个多月努力，框架终于加上了WebSocket client，面对物联网还加上了Socket server 和Socket client，也加上了RPC server and client，优化了httpclient，优化了很多小细节。 下面是websocket server例子，支持协程和同步 ...
Coolify 迁移踩坑记 | 认准官方文档，有序启停容器
以此纪念我将华为云的 Coolify 实例迁移至阿里云 Coolify 实例的 12 小时。不多说，请君仔细阅读这 10 条和对应的网页，勿重蹈覆辙。 前期准备 2GB 内存的服务器几乎跑不了 Coolify，一个构建命令就卡爆了，建议至少买 4GB 的。 不要自作主张，认准 https://doc ...
Java第二次博客作业：读《大象——Thinking in UML》与浅谈形式化方法
引言：一个被忽视的问题 以前写代码，我们的模式大致是：需求看懂了，逻辑想通了，跑起来没有明显的bug，就认为工作完成了。直到接触到“形式化方法”这个概念，才知道还有“用数学证明系统正确性”这种操作，这才意识到自己对软件工程的认知有多么片面。 一、什么是形式化方法？ 形式化方法，简单来说，就是用数学和 ...
Lua学习笔记：语法
本文更新于2026-02-20，使用Lua 5.5.0。 目录关键字标识符数据类型nilbooleannumberstringtableuserdatafunctionthread运算符数学运算符位运算符比较运算符逻辑运算符其它运算符表达式语句赋值语句if语句for语句while语句repeat语句 ...
从信通院报告看：低代码行业未来 3 年发展方向
2026年6月，中国信息通信研究院（以下简称“信通院”）发布了最新一期《低代码行业白皮书》。这份报告不仅是对过去三年低代码市场高速增长的总结，更是对未来三年技术演进与商业落地的权威风向标。报告明确指出：低代码行业正从“提效工具”阶段迈入“业务重塑”深水区，未来三年的关键词将是智能化交互、全民开发普及 ...
数据查询方式最左匹配原则
-程序员编程助手科技股份有限责任公司 数据查询方式最左匹配原则 数据库数据查询检索采用sql query language 。数据库的数据存储数据度量初始化不会使用很多很大的数据统计新能优化方案。数据库的操作语言通用语言SQL发布。基础的关键字函数调用库发布本地函数库。携带轻量级别的数据库查询语言标 ...
从0到1构建ITR体系：大型企业服务闭环的实战路径解析
从0到1构建ITR体系：大型企业服务闭环的实战路径解析构建ITR（从问题到解决）体系是一项复杂的系统工程，本质是在企业高速行驶的过程中更换服务引擎。其核心价值在于通过“落地四步法”实现从职能驱动向流程驱动的范式转型，打破部门壁垒与信息孤岛。通过现状诊断、蓝图设计、IT系统固化及试点推广，企业能够建立 ...
Rook-Ceph v1.20.0 CSI ServiceAccount 命名不匹配 Bug 及修复方案
前言 千万不要升级 rook-ceph helm chart 到 v1.20.0 血的教训! 差点让我的 Homelab 宕机, 数据丢失. 当时我是这样的情况: renovate 检查 rook-ceph helm chart 有新版本 v1.20.0 CI helm diff 运行通过, 没有发 ...
Docker--MySQL与Redis 安装
安装MySQL MySQL官网安装 拉取镜像：docker pull mysql:5.7 以分离模式启动MySQL容器 docker run --name mysql -dp 3306:3306 -e MYSQL_ROOT_PASSWORD=111 mysql:5.7 MYSQL_ROOT_PASS ...
Codex 上下文压缩总是失败？骚操作解决方案来了！
大家好，我是R哥。 最近用 Codex 处理复杂任务，总是遇到一个很烦的问题：上下文总是触发自动压缩，并且总是压缩失败，这个问题发生的概率基本是 100% 的，特别是复杂任务。 如图所示： 不知道大家有没有遇到过这个问题？ 每次我都是新开一个会话，然后把关键上下文丢给它重新开始。 但是，这样我发现效 ...
[高中数学/解析几何] 二次曲线系难入门
本文适合对处理解析几何题已有一定经验的高中同学。不建议未进行系统学习或刚刚学习完新课的同学阅读这篇文章。 圆锥曲线都是二次曲线 我们知道，所有圆锥曲线（无论是否标准）都具有共同特性：最高项是二次，即 \[Ax^2+Bxy+Cy^2+Dx+Ey+F=0 \]我们可以将圆锥曲线与二次函数建立映射关系，令 ...
嘉为蓝鲸：基于 DevOps 平台的 AI 驱动研发与智能运维
嘉为蓝鲸DevOps平台通过整合AI技术，推动企业研发与运维智能化转型。平台利用AI实现自动化测试、智能协作和故障预警，显著提升研发效率与运维稳定性。在金融、制造、政府等行业成功应用案例中，该平台优化了全流程管理，确保产品质量与交付速度。作为数字化转型关键工具，嘉为蓝鲸将持续深化DevOps与AI融... ...
AI 只会聊天不会干活？Hermes Agent 内置 47 个工具，一个指令让它秒变全能助手
Hermes Agent 工具使用教程 你是否曾经对着 AI 智能体说"帮我查个资料"，结果它只能干聊，既不能上网搜索，也不能帮你执行命令、操作文件？Hermes Agent 内置强大工具系统，将网络搜索、终端执行、浏览器自动化、媒体生成等能力封装为可调用工具与工具集。本文从工具概览、启用方式、核心 ...
common lisp setf的智慧
Common Lisp setf的智慧 我还记得我最开始学 Common Lisp 时看见 setf 是赋值当时心凉一半，很少语言把赋值写的这么长 (setf a 0)。我记得当时喜欢 lua 和 C++，它们有重载运算符/元方法，可以直接把修改赋值行为。CL 的 setf 就显得比较长了。 不过这 ...
《DNESP32P4开发指南_V1.0》第二十六章 RNG实验
第二十六章 RNG实验 本章将介绍ESP32-P4的硬件随机数发生器。我们使用BOOT按键来获取硬件随机数，并且将获取到的随机数值显示在LCD上。同时，LED0用来指示程序运行状态。 本章分为如下几个小节： 26.1 RNG介绍 26.2 硬件设计 26.3 程序设计 26.4 下载验证 26.1 ...
【节点】[SquareWave节点]原理解析与实际应用
Square Wave节点是Unity URP Shader Graph中一个功能强大的数学工具节点，它能够将输入的连续值转换为方波形式的输出。方波是一种基本的波形信号，在图形渲染中有着广泛的应用，特 ...
