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`实现来支持不同的... ...

《HelloGitHub》第 122 期

博主头像 兴趣是最好的老师,HelloGitHub 让你对开源感兴趣! 简介 HelloGitHub 分享 GitHub 上有趣、入门级的开源项目。 github.com/521xueweihan/HelloGitHub 这里有实战项目、入门教程、黑科技、开源书籍、大厂开源项目等,涵盖多种编程语言 Pytho ...

AI Agent 到底是做什么的?优势在哪里?

博主头像 〇、前言 AI Agent 能将大模型的语言能力转化为自主执行复杂任务的行动力(如:自动分析数据、跨系统调度资源),显著提升效率(企业级应用平均节省30%人力成本);同时,随着 AI 从“辅助工具”升级为“决策主体”,掌握其设计逻辑(如:工作流编排、多智能体协作)已成为职场分水岭——技术岗位需避免沦 ...

入门:我的第一个Vibe Coding实践程序

博主头像 01 | 先把开发环境准备好 第一次做 Vibe Coding,笔者没有直接让 AI 写页面,而是先整理环境边界。 笔者的开发环境里,Codex Cli 已安装,并配置了可用模型;同时配置了 Oracle SQLcl 的 MCP,可以连接到数据库里的开发用户。为了后续方便,也添加了 Oracle 的 ...

一个前端股票行情 SDK 的开源进化:从周刊收录到 v1.10.0

博主头像 这篇文章介绍了前端股票行情 SDK stock-sdk 的开源历程与当前能力。项目最初为解决前端获取股票数据不便的问题而诞生,后被阮一峰科技爱好者周刊收录,并迭代至 v1.10.0。SDK 支持 A 股、港股、美股、基金、K 线、技术指标、板块、资金流、龙虎榜、期权期货等数据,并提供请求治理和 MC... ...

Claude Code Skill的介绍与使用

博主头像 Claude Skill 1. 概念介绍 1.1 什么是 Skill? 简单来说,Skill 就是 Claude Code 的专业技能包。Claude 自带了一些内置 Skill(如代码审查、安全检查),你也可以创建自己的自定义 Skill(如文档格式化),或者安装别人通过插件分享的 Skill。 ...

Dify — 聊天助手 -- 知识库

博主头像 目录安装 Dify接入模型添加知识库创建聊天助手发布应用检索设置Chunk 多少合适: Dify — Windows 下 Docker 安装 Dify Dify — 聊天助手 -- 知识库 Dify — 文本生成应用 Dify — Agent 智能体 Dify — Chatflow - 文档知识库 ...

<1···789···100>