我的爱在我的诗里万古长青
以七首莎翁的十四行诗作为结尾，夏天结束了。 Sonnet 18#
Shall I compare thee to a summer’s day?
Thou art more lovely and more temperate:
Rough winds do shake…
群论基础概念 cheatsheet
封面来自 wikibooks - Group_Theory 最近大半年在好几个方向上接触到了群论相关的知识，这两周稍微了解了一下 (抽象代数的概念实在是又多又复杂 🥲)，用自己能够尽量理解的方式，总结了一些概念算作后续学习的一个 cheatsheet 吧。
感兴趣推荐直接看…
三阶魔方状态数的计算
前几天和同事吃饭的时候讨论 "任意状态的三阶魔方最多需要多少步一定可以复原" (God's Number) 的时候延伸到一个问题，如何计算三阶魔方所有可能的状态数，当时考虑的比较粗糙，回来之后重新思考查了些资料这里顺便记录下。 三阶魔方状态数的计算#
这是一个普通…
Go 标准库实验性包 arena 源码解析
arena 是 Go 标准库提供的一个实验性包，在 #51317 中提出，目的是在用户层提供一个自主可控的内存分配和释放方式，以便更细粒度的控制 GC arena 实现方式是提供一个 Arena 对象，用户可以通过此对象来进行内存分配和手动的内存释放，等这个包稳定以后 Go…
Time-lock puzzle
最近工作上事情比较少，摸鱼的时候看了很多有意思的东西，找 VDF 相关资料的时候讲到一个问题：如何设计一个只能在指定的时间 T 后才能解出来的 puzzle 我先想了一下但是没想明白，怎么把时间这种抽象的概念在一个 puzzle 里面给量化出来。🤔 然后就翻到了这篇引用的论文…
博弈论之关键机制 The pivotal mechanism
前两天偶然找到了《game theory》这本书的电子版，刚看了前两章感觉很有趣，我尤其喜欢这种把问题形式化再去解决的过程。第二章主要讲决策时使用的方法，比如第二价拍卖：出价最高者赢得拍卖，但只需支付第二高的价格，和以下所讨论的 The pivotal mechanism 下文把…
上海图书馆东馆小记
今天在上图东馆待了一下午，第一次来这里，交通很方便，现在也不需要提前预约了。 建筑外观很漂亮，内部空间宽阔，四面视野和光线都很好。
外观和视野#
阅读空间#
超大的阅读空间，一共好像有七层，不过我只在前三层逛了一下。座位很多，但是人更多。网上预约座位根本约不到…
译 Spanner: Google’s Globally-Distributed Database
分布式系统翻译系列的最后一篇，原文 https://research.google.com/archive/spanner-osdi2012.pdf
Go 运行时黑魔法
在 Go 程序启动 里提到过，当前 (被调度为 running) 协程的数据结构指针即 *g 是放在 TLS 上的。可以用一点汇编自行取到 *g (当然只是一个 uintptr 并非带类型的指针)，以访问运行时协程数据。且 g/p/m 数据有关联，还可以做很多其他事情。 事实上现…
译 Bigtable: A Distributed Storage System for Structured Data
继续翻译论文 Bigtable 原文 https://research.google.com/archive/bigtable-osdi06.pdf
译 The Chubby lock service
继续翻译论文, Chubby 是 Google 内部很多分布式系统依赖的重要组件之一，这里看原文 https://research.google.com/archive/chubby-osdi06.pdf
译 The Google File System
分布式系统领域的经典论文, 在 ChatGPT 和 Claude 的帮助下一遍读一边翻译，原文 https://research.google.com/archive/gfs-sosp2003.pdf
Go 汇编与 ABI
翻译 Go 官方的 ASM 简介和 Internal ABI 文档
Go 运行时之程序的启动
分析 amd64/linux 下 Go 可执行程序的启动流程
TLS1.3 通信过程
TLS1.3 通信流程梳理, 基本是从 https://tls13.xargs.org 翻译过来的
现代操作系统 - 进程与线程及其调度
《现代操作系统: 原理与实现》第 5, 6 章读书笔记
Go 运行时代码覆盖率收集
go1.20 引入了在运行时收集代码覆盖率的的功能
现代操作系统 - 虚拟内存
《现代操作系统: 原理与实现》第 4 章读书笔记