About#

我是 苏健坤（a.k.a. misaka10987 , 无线电呼号 BI4BXE ）, 来自上海。我在牛津大学 St Hugh’s 学院学习数学。你应该可以在这个网站的边栏上找到更多与我有关的链接。

我 ( misaka10987@outlook.com ) 的 PGP 公钥是：

1
-----BEGIN PGP PUBLIC KEY BLOCK-----
2
mDMEarjYPxYJKwYBBAHaRw8BAQdAgbiPn+WGtQtQCAjWOX6mI5NzfnWUVSmzoOvk
3
0N4oNI20MW1pc2FrYTEwOTg3ICgyMDI1LTIwMzApIDxtaXNha2ExMDk4N0BvdXRs
4
b29rLmNvbT6IlgQTFgoAPhYhBPJc8vM/9bBMusberbGyC7PbydUJBQJquNg/AhsD
5
BQkJZgGABQsJCAcCBhUKCQgLAgQWAgMBAh4BAheAAAoJELGyC7PbydUJT64A/AjF
6
md9xXcuoyuRdjf/SyCEckMTQlEc23F0PJeW1tJVFAP9mff2rV1czFZmmeltLr0Gs
7
B2Gg/tMjT/2DXSz1jk5mDrg4BGq42D8SCisGAQQBl1UBBQEBB0CB0Bl+dSy/7gpP
8
yQWhuiBqfalG/ZoqAb6W+oF+iRVMMQMBCAeIfgQYFgoAJhYhBPJc8vM/9bBMusbe
9
rbGyC7PbydUJBQJquNg/AhsMBQkJZgGAAAoJELGyC7PbydUJnsoBANahCeQQvzVs
10
dOoNxaCAywg0F/7eEefrPMTeSxaoSJETAP9KtuSyn+8CuNMLoCD1apu2UMIkOshG
11
5qvjNboCQ80KBA==
12
=Ovbo
13
-----END PGP PUBLIC KEY BLOCK-----

指纹：

1
F25CF2F33FF5B04CBAC6DEADB1B20BB3DBC9D509

关于 10987#

$10987$ 是一个素数，十进制下的数位也是 $\Z_{10}$ 下的一个等差数列。

关于数学#

我喜欢的领域有 逻辑学 ，类型论 和 可计算性理论 之类。除此以外，我还希望学习 范畴论 和 代数拓扑 。

关于数学之外#

所有科学要么是物理学，要么是集邮。

— Ernest Rutherford（存疑）

我喜欢 物理学和集邮 。

关于 AI#

我赞同 Eliezer Yudkowsky 的观点。

关于游戏#

桌游：象棋，Diplomacy , 龙与地下城 ，冷战热斗
Minecraft , Terraria , 大灾变 (CDDA) , 矮人要塞 ，环世界
原神，重返未来 1999
十字军之王 3
Phigros , Lanota , 钢琴

技术栈#

操作系统：NixOS / Arch Linux
编程语言：TypeScript / Rust / Lean 4
业余无线电：A 类操作证（中国大陆）

关于本站#

这个博客网站是在 Fuwari 的基础上用 Solid 重写的。

需要注意的是，网站的源代码以 MIT 许可证公开，但文章内容采用 CC BY-NC-ND 4.0 .