把输入框变成 AI 的“超级入口”（ProseMirror 全流程实战）
最近在做知识库问答输入框的 @文档 能力，表面上是“输入 @ 后选一个文档”的小需求，实操后发现核心难点在于编辑器稳定性。本文按真实心路历程展开：先讲最直觉的 DOM 方案与踩坑，再讲为什么转向 ProseMirror，并给出 @文档 的落地实现。 ...
AI 搜索正在改写 Web 入口：为什么搜索框不再把人送到网页
AI 搜索把用户留在答案框里，传统 Web 的点击流、来源感和分发逻辑正被一起改写。 原文链接：AI小老六 搜索框还在，入口已经不是原来的入口了 过去的搜索更像一台分拣机。你扔进去几个关键词，它返回一页可能有用的链接，剩下的判断交给你。这个过程谈不上优雅，但至少分工明确: 机器负责路由，人负责验证 ...
【节点】[TriangleWave节点]原理解析与实际应用
在Unity URP Shader Graph中，Triangle Wave节点是一个功能强大的数学工具节点，它能够将输入的数值转换为三角波形输出。三角波是一种常见的周期性波形，在图形渲染、动画效果和 ...
官方出品！一款企业级中后台前端脚手架！
ant-design-pro —— 蚂蚁集团基于 React、Umi、Ant Design 打造的企业级中后台前端脚手架，提供完整的布局、权限、路由、组件模板功能，适合快速开发管理系统。 ...
客户案例 中国领先体育用品集团×燕千云，“三步走”蓝图打造全球化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融... ...
