Hi folks

这里是 Anqur, 也可以叫我安可/俺去/aqq. 我喜欢编程语言, 日常与分布式系统打交道, 平常弹一些贝斯.

我的工作简历.

💼 工作中的想法

2023-03-10 将 Kubernetes API 翻译成 systemd 操作
2023-03-13 S3 as an Append-only Log Store

📓 总结和教程

2024-06-23 速通 Koka 代数副作用

🎓 学术研究

2024-12-21 JIT 学习笔记