Java 泛型：不变性、协变、逆变、泛型擦除与 PECS 原则
近期，笔者在重读 Alibaba 的 p3c 文档《Java开发手册》的第一章编程规约中第二节集合处理的第 12 条时遇到的一个疑惑
2025年4月
Spring 声明式事务处理深度解析：从设计原理到源码实现
一、背景：为什么需要声明式事务？
1.1 事务的本质与业务挑战
事务（Transaction）是保障数据一致性和可靠性的基石，尤其在金融、电商、物流等涉及多表、多系统协作的场景中更为关键。事务具备ACID（原子性、一致性、隔离性、持久性）四大特性，能够有效防止数据丢失、脏读、幻读等问题。
Jelly Go重构计划与进展
引言
近期笔者和笔者对象都喜欢上了一款策略游戏名字叫做Jelly Go，在国内知名游戏平台4399上被翻译为果冻军团（属实是做到了信达雅），一开始是对象推荐我玩的一款策略游戏。一开始我也没太注意这款游戏，因为我心想着我小时候玩的游戏没有上千也有上百吧，但是，策略游戏对我的吸引力还是相当权威的，不过当我随着游戏指引入门以后逐渐发现事情好像不是我本以为的游戏模式，对手AI非常有策略，也很有操作水平（实在是很难想象这个游戏是十几年前的游戏）。
剖析JWT：原理、数学表达与实现细节
一、引言
在现代Web安全体系中，JWT（JSON Web Token）已成为分布式身份认证与授权的事实标准。很多人用过JWT，却未必理解其底层原理、数学安全性与实现细节。我将通过公式推导、流程图和时序图，尽量让我们一起理解JWT的本质。