马能否走遍棋盘的可达性证明

博主头像 本文证明了：无限棋盘上，马可以到达任意格点，且到单个目标点的最短距离存在直接公式；有限矩形棋盘上，除 1×n（n>1）、2×n 和 3×3 外，其余棋盘上的所有格点均互相可达。 ...

PortSwigger SQL注入LAB10

博主头像 PortSwigger SQL注入LAB10 LAB10祝贺！做了那么久LAB终于破个位数了，而来到LAB10，我们就要开始我们SQL盲注的学习了，那么我们现在开始吧: 【本篇目标】1. 理解并掌握SQL盲注的技能2. 通过SQL盲注来获取所需administrator的密码，并完成登录 一、理解c ...

信息化运维项目费用测算全指南：政策边界、三大方法与实操要点

博主头像 在数字政府、智慧城市集约化建设向纵深推进的背景下，信息化运维作为保障信息系统持续稳定运行的核心环节，其项目申报与预算审核日趋规范化、精细化。当前，项目单位普遍面临“运维与升级边界模糊”“费用测算缺乏科学依据”“申报材料不符合审核要求”等实操难题，直接影响运维经费的获批与项目的顺利实施。本文结合《四川 ...

Dify — Chatflow - 数据库智能查询

博主头像 目录创建数据库创建知识库创建Chatflow生成查询SQL提取SQL执行SQL结果优化直接回复测试QA Dify — Windows 下 Docker 安装 Dify Dify — 聊天助手 -- 知识库 Dify — 文本生成应用 Dify — Agent 智能体 Dify — Chatflow ...

Docker--容器常用命令

博主头像 Docker容器 容器启动流程 与多架构镜像原理整合，就形成了完整的容器启动流程。 容器运行的本质 Docker 容器是为了运行容器中的应用，对外提供服务。 应用运行完毕后，容器就会自动终止。 如果不想让容器启动后立即终止，需要使容器应用不能立即结束。 通常才用两种方式：使应用处于与用户交互的状态或 ...

零基础认识大语言模型工作原理

博主头像 【目录】 什么是文字接龙？ 大模型如何做文字接龙？ 什么是Token词元？ 什么是Vocabulary词表？ 什么是概率分布？ 内部接龙流程 什么是Token计费 大模型训练方式和步骤 大模型有思考推理能力吗？ 大模型擅长和不擅长的任务 大模型在Agent中扮演的角色 大语言模型（Large Lan ...

Miller Rabin：概率之下，证据成群

博主头像 很多随机算法并不是靠“运气好”工作，而是靠候选空间里存在大量可用证据。只要证据足够密集，随机抽样就不再像碰运气，而更像一种低成本的搜索策略。 对于某个输入 \(x\)，如果额外给出一段信息 \(w\)，我们就能比直接求解更高效地验证某个结论。在计算复杂性中，这类辅助信息通常被称为 witness，也 ...

Claude Code 支持 LSP 指南（C#/JAVA等）

博主头像 Claude Code 多语言 LSP 完全指南 在 Windows 上让 C# / Java / Python LSP 开箱即用 Claude Code 内置了 LSP 支持，但官方文档只给了最基础的命令配置。在 Windows 上实际落地时，你会撞上一系列坑：Bun 的进程 spawn 限制、. ...

[翻译] 为什么我要用 C# 构建数据库引擎

博主头像 当我告诉别人我正在用 C# 构建一个 **ACID 数据库引擎**时，第一反应总是如出一辙：“那 GC（垃圾回收）停顿怎么办？” 这是一个合情合理的问题。几乎没有人会在 .NET 中构建高性能数据库引擎。人们普遍认为，这类软件必须使用 C、C++ 或 Rust 编写——托管语言基本上被排除在“微秒... ...

云原生 CI/CD 平台架构设计

博主头像 一套运行在公有云上的 GitOps 交付平台，覆盖 500 个线上项目。从网络拓扑、集群规划到自动化链路，完整复盘架构设计思路。 一、整体架构概览 先看全局。整套平台部署在公有云 VPC 内，承载 500 个线上项目的构建和部署，核心组件分布在三条逻辑链路上： graph TB subgraph 代 ...

模板方法模式实战：重构Agent工具审批，告别重复代码

博主头像 设计模式-模板方法实战 什么是模板方法 在软件设计模式中，模板方法设计模式是一种行为型设计模式，其核心思想是在抽象类中定义一个算法的骨架（即模板），并将某些具体的实现步骤延迟到子类去完成 实战概览 在自己编写的agent框架中实现工具调用需要审批 为什么做这篇 在学习设计模式时，应当结合实战。不久前 ...

[MAF的Agent管道详解-03]连接LLM的IChatClient对象

博主头像 在`IChatClient`管道的最末端是一个与LLM进行交互的`IChatClient`对象，这个对象负责将最终的请求发送给LLM并返回响应结果。这个`IChatClient`对象的具体类型取决于我们使用的是什么模型以及模型的部署方式。系统提供了很多这样的`IChatClient`实现来支持不同的... ...

<1···181920···100>