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中一个功能强大的数学工具节点，它能够将输入的连续值转换为方波形式的输出。方波是一种基本的波形信号，在图形渲染中有着广泛的应用，特 ...
Claude Opus 4.8 Agent 交付力拆解：为什么它更像工程负责人？
从价格、基准、动态工作流和诚实性，看 Opus 4.8 如何提升复杂 Agent 交付率。 原文链接：AI小老六 2026 年 5 月 28 日，Anthropic 发布 Claude Opus 4.8。乍看这次更新不算“戏剧化”：标准价格没有上涨，上下文窗口也没有继续用更夸张的数字刷存在感。 但如 ...
别只会说 HTTPS 更安全：一文吃透加密、证书与 TLS 握手
概述 HTTP 是超文本传输协议，信息是明文传输，存在安全风险的问题。HTTPS 则解决 HTTP 不安全的缺陷，在 TCP 和 HTTP 网络层之间加入了 SSL/TLS 安全协议，使得报文能够加密传输。 HTTP 连接建立相对简单， TCP 三次握手之后便可进行 HTTP 的报文传输。而 HTT ...
IDC增速42.3%：低代码破解企业开发三重死局
2026年企业级软件开发赛道呈现出极具反差的行业态势：整体数字化预算收紧、原生开发项目增速放缓，但低代码市场却迎来逆势暴涨。IDC最新发布的《2026中国低代码软件市场追踪报告》显示，本年度国内低代码市场同比增速高达42.3%，市场规模突破131亿元，在企业级开发细分赛道中增速遥遥领先（数据来源：I ...
读工业软件简史08工业软件的发展
1. 工业软件的发展 1.1. 工业包括制造业、采掘业、建筑业、纺织业、交通运输业、电力生产、水生产等41个大类 1.1.1. 工业软件是指在工业领域应用软件，其产业属性本质上属于工业、制造业门类，而不是信息产业 1.2. 工业系统本质上是信息物理系统 1.2.1. 一方面工业、制造知识不断软化为工 ...
GoF设计模式——装饰模式
本文是【GoF设计模式】系列第8篇，更多内容欢迎关注公众号：咖啡八杯 前言 为什么需要装饰模式？ 假设经营一家咖啡店，有基础咖啡和浓缩咖啡两种基底。顾客可以加牛奶、加糖、加珍珠……如果用继承来实现每一种组合，会得到 MilkCoffee、SugarCoffee、MilkSugarCoffee、Pea ...
