DBeaver 数据库管理工具
DBeaver 数据库管理工具是开发中常用的技术工具或方法。本文从实际应用出发介绍核心概念和操作步骤帮助读者快速上手并掌握关键技巧。
Wireshark 解密 HTTPS
Wireshark 解密 HTTPS是开发中常用的技术工具或方法。本文从实际应用出发介绍核心概念和操作步骤帮助读者快速上手并掌握关键技巧。
NATS 安全 TLS 配置
NATS 安全 TLS 配置是开发中常用的技术工具或方法。本文从实际应用出发介绍核心概念和操作步骤帮助读者快速上手并掌握关键技巧。
Selenium 页面对象模式
Selenium 页面对象模式是开发中常用的技术工具或方法。本文从实际应用出发介绍核心概念和操作步骤帮助读者快速上手并掌握关键技巧。
GitHub Dependabot 依赖更新
GitHub Dependabot 依赖更新是开发中常用的技术工具或方法。本文从实际应用出发介绍核心概念和操作步骤帮助读者快速上手并掌握关键技巧。
Redux Toolkit 快速上手
Redux Toolkit 快速上手是开发中常用的技术工具或方法。本文从实际应用出发介绍核心概念和操作步骤帮助读者快速上手并掌握关键技巧。
Vue 3 Composition API 最佳实践
Vue 3 Composition API 最佳实践是开发中常用的技术工具或方法。本文从实际应用出发介绍核心概念和操作步骤帮助读者快速上手并掌握关键技巧。
Flink Savepoint 状态恢复
Flink Savepoint 状态恢复是开发中常用的技术工具或方法。本文从实际应用出发介绍核心概念和操作步骤帮助读者快速上手并掌握关键技巧。
Android WorkManager 后台任务
Android WorkManager 后台任务是开发中常用的技术工具或方法。本文从实际应用出发介绍核心概念和操作步骤帮助读者快速上手并掌握关键技巧。
Kibana 查询语法 KQL
Kibana 查询语法 KQL是开发中常用的技术工具或方法。本文从实际应用出发介绍核心概念和操作步骤帮助读者快速上手并掌握关键技巧。
Open3D 点云处理
Open3D 点云处理是开发中常用的技术工具或方法。本文从实际应用出发介绍核心概念和操作步骤帮助读者快速上手并掌握关键技巧。
React Server Component
React Server Component是开发中常用的技术工具或方法。本文从实际应用出发介绍核心概念和操作步骤帮助读者快速上手并掌握关键技巧。
Julia 并行计算
Julia 并行计算是开发中常用的技术工具或方法。本文从实际应用出发介绍核心概念和操作步骤帮助读者快速上手并掌握关键技巧。
Linux Namespace 隔离
Linux Namespace 隔离是开发中常用的技术工具或方法。本文从实际应用出发介绍核心概念和操作步骤帮助读者快速上手并掌握关键技巧。
Terraform Module 复用
Terraform Module 复用是开发中常用的技术工具或方法。本文从实际应用出发介绍核心概念和操作步骤帮助读者快速上手并掌握关键技巧。
Flutter 动画系统
Flutter 动画系统是开发中常用的技术工具或方法。本文从实际应用出发介绍核心概念和操作步骤帮助读者快速上手并掌握关键技巧。
Godot C# 脚本开发
Godot C# 脚本开发是开发中常用的技术工具或方法。本文从实际应用出发介绍核心概念和操作步骤帮助读者快速上手并掌握关键技巧。
KAN 柯尔莫哥洛夫-阿诺德网络
KAN 用可学习激活函数替代固定激活函数在节点上。比 MLP 更可解释参数量更少。适合科学发现。本文用 KAN 拟合数学函数。
Diffusion Model 扩散模型原理
扩散模型前向逐步加噪声反向去噪恢复数据。DDPM 和 DDIM 采样。Stable Diffusion 基于潜在扩散。本文用数学解释扩散正向和反向过程。
Gaussian Splatting 3D 渲染
Gaussian Splatting 用 3D 高斯椭球体表示场景渲染速度快于 NeRF。适合实时 3D 可视化。本文训练 Gaussian Splatting 模型从照片重建场景。
VQGAN 矢量量化生成模型
VQGAN 用矢量量化把图像压缩为离散编码Transformer 用这些编码生成新图像。比 GAN 质量更高。本文用 VQGAN 生成艺术风格图片。
LoRA 低秩微调大模型
LoRA 在冻结原模型权重的基础上插入低秩矩阵训练。显存占用大大降低。可插拔切换不同任务。本文用 LoRA 微调 Llama 做文本分类。
Julia 科学计算语言
Julia 为科学计算设计 JIT 编译性能接近 C。多重派发函数行为由所有参数类型决定。Python 调用 Julia。本文用 Julia 求解微分方程。
Elixir 并发容错语言
Elixir 运行在 Erlang BEAM 上轻量进程容错。OTP Supervisor 树管理进程生命周期。适合高可用系统。本文用 Phoenix 开发聊天室。
Common Lisp 交互式开发
Common Lisp 的 REPL 交互式开发宏编程代码操作代码。条件系统处理错误。Quicklisp 包管理。本文写 PL 实现宏调试。
基准测试 TPC-C 标准
TPC-C 是 OLTP 基准测试模拟订单处理系统。衡量每分钟新订单数 tpmC。本文用 HammerDB 对 MySQL 做 TPC-C 压测。
JMH Java 微基准测试
JMH 是 Java 微基准测试框架避免 JVM 优化干扰。@Benchmark 标注方法。黑模式预热。本文测试 ArrayList 和 LinkedList 遍历性能。
MQTT-SN 传感器网络 MQTT
MQTT-SN 是为传感器网络优化的 MQTT 变体基于 UDP。网关桥接到标准 MQTT。适合电池供电设备。本文用 MQTT-SN 传输温湿度。
6LoWPAN IPv6 低功耗网络
6LoWPAN 在 IEEE 802.15.4 网络上传输 IPv6 报文。分片和头部压缩适配小帧。mesh 路由扩展覆盖。本文组建 6LoWPAN 传感器网络。
CoAP 物联网应用层协议
CoAP 是 IoT 的 REST 协议基于 UDP 比 HTTP 轻量。观察模式订阅资源变化。与 HTTP 网关映射。本文用 CoAP 控制 LED 开关。
SIEM 安全信息和事件管理
SIEM 集中收集日志做关联分析发现安全事件。告警规则和仪表盘。Splunk/ELK 实现。本文部署 Wazuh SIEM 做入侵检测。
MPC 安全多方计算
安全多方计算多参与方在不共享输入数据的情况下联合计算结果。秘密共享和混淆电路。本文用 MP-SPDZ 框架实现加法计算。
ZKP 零知识证明入门
零知识证明向验证者证明某事为真但不泄露证据本身。zk-SNARK 和 zk-STARK 两种。区块链隐私保护。本文解释 ZKP 的交互式例子。
SAGA 长事务补偿模式
SAGA 将长事务拆分为多个本地事务失败时执行逆向补偿。编排模式集中控制协同模式分散。本文用 Spring 实现编排式 SAGA。
2PC 两阶段提交分布式事务
两阶段提交第一阶段 prepare 第二阶段 commit/abort。协调器单点故障。XA 协议实现。本文用 Java JTA 实现 2PC 转账。
函数响应式编程 FRP
函数响应式编程用 Signal 表示随时间变化的值。事件流变换组合消除副作用。Elm 语言典型代表。本文对比 FRP 和 Promise 的模型差异。
背压 Backpressure 处理机制
背压告诉上游降低生产速度防止消费者被压垮。Reactive Streams 定义背压协议。Kafka 消费者流控。本文实现背压的生产者消费者。
熔断器 Circuit Breaker 模式
熔断器防止下游故障级联传播三种状态 Closed/Open/Half-Open。Resilience4j 实现本文配置微服务间调用的熔断策略。
流量整形和限流令牌桶算法
令牌桶算法以固定速率放入令牌消费时取走。允许突发流量但稳定速率。Guava RateLimiter 实现。本文实现等待队列的令牌桶。
事件驱动架构 Event Sourcing
Event Sourcing 存储所有状态变更事件而不是当前状态。完整审计追溯。与 CQRS 配合。本文用事件溯源实现银行账户。
六边形架构 Hexagonal Architecture
六边形架构用端口和适配器将核心业务逻辑与外部依赖解耦。业务逻辑不依赖数据库和 Web 框架。方便测试替换。本文用 Java 实现六边形架构。
Apache Kafka 幂等生产者
Kafka 幂等生产者防止网络重试导致的重复消息。enable.idempotence=true。事务 API 跨分区原子写入。本文配置 Exactly-Once 语义生产者。
Grafana Tempo 分布式追踪
Grafana Tempo 是分布式追踪后端用对象存储做低成本持久化。兼容 Jaeger 和 OpenTelemetry 协议。TraceQL 查询语言。本文部署 Tempo 采集应用 trace。
Tauri 安全配置 CSP
Tauri 的 CSP 配置限制渲染进程加载外部脚本和样式防止 XSS。tauri.conf.json > security > csp。本文配置允许加载特定 CDN。
FoundationDB 分布式数据库
FoundationDB 是 Apple 的分布式数据库层键值存储支持 ACID 事务。分层架构上层构建文档和图模型。适合对一致性要求高的场景。本文部署 FoundationDB 集群。
Protocol Buffers gRPC 双向流
gRPC 双向流客户端和服务端独立读写适合实时通信。StreamObserver 回调处理。gRPC 内部流控窗口。本文实现聊天消息双向流。
Apache Cassandra 二级索引
Cassandra 二级索引适用低基数查询。ALLOW FILTERING 性能差。SASI 和 SAI 索引改进。高基数查询需要物化视图。本文设计 Cassandra 数据模型避免索引。
Django REST Framework serializer
DRF Serializer 序列化验证和反序列化数据。ModelSerializer 自动生成字段。嵌套序列化处理关联数据。本文创建用户和文章的 API。
GitHub Copilot 提示词工程
GitHub Copilot 的理解质量取决于写注释和函数名的清晰度。给示例代码引导输出。分步写注释让 Copilot 生成正确实现。本文实践提高 Copilot 生成质量的技巧。
TypeORM Node ORM
TypeORM 是 TypeScript ORM 用装饰器定义实体。Active Record 和 Data Mapper 两种模式。Migration 管理数据库变更。本文创建用户订单实体。
Docker Buildx 多架构构建
Docker Buildx 构建跨架构镜像用 QEMU 模拟在 x86 上构建 ARM 镜像。--platform linux/amd64,linux/arm64。本文构建并发布多架构镜像。
Flutter BLoC 状态管理
Flutter BLoC 用事件触发状态变更 StreamBuilder 响应更新。BlocProvider 提供全局实例。适合复杂业务状态管理。本文实现登录流程 BLoC。
VueUse 组合式工具集
VueUse 是 Vue 3 的组合式工具库提供 useStorage/useMouse/useFetch 等 Hook。tree-shakable 按需导入。本文用 useDraggable 实现拖拽。
Swift 结构化并发 async let
Swift 结构化并发用 async let 同时运行多个任务等待所有结果。Child Task 自动取消。Task Group 动态并发。本文并行请求多个 API。
WebSocket 安全 wss vs ws
wss 加密 WebSocket 通信防止中间人窃取数据。Nginx 反向代理 WebSocket 时配置 SSL 终止。证书和 Upgrade 头。本文配置 Nginx 为 wss。
K3s 轻量 K8s 发行版
K3s 是 Rancher 的轻量 K8s 用 SQLite 替代 etcd 二进制仅 60MB。适合边缘和资源受限环境。支持 ARM。本文在树莓派上部署 K3s 集群。
Spring Boot 单元测试切片
Spring Boot 测试切片只加载需要的一部分上下文。@WebMvcTest 只加载 Controller 层@DataJpaTest 加载 Repository 层。加速测试。本文测试 Controller 接口。
Redis 位图 Bitmap 统计活跃用户
Redis Bitmap 用每个 bit 表示用户状态节省内存。计算日活跃用户用 BITCOUNT。统计连续签到天数。本文用 Bitmap 统计一个月 DAU。
Hibernate 缓存一级二级查询缓存
Hibernate 一级缓存 Session 内共享二级缓存跨 Session 用 Redis 实现。Query Cache 缓存查询结果。本文配置 Hibernate 二级缓存减少数据库查询。
GitHub Actions 矩阵构建
GitHub Actions 矩阵策略用多个操作系统和语言版本并行构建。matrix.os 和 matrix.node 组合。缩短 CI 时间。本文配置 3 个 OS 和 2 个 Node 版本的矩阵。