摘要：
写在前面 时光飞逝，一晃已经从业七年有余，若从接触编程的时间算起，恐怕还要再加个四五年，可以堂而皇之地自称为拥有十多年的编程经验了，哈哈。 一路上，经常会有人问我，我们为什么要写文章甚至博客，有什么意义吗？ 从两个小故事讲起吧。 实现可复用的小软件 大约是2013年本科阶段，有一次做物理实验，需要计 阅读全文
posted @ 2025-08-02 23:20
xiaoxi666
阅读(1652)
评论(13)
推荐(13)
摘要：
利用书籍进行系统学习，凭借博客/新闻等资料开阔眼界，辅之以代码及项目实战，并勤加以总结，方可进步。 常用网站： 找英文电子书网站：gen.lib.rus.ec 和 www.jiumodiary.com/ Leetcode刷题：https://leetcode.com/ ，练习数据结构和算法必备 Co 阅读全文
posted @ 2017-08-08 09:41
xiaoxi666
阅读(1266)
评论(0)
推荐(1)
摘要：
长文预警：经典的、大模型用的、探索研究的，这里都有 阅读全文
posted @ 2025-09-28 12:38
xiaoxi666
阅读(870)
评论(1)
推荐(3)
摘要：
前言 前段时间，我们处理了一则Java线程池配置不当导致的线上问题（参见 好端端的线程池，怎么就卡死了？），本文将以此为案例，使用形式化语言，从数学角度进行证明。 形式化证明简介 首先需要搞清楚一个概念，形式化证明，也是通过编程的形式进行的，只不过这段代码使用形式化编程语言进行表达，从数理层面来看更 阅读全文
posted @ 2025-06-24 20:20
xiaoxi666
阅读(278)
评论(0)
推荐(0)
摘要：
写在前面 在当今的软件开发实践中，单元测试已成为保障代码质量的必备环节。许多团队已经积累了一定的单元测试经验，能够编写基本的测试用例来验证功能逻辑。然而，当我们面对复杂的业务场景时，仅靠基础的JUnit功能往往会导致测试代码冗长、结构混乱，甚至出现大量重复代码。 作为最新版本的Java测试框架，JU 阅读全文
posted @ 2025-06-19 23:13
xiaoxi666
阅读(444)
评论(0)
推荐(3)
摘要：
写在前面 最近，我们的业务收到一项报障，线上某个业务模块偶尔会出现无法正常工作的情况。 经过多方排查，最终确认是线程池使用方式不合理导致的。鉴于线程池使用的普遍性和该类问题的隐秘性，本文将其中涉及的“坑”整理出来，与大家分享。 本文将尽可能淡化业务本身，着重介绍其中的技术问题。 场景说明 该业务链路 阅读全文
posted @ 2025-05-22 22:33
xiaoxi666
阅读(1045)
评论(5)
推荐(6)
摘要： 
写在前面 事情是这样的，就在五一假期开始前夕，DeepSeek放出了模型DeepSeek-Prover-V2-671B： 这是延续了节假日狂飙的传统？ 言归正传，我们看看这次放出了哪些核心技术。 最直接的方法是参见技术报告，也在半夜放出来了（真是一群勤奋的家伙啊）。 链接：https://githu 阅读全文
写在前面 事情是这样的，就在五一假期开始前夕，DeepSeek放出了模型DeepSeek-Prover-V2-671B： 这是延续了节假日狂飙的传统？ 言归正传，我们看看这次放出了哪些核心技术。 最直接的方法是参见技术报告，也在半夜放出来了（真是一群勤奋的家伙啊）。 链接：https://githu 阅读全文
posted @ 2025-05-01 23:06
xiaoxi666
阅读(1269)
评论(0)
推荐(0)
摘要：
写在前面 如题，这是一个真实存在的业务场景。在微服务体系的迭代过程中，会存在注册中心的切换，典型如从zookeeper迁移到nacos。 最近面试中，经常会用该场景来考察候选人（涉及RPC、分布式、场景也足够开放），结果能完整描述出来的人寥寥无几，于是整理一篇文章分享下。 遇到这类场景应该如何思考 阅读全文
posted @ 2025-04-29 14:00
xiaoxi666
阅读(334)
评论(0)
推荐(1)
摘要：
写在前面 许多大模型具有推理参数，用于控制输出的“随机性”。常见的几个是 Top-K、Top-p，以及温度。比如我们常用的 Dify 平台就支持 Top-p 和 温度 的设置： 鼠标放到问号上面，可以看到各自的解释： Top-p： 含义：Kernel sampling threshold. Used 阅读全文
posted @ 2025-04-15 22:52
xiaoxi666
阅读(1585)
评论(0)
推荐(2)
摘要：
强化学习在LLM中的应用越来越多了，本文针对常见的几种训练算法，用生活中的例子做类比，帮助理解相关概念。 包括：PPO、DRO、DPO、β-DPO、sDPO、RSO、IPO、GPO、KTO、ORPO、SimPO、R-DPO、RLOO，以及GRPO。 PPO（Proximal Policy Optim 阅读全文
posted @ 2025-02-18 23:18
xiaoxi666
阅读(792)
评论(0)
推荐(1)
摘要：
Deepseek这么火，来学学底层技术吧！ 阅读全文
posted @ 2025-01-30 21:09
xiaoxi666
阅读(1090)
评论(0)
推荐(0)
浙公网安备 33010602011771号