Typst 包 ega-numbering 已经发布，请参看 Typst Universe。该包实现了 Éléments de géométrie algébrique (EGA) 风格的标号：将文中每一个有独立意义的段落组进行编号，无论是定理、定义，还是叙述性或解释性的文段，且一个编号不限于一段。该编号风格在法国数学家中最常用，例如 Max Karoubi 的 K-Theory (An I...

A lightweight Typst utility for maintaining a single figure library while seamlessly exporting individual, auto-cropped vector graphics for LaTeX or PowerPoint.

三句话介绍农历：阴以定月，阳以定气，阴阳相合以定年置闰。

The ability to grow is a useful feature of surface codes. In 2002, Dennis, Kitaev et al. described an approach for growing a surface code by gradually adding qubits to edges. In the famous 2018 pap...

A common argument in quantum error correction is like, “this series of operations maps the logical $Z$ of code A to the logical $Z$ of code B, and the logical $X$ of A to the logical $X$ of B, so i...

读者可参阅英文版. 量子纠错中，解码含义有二，皆通。一是将逻辑比特映回物理比特的线路，为编码线路之逆；二是由所测得错误症状逆推错误的经典算法。 例如，对量子存储器，维持之则需持续运行上述第二义之经典解码算法，而第一义之解码线路，通常并不容错，几乎不用。然而，典型的魔态蒸馏过程则需运行第一义之解码线路，经典解码算法却非必要，其于魔态错误率之压制则有赖后选择的功效。 本博文无意详述两种解...

The reader may refer to the Chinese version. In the field of quantum error correction, the term “decoding” carries two distinct but equally relevant meanings. The first refers to the quantum circ...

The problem It is widely said that in a stabilizer-code-based error-corrected circuit, all Pauli corrections can be traced within software until a logical non-Clifford gate is to be applied. A com...

按：作者为Jonathan Haidt，有中译本《正义之心》。 典型的把读者当傻子的美式教学写法（无贬义），反复重复口号式的论点。缺点是有时觉得啰唆，优点是读得很轻松，随时拿起能读，没有太多心智负担。作者很喜欢用比喻来说明自己的论点，虽然他的比喻读来有种典型的想象力匮乏的科研工作者没活硬整的感觉。 观点很有启发性，结构清晰地分成三部，一是认为人的道德判断是直觉先于理性，二是所谓道德基础理...

最近研究的课题需要用到很多我不熟悉的数学和数值技术，因此我通过高强度使用大语言模型（LLM）来推进我的研究。像这样在能力边界上使用 LLM 是一件很有趣的事：它可以非常高效，但也会带来很多问题。 最严重的问题是我没有能力判断它是否犯了错。它向我介绍二维量子元胞自动机的分类时犯了事实错误——我后来查阅了原始论文才意识到；它计算 Tor 函子时犯了错误——我比较系统地学会了计算方法之后才意识到...