摘要： 登录之后，每点一个链接，服务器都认得你。但 HTTP 是无状态的——它凭什么认得？我把每一次请求的「浏览器带了什么」和「服务端拿到了什么」都打成一行日志，答案就摆在里面。 一、先看一张真实的日志 我在 Tomcat 上放了个小 Servlet：/login 建会话，/whoami 读会话。每个请求都 阅读全文

摘要： 两个线程各往账户里加 10 块钱。加起来应该是 120。跑完是 110——少了 10 块，而且没有任何报错。 一、先看它是怎么少的 初始余额 100，两个线程都做同一件事：读余额、加 10、写回。 A. 不加任何锁 T1 读到 balance=100 T2 读到 balance=100 T2 写入 阅读全文

摘要： 排序算法有个属性叫「稳定性」，课本上一句话带过：相等的元素排完后保持原来的相对顺序。我一直觉得这是句废话——都相等了，谁在前谁在后有什么区别？ 一、先看两组结果 二十个学生，分数只在 90、80、70 三档里取，所以大量并列。原始顺序按名字排： [A90 B80 C70 D90 E80 F70 G9 阅读全文

摘要： 《数学之美》讲信息熵那一节，我的概括是：一段消息的信息量等于它的不确定性，可以精确算出来。我一直觉得"信息量"是个虚词，直到把它算成数字。 一、书里的主张 香农给的定义很朴素：一件事发生的概率越小，它发生带来的信息量越大。 单个事件的信息量是 -log2(p)。整个分布的平均信息量就是熵： H = 阅读全文

摘要： 乱码这两个字一直被当成一种"玄学故障"，好像只能靠不断改编码碰运气。其实它只有一句话：写的时候用了一张表，读的时候用了另一张表。 我把这句话跑成了字节，看得见的那种。 一、先看这台机器的四个编码参数 JVM = 21.0.12.1 默认 charset = UTF-8 native.encoding 阅读全文

摘要： 本机没装 MySQL，所以这篇用的是 Python 自带的 SQLite。它是个真数据库，有真优化器，能看到真的查询计划。两者优化器不同，但 JOIN 的底层是同一件事，后面会说清楚哪部分是 SQLite 特有的。 一、JOIN 的本质 不管哪种连法，骨架都是同一个： 对左表的每一行： 去右表里找到 阅读全文

摘要： 数据是 100 个点，它们背后其实是 y = 3x + 2 加了一点噪声。但程序不知道 3 和 2，它只能从数据里一点点逼近。我想看清楚"逼近"这个动作具体发生在哪一步上。 一、先说清楚在优化什么 猜一组 (w, b)，用它算预测值，跟真实 y 比，误差平方求平均： loss(w, b) = (1/ 阅读全文

摘要： 写了个 Point 当 HashSet 的元素，把同一个坐标 add 了三次，以为只有一个。结果 size() 返回 3。查了半天才发现——我只覆写了 equals，忘了 hashCode。 一、先把现象摆出来 class BadPoint { final int x, y; BadPoint(in 阅读全文

摘要： 课本上那张表很好记：数组查询快、插入删除慢；链表查询慢、插入删除快。我照着这条规律选过几次容器，结果跑起来跟想的完全不是一回事。于是这次不按课本，直接测。 一、怎么测的 100 万个元素，六组操作，每组都跑完取"每次操作多少纳秒"。为了避免 JIT 预热影响，先跑几轮热身；为了不让编译器把循环优化掉 阅读全文

摘要： 这段代码大概是学 Java 时最容易被当成"玄学"的一处： Integer a = 127, b = 127; Integer c = 128, d = 128; System.out.println(a == b); // true System.out.println(c == d); // f 阅读全文