AndyHome猫论其三
\( #1 #1 \!#1 #1 Hom Nat \...
PPCA/{Raft,Network,RISC-V} 记录
记录一下 PPCA 吧。 此文已沦为 diary。 Useful Links 6.5840 Lab 3: Raft / Lab 4: K/V Raft Old kvraft (2023) Raft-2025: Course project ...
The right way to eval in Chez Scheme
在 Chez Scheme 中，在某个环境中调用 eval 的正确方式不是 (eval expr env) ，而是 (parameterize ([interaction-environment env]) (eval expr)) 例如当...
写在两种编程语言里的 Quine
Quine 是指能够输出自己源代码的程序。可以考虑这样的变体，用语言 A 写的程序输出语言 B 的源代码，这份源代码运行之后可以输出原本语言 A 的源代码。 以下给出两种从 JavaScript 到 Python 的解法，第一种是在基础的 ...
你的宏干净吗？
tl;dr 本文介绍 Oleg 在 [1] 里提出的用 R5RS syntax-rules 实现的看起来并不 hygiene 的宏。 本文目前只是笔记。 前置知识 Scheme 本文需要 R5RS 引入的 syntax-rules， 不需要...
一个小彩蛋
刚刚发现了 acm.sjtu.edu.cn 的一个小彩蛋。请见： $ curl https://acm.sjtu.edu.cn/ -v 2>&1 | grep X-Clacks-Overhead 注：彩蛋在 HTTP Header 里。 U...
Curve25519 笔记
博客是写给别人看的，笔记是写给自己看的。 by Ancker-0 Hello，Curve25519 Curve25519 是一个为 Diffie-Hellman 密钥交换协议而提出的椭圆曲线，其运算在 [公式] 上进...
TeXmacs 烹饪指南
什么是 TeXmacs？ GNU TeXmacs 是一个所见即所得的排版软件。其开发和配置方式类似于 Emacs，而排版效果媲美 LaTeX。作为一个 user-friendly 的排版软件，不需要像 LaTeX 那样记住很多数学符号的名称...
Hello world
Hello world! [公式]